DocumentCode :
749208
Title :
Reliable Resource Allocation Betvveen Unreliable Processes
Author :
Shrivastava, Santosh Kumar ; Banâtre, Jean-Pierre
Author_Institution :
Computing Laboratory, University of Newcastle upon Tyne
Issue :
3
fYear :
1978
fDate :
5/1/1978 12:00:00 AM
Firstpage :
230
Lastpage :
241
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;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/TSE.1978.231500
Filename :
1702523
Link To Document :
بازگشت