Reliable Resource Allocation Betvveen Unreliable Processes

1 May 1978

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-4 (3) , 230-241
https://doi.org/10.1109/tse.1978.231500

Abstract

Basic error recovery problems between interacting processes are first discussed and the desirability of having separate recovery mechanisms for cooperation and competition is demonstrated. The paper then concentrates on recovery mechanisms for processes competing for the use of the shared resources of a computer system. Appropriate programming language features are developed based on the class and inner features of SIMULA, and on the structuring concepts of recovery blocks and monitors.

Keywords

This publication has 8 references indexed in Scilit:

Software reliability
Published by Association for Computing Machinery (ACM) ,1977
Systematic programming of scheduling algorithms
Software: Practice and Experience, 1976
Exception handling
Communications of the ACM, 1975
The programming language Concurrent Pascal
IEEE Transactions on Software Engineering, 1975
System structure for software fault tolerance
IEEE Transactions on Software Engineering, 1975
Error resynchronization in producer-consumer systems
Published by Association for Computing Machinery (ACM) ,1975
Monitors
Communications of the ACM, 1974
Process Structuring
ACM Computing Surveys, 1973