DocumentCode :
2427786
Title :
Formal specification and analysis for reliable and transparent resource management
Author :
Wedde, Horst F. ; Daniels, Douglas C.
Author_Institution :
Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
fYear :
1989
fDate :
22-24 March 1989
Firstpage :
277
Lastpage :
283
Abstract :
A report is presented on the design and implementation of a novel, highly reliable resource management algorithm which functions within the distributed operating system DRAGON SLAYER. The particular design goals for DRAGON SLAYER include not only reliability of services in face node or link failures, or in face of unreliability on the software level, but also a novel form of resource transparency in the absence of any global control or information. It is necessary to deal with a very difficult and general conceptual problem calling for a solution that further had to satisfy requirements of practicality. The design of the algorithm is based on a formal model, the theory of interaction systems. The authors prove the correctness (fairness) of the algorithm in the formal model. The construction method for this model is modular and incremental.<>
Keywords :
distributed processing; formal specification; operating systems (computers); DRAGON SLAYER; correctness; design; distributed operating system; fairness; formal model; implementation; theory of interaction systems; transparent resource management; Algorithm design and analysis; Availability; Computer science; Degradation; Formal specifications; Modular construction; Operating systems; Peer to peer computing; Resource management; Robustness;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computers and Communications, 1989. Conference Proceedings., Eighth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ, USA
Print_ISBN :
0-8186-1918-x
Type :
conf
DOI :
10.1109/PCCC.1989.37400
Filename :
37400
Link To Document :
بازگشت