Synchronizing Resources
- 1 October 1981
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 3 (4) , 405-430
- https://doi.org/10.1145/357146.357149
Abstract
A new proposal for synchronization and communication in parallel programs is presented. The proposal synthesizes and extends aspects of procedures, coroutines, critical regions, messages, and monitors. It provides a single notation for parallel programming with or without shared variables and is suited for either shared or distributed memory architectures. The essential new concepts are operations, input statements, and resources. The proposal is illustrated by the solutions of a variety of parallel programming problems; its relation to other parallel programming proposals is also discussed.Keywords
This publication has 17 references indexed in Scilit:
- The specification of process synchronization by path expressionsPublished by Springer Nature ,2005
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- High level programming for distributed computingCommunications of the ACM, 1979
- Distributed processesCommunications of the ACM, 1978
- On-the-fly garbage collectionCommunications of the ACM, 1978
- Fast parallel sorting algorithmsCommunications of the ACM, 1978
- An exercise in proving parallel programs correctCommunications of the ACM, 1977
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Synchronization of communicating processesCommunications of the ACM, 1972
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971