The RM recovery services

Author

Pitts, D.V.

Author_Institution

Dept. of Comput. Sci., Lowell Univ., MA, USA

fYear

1991

fDate

25-27 June 1991

Firstpage

360

Lastpage

367

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FTCS.1991.146686

Filename

146686