Title :
The RM recovery services
Author_Institution :
Dept. of Comput. Sci., Lowell Univ., MA, USA
Abstract :
A mechanism, the recovery manager (RM), that supports the recovery data in a distributed system of workstations is presented. The recovery services provided by RM do not provide protection against media failures such as head crashes, but do support system and software crash recovery on workstations with limited disk storage. RM services are intended to support data recovery for long-lived operations such as imaging and numerical applications. The services discussed rely on the shadowing of data and support a two-phase commit protocol (2PC) in a distributed environment. The system model in which the RM services operate, RM itself, and the services it provides are described. The correctness criteria for RM services are defined. Work related to RM and the optimization of RM for long-lived operations are discussed. A proof of correctness of the services is given.<>
Keywords :
distributed processing; fault tolerant computing; program verification; correctness criteria; correctness proof; data recovery; distributed system; imaging; long-lived operations; numerical applications; recovery data; recovery manager; recovery services; software crash recovery; system crash recovery; two-phase commit protocol; workstations; Buildings; Computer crashes; Computer science; Costs; Head; Image segmentation; Kernel; Protocols; Shadow mapping; Workstations;
Conference_Titel :
Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., Twenty-First International Symposium
Conference_Location :
Montreal, Quebec, Canada
Print_ISBN :
0-8186-2150-8
DOI :
10.1109/FTCS.1991.146686
