This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Extending CSP to Allow Dynamic Resource Management
July 1983 (vol. 9 no. 4)
pp. 527-531
A. Silberschatz, Department of Computer Science, University of Texas
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
Usage of this product signifies your acceptance of the Terms of Use.