A notation for deterministic cooperating processes
- California Inst. of Tech., Pasadena, CA (United States)
- Argonne National Lab., IL (United States). Mathematics and Computer Science Div.
This paper proposes extensions of sequential programming languages for parallel programming that have the following features: (1) dynamic structures--the process structure is dynamic, processes and variables can be created and deleted; (2) paradigm interaction--the programming notation supports shared memory and message passing models; (3) Determinism--demonstrating that a program is deterministic--all executions with the same input produce the same output--is straightforward. Programs can be written so that compilers can verify that the programs are deterministic. Nondeterministic construct can be introduced in a sequence of refinement steps to obtain greater efficiency if required. The ideas have been incorporated in an extension of Fortran, but the underlying sequential imperative language is not central to the ideas described here. A compiler for the Fortran extension, called Fortran M, is available by anonymous ftp from Argonne National Laboratory. Fortran M has been used for a variety of parallel applications.
- Research Organization:
- Argonne National Laboratory (ANL), Argonne, IL
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 131611
- Journal Information:
- IEEE Transactions on Parallel and Distributed Systems, Journal Name: IEEE Transactions on Parallel and Distributed Systems Journal Issue: 8 Vol. 6; ISSN 1045-9219; ISSN ITDSEO
- Country of Publication:
- United States
- Language:
- English
Similar Records
Programming in Fortran M. Revision 1
Programming in Fortran M