Issue No. 03 - May (1977 vol. 3)
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.
Access rights, classes, Concurrent Pascal, concurrent processes, dynamic resource management, monitors, parallelism, protection.
A. Silberschatz, R.B. Kieburtz, A.J. Bernstein, "Extending Concurrent Pascal to Allow Dynamic Resource Management", IEEE Transactions on Software Engineering, vol. 3, no. , pp. 210-217, May 1977, doi:10.1109/TSE.1977.231130