A model for structured parallel processing in block-structured programming languages
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〉.
KeywordsStructure Parallel Processing Block Structure Language Synchronization Methodology
Unable to display preview. Download preview PDF.
- 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
- Brinch Hansen, P. A comparison of two synchronizing concepts. Acta Informatica 1, 190–199 (1972).Google Scholar
- Confield Smith, D. and H.J. Enea. Backtracking in MLISP2. Proc. 3rd IJCAI, Stanford 1973, pp. 677–685.Google Scholar
- Davies, D.J.M. POPLER: a P0P2 Planner. MIP-89. School of A.I., University of Edinburgh.Google Scholar
- Dijkstra, E.W. Hierarchical ordering of sequential processes. Acta Informatica 1, pp. 115–138 (1971).Google Scholar
- Hewitt, C. Procedural embedding of knowledge in PLANNER. Proc. Second IJCAI, London, 1971.Google Scholar
- 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
- 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
- Montangero, C., Pacini, G. and F. Turini. Two level control structure in nondeterministic programming (in preparation).Google Scholar
- PL/I Language Specification. IBM System Reference Library, File 5360-29, Form C28-6571-4.Google Scholar
- 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
- Sussman, G.J. and D.V. McDermott. From PLANNER to Conniver, a genetic approach. Proc. AFIPS FJCC 1972, pp. 1171–1179.Google Scholar
- Van Wijngaarden, A. (ed.). Report on the Algorithmic Language Algol 68. MR 101, Mathematisch Centrum, Amsterdam (february 69).Google Scholar