A model for structured parallel processing in block-structured programming languages

  • Carlo Montangero
  • Giuliano Pacini
  • Franco Turini
Calcul Parallele Parallel Processing
Part of the Lecture Notes in Computer Science book series (LNCS, volume 19)


Other proposals to introduce multitasking in block structured programming languages have already been done 〈Van Wijngaarden; Pl/l〉. Anyhow the main points characterizing the model we propose are:

the synchronization methodology matches the hierarchical structure of block structured languages in a very natural way;

no specific synchronization tool is provided; on the contrary an environment is offered, where the opposite needs of fluidity and structuration are balanced satisfactorily.

Borrowing the politician terminology, we can conclude that we represent the moderate wing of the "fluid control" party. Our manifesto is structure in fluidity; that is, the language must allow the definition of the control regimes and strategies that the programmer thinks apt to his aim; but our opinion is that this definition must be allowed in a structured way. The loci, where the control regime definitions reside, must be easily identifiable and clearly delimited in the program; the language must suggest and naturally support such a programming technique.

This philosophy is presently being applied to the definition of a model for nondeterministic programming 〈Montangero, Pacini and Turini〉.


Structure Parallel Processing Block Structure Language Synchronization Methodology 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Bobrow, D.G. and D. Wegbreit. A model and stack implementation of multiple environments. Comm. ACM Vol 16, no. 10, pp. 591–603 (october 73).Google Scholar
  2. Brinch Hansen, P. A comparison of two synchronizing concepts. Acta Informatica 1, 190–199 (1972).Google Scholar
  3. Confield Smith, D. and H.J. Enea. Backtracking in MLISP2. Proc. 3rd IJCAI, Stanford 1973, pp. 677–685.Google Scholar
  4. Davies, D.J.M. POPLER: a P0P2 Planner. MIP-89. School of A.I., University of Edinburgh.Google Scholar
  5. Dijkstra, E.W. Hierarchical ordering of sequential processes. Acta Informatica 1, pp. 115–138 (1971).Google Scholar
  6. Hewitt, C. Procedural embedding of knowledge in PLANNER. Proc. Second IJCAI, London, 1971.Google Scholar
  7. Hoare, C.A.R. Towards a theory of parallel programming. In C.A.R. Hoare and R.M. Perrot (ed.) Operating System techniques, Academic Press, New York (1973).Google Scholar
  8. Montangero, C. and G. Pacini. An extended Lisp system for complex control-structure programming. Internal Report B73-1, I.E.I., Pisa (january 73).Google Scholar
  9. Montangero, C., Pacini, G. and F. Turini. Two level control structure in nondeterministic programming (in preparation).Google Scholar
  10. PL/I Language Specification. IBM System Reference Library, File 5360-29, Form C28-6571-4.Google Scholar
  11. Rulifson, J.F., Waldinger, R.J. and J.A. Derksen. QA4: procedural calculus of intuitive reasoning. Artificial Intelligence Center, Technical Note 73, Stanford research Institute, Stanford, Cal. (november 72).Google Scholar
  12. Sussman, G.J. and D.V. McDermott. From PLANNER to Conniver, a genetic approach. Proc. AFIPS FJCC 1972, pp. 1171–1179.Google Scholar
  13. Van Wijngaarden, A. (ed.). Report on the Algorithmic Language Algol 68. MR 101, Mathematisch Centrum, Amsterdam (february 69).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Carlo Montangero
    • 1
  • Giuliano Pacini
    • 1
  • Franco Turini
    • 1
  1. 1.Istituto di Scienze della InformazioneUniv. of Pisa and Istituto Elaborazione Informazione, C.N.R.Pisa

Personalised recommendations