The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July (1983 vol.9)
pp: 527-531
A. Silberschatz , Department of Computer Science, University of Texas
ABSTRACT
In his paper "Communicating Sequential Processes," Hoare suggested the use of the input/output construct and Dijkstra's guarded commands for handling the task of communication and synchronization in distributed systems. Hoare's proposal was intended for programming general parallel systems; as a result, little consideration was given by Hoare to the question of how his mechanisms could be utilized in the construction of reliable dynamic resource management schemes. In this paper, we examine this problem and propose several simple extensions to Hoare's constructs that will make the extended Communicating Sequential Processes concept more suitable for the handling of such management schemes.
INDEX TERMS
synchronization, Communication ports, distributed systems, guarded commands, input/output commands, programming languages, resource management
CITATION
A. Silberschatz, "Extending CSP to Allow Dynamic Resource Management", IEEE Transactions on Software Engineering, vol.9, no. 4, pp. 527-531, July 1983, doi:10.1109/TSE.1983.234961
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool