Abstract

Fault tolerance can allow processes executing in a computer system to survive failures within the system. This thesis addresses the theory and practice of transparent faulttolerance methods using message logging and checkpointing in distributed systems. A general model for reasoning about the behavior and correctness of these methods is developed, and the design, implementation, and performance of two new low-overhead methods based on this model are presented. No specialized hardware is required with these new methods. The model is independent of the protocols used in the system. Each process state is represented by adependency vector, and each system state is represented by a dependency matrix showing a collection of process states. The set of system states that have occurred during any single execution of a system forms a lattice, with the sets of consistent and recoverable system states as sublattices. There is thus always a unique maximum recoverable system state. The rst method presented uses a new pessimistic message logging protocol called

Citations

174	The LOCUS distributed operating system - Walker, Popek, et al. - 1983
161	Preemptable remote execution facilities for the V-system - Theimer, Lantz, et al. - 1985
76	SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control - WENSLEY - 1978
68	Volatile logging in n-fault-tolerant distributed systems - Strom, Bacon, et al. - 1988
29	and Shaula Yemini. Optimistic Recovery in Distributed Systems - Strom - 1985
24	File servers for network-based distributed systems - Svobodova - 1984
17	Protocols for large data transfers over local networks - Zwaenepoel - 1985
12	Synthesizing distributed and parallel programs through optimistic transformations - Strom, Yemini - 1987
12	Recoverable actions in Gutenberg - Vinter, Ramamritham, et al. - 1986
6	Message passing on a local network - Zwaenepoel - 1984
5	Recovery control of communicating processes in a distributed system - Wood - 1985
2	Fault recovery of triplicated software on the Intel iAPX 432 - Yang, York - 1985