Symmetric intertask communication
- 1 October 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 7 (4), 622-636
- https://doi.org/10.1145/4472.4475
Abstract
We argue for the need of supporting a symmetric select construct, in which entry calls as well as accepts can be alternatives. We present several situations in which a symmetric select leads to a more natural programming style. We show that several semantic principles are violated by a nonsymmetric select, while being satisfied by a symmetric one. In particular, the suggested symmetric intertask communication mechanism is fully abstract and composable, and has a distributed termination rule which reduces the risk of deadlock. Our discussion is in terms of Ada™.Keywords
This publication has 9 references indexed in Scilit:
- A weakest precondition semantics for communicating processesTheoretical Computer Science, 1984
- Extended naming conventions for communicating processesScience of Computer Programming, 1983
- An Effective Implementation for the Generalized Input-Output Construct of CSPACM Transactions on Programming Languages and Systems, 1983
- Message passing between sequential processes: The reply primitive and the administrator conceptSoftware: Practice and Experience, 1981
- A comparative study of task communication in adaSoftware: Practice and Experience, 1981
- Rationale for the design of the Ada programming languageACM SIGPLAN Notices, 1979
- Thoth, a portable real-time operating systemCommunications of the ACM, 1979
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978