In EDS ansehen

Extending Concurrent Pascal to Allow Dynamic Resource Management.

Gespeichert in:
Bibliographische Detailangaben
Titel: Extending Concurrent Pascal to Allow Dynamic Resource Management.
Autoren: Silberschatz, Abraham1, Kieburtz, Richard B.2, Bernstein, Arthur I.2
Quelle: IEEE Transactions on Software Engineering. May77, Vol. 3 Issue 3, p210-217. 8p. 4 Diagrams.
Schlagwörter: *RESOURCE management, *PROGRAMMING languages, *ELECTRONIC data processing, *COMPUTER software, *SOFTWARE engineering, *COMPUTER systems, CONCURRENT Pascal (Computer program language), PASCAL (Computer program language)
Abstract: 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 stringent. 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 Fights to a resource is generalized to the notion that it holds capability rights, but the capability to actually make use of a resource is granted dynamically. The anonymity of dynamically allocatable resources is also guaranteed. [ABSTRACT FROM AUTHOR]
Copyright of IEEE Transactions on Software Engineering is the property of IEEE Computer Society and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Datenbank: Business Source Index
Beschreibung
Abstract: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 stringent. 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 Fights to a resource is generalized to the notion that it holds capability rights, but the capability to actually make use of a resource is granted dynamically. The anonymity of dynamically allocatable resources is also guaranteed. [ABSTRACT FROM AUTHOR]
ISSN:00985589