A Theoretical Model of Optimistic Recovery in Distributed Systems

Abstract

The research sponsored by this contract has produced the following results: 1) A model for recovery using message logging and checkpointing, resulting in a major theorem establishing the uniqueness of a maximum recoverable system state; 2) An implementation and a performance evaluation of sender-based message logging; 3) A batch and an incremental algorithm for optimistic recovery, and an implementation and a performance evaluation of optimistic recovery; 4) Preliminary results in extending these methods to nondeterministic processes; and 5) A new definition of distributed breakpoint, called causal distributed breakpoint.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 08, 1990
Accession Number
ADA222055

Entities

People

  • Willy Zwaenepoel

Organizations

  • Rice University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Computations
  • Computer Science
  • Computers
  • Contracts
  • Damage Detection
  • Data Transmission
  • Distributed Computing
  • Fault Tolerance
  • Fault Tolerant Computing
  • Intervals
  • Models
  • Prototypes
  • Recovery
  • Sequences

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computer Science.
  • Database Systems and Applications