Reliable Communication in an Unreliable Environment. Revision

Abstract

We report on the design and correctness of a communication facility for a distributed computer system. The facility provides a variety of broadcast protocols, which are used to transmit messages reliably to sets of destination processes. These protocols attain high levels of concurrency while respecting application-specific ordering constraints. They also ensure that processes observe consistent orderings of events, including process failures and recoveries. A review of several uses for the protocols in a large fault-tolerant program illustrates the simplification of higher-level algorithms made possible by our approach.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1985
Accession Number
ADA161125

Entities

People

  • Ken Birman
  • Thomas A. Joseph

Organizations

  • Cornell University

Tags

DTIC Thesaurus Topics

  • Agreements
  • Algorithms
  • Asynchronous Systems
  • Buildings And Structures
  • Communication Systems
  • Computations
  • Computer Science
  • Damage Detection
  • Demographic Cohorts
  • Distributed Computing
  • Environment
  • Fault Tolerance
  • Mathematics
  • Multithreading
  • New York
  • Recovery
  • Sequences

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Mathematical Modeling and Probability Theory.
  • Software Engineering