Extending Concurrent Pascal to Allow Dynamic Resource Management.
Saved in:
| Title: | Extending Concurrent Pascal to Allow Dynamic Resource Management. |
|---|---|
| Authors: | Silberschatz, Abraham1, Kieburtz, Richard B.2, Bernstein, Arthur I.2 |
| Source: | IEEE Transactions on Software Engineering. May77, Vol. 3 Issue 3, p210-217. 8p. 4 Diagrams. |
| Subjects: | Concurrent Pascal (Computer program language), Resource management, Pascal (Computer program language), Programming languages, Electronic data processing, Computer software, Software engineering, Computer systems |
| 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.) | |
| Database: | Engineering Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 14370375 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Extending Concurrent Pascal to Allow Dynamic Resource Management. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Silberschatz%2C+Abraham%22">Silberschatz, Abraham</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Kieburtz%2C+Richard+B%2E%22">Kieburtz, Richard B.</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Bernstein%2C+Arthur+I%2E%22">Bernstein, Arthur I.</searchLink><relatesTo>2</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22IEEE+Transactions+on+Software+Engineering%22">IEEE Transactions on Software Engineering</searchLink>. May77, Vol. 3 Issue 3, p210-217. 8p. 4 Diagrams. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Concurrent+Pascal+%28Computer+program+language%29%22">Concurrent Pascal (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Resource+management%22">Resource management</searchLink><br /><searchLink fieldCode="DE" term="%22Pascal+%28Computer+program+language%29%22">Pascal (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+systems%22">Computer systems</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=14370375 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 8 StartPage: 210 Subjects: – SubjectFull: Concurrent Pascal (Computer program language) Type: general – SubjectFull: Resource management Type: general – SubjectFull: Pascal (Computer program language) Type: general – SubjectFull: Programming languages Type: general – SubjectFull: Electronic data processing Type: general – SubjectFull: Computer software Type: general – SubjectFull: Software engineering Type: general – SubjectFull: Computer systems Type: general Titles: – TitleFull: Extending Concurrent Pascal to Allow Dynamic Resource Management. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Silberschatz, Abraham – PersonEntity: Name: NameFull: Kieburtz, Richard B. – PersonEntity: Name: NameFull: Bernstein, Arthur I. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 05 Text: May77 Type: published Y: 1977 Identifiers: – Type: issn-print Value: 00985589 Numbering: – Type: volume Value: 3 – Type: issue Value: 3 Titles: – TitleFull: IEEE Transactions on Software Engineering Type: main |
| ResultId | 1 |