Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre Übersetzung nach OCCAM

A parallel programming language PRAM for the shared memory multiprocessor machine model including recursion, dynamic data structures, the concept of common and private variables and of grouping processors is described. The concept of common memory variables is extended in the sense that the common memory property may be restricted to processor groups. A compiler translating PRAM programs into OCCAM 2 programs executable on a transputer network will be developed offering several advantages to the programmer of parallel programs for a transputer network.

[1]  Nicholas Carriero,et al.  Linda and Friends , 1986, Computer.

[2]  Gregory R. Andrews,et al.  Concepts and Notations for Concurrent Programming , 1983, CSUR.

[3]  Steven Fortune,et al.  Parallelism in random access machines , 1978, STOC.

[4]  Henri E. Bal,et al.  Programming languages for distributed computing systems , 1989, CSUR.

[5]  Abhiram G. Ranade,et al.  How to emulate shared memory , 1991, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[6]  Henri E. Bal,et al.  Distributed Programming with Shared Data , 1991, Comput. Lang..

[7]  Kurt Mehlhorn,et al.  Deterministic Simulation of Idealized Parallel Computers on More Realistic Ones , 1987, SIAM J. Comput..