This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Extending Concurrent Pascal to Allow Dynamic Resource Management
May 1977 (vol. 3 no. 3)
pp. 210-217
A. Silberschatz, Department of Mathematical Sciences, University of Texas
In Concurrent Pascal, the syntactic and semantic definition of the language prevents the inadvertent definition of a program that might violate the integrity of a shared data object. However, the language also does not allow the dynamic allocation of reusable resources among processes, and this restriction seems unnecessarily stingent. This paper proposes the addition to Concurrent Pascal of a new type of program component, to be called a resource manager. By this means, dynamic resource allocation can be accomplished both safely and efficiently. The notion that a process holds access rights to a resource is generalized to the notion that it holds capability rights, but the capability to atually make use of a resource is granted dynamically. The anonymity of dynamically allocatable resources is also guaranteed.
Index Terms:
Access rights, classes, Concurrent Pascal, concurrent processes, dynamic resource management, monitors, parallelism, protection.
Citation:
A. Silberschatz, R.B. Kieburtz, A.J. Bernstein, "Extending Concurrent Pascal to Allow Dynamic Resource Management," IEEE Transactions on Software Engineering, vol. 3, no. 3, pp. 210-217, May 1977, doi:10.1109/TSE.1977.231130
Usage of this product signifies your acceptance of the Terms of Use.