Communication and Synchronization in Distributed Systems
- 1 November 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-5 (6) , 542-546
- https://doi.org/10.1109/tse.1979.230190
Abstract
Recent advances in technology have made the construction of general-purpose systems out of many small independent microprocessors feasible. One of the issue's concerning distributed systems is the question of appropriate language constructs for the handling of communication and synchronization. In his paper, "Communicating sequential processes," Hoare has suggested the use of the input and output constructs and Dijkstra's guarded commands to handle these two issues. This paper examines Hoare's concepts in greater detail by concentrating on the following two issues: 1) allowing both input and output commands to appear in guards, 2) sinple abstract implementation of the input and output constructs.Keywords
This publication has 6 references indexed in Scilit:
- Communicating sequential processesCommunications of the ACM, 1978
- Modula: A language for modular multiprogrammingSoftware: Practice and Experience, 1977
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- MonitorsCommunications of the ACM, 1974
- System DeadlocksACM Computing Surveys, 1971