Title :
Reliable Resource Allocation Betvveen Unreliable Processes
Author :
Shrivastava, Santosh Kumar ; Banâtre, Jean-Pierre
Author_Institution :
Computing Laboratory, University of Newcastle upon Tyne
fDate :
5/1/1978 12:00:00 AM
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 :
Concurrent processes; effor recovery; monitors; recovery blocks; reliable programs; resource allocation; software redundancy; Computer displays; Computer errors; Computer languages; Helium; Motion detection; Operating systems; Redundancy; Resource management; Software testing; System testing; Concurrent processes; effor recovery; monitors; recovery blocks; reliable programs; resource allocation; software redundancy;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1978.231500