Process of Membership in Asynchronous Environments

Abstract

The development of reliable distributed software is simplified by the ability to assume a fail-stop failure model. We discuss the emulation of such a model in an asynchronous distributed environment. The solution we propose, called Strong-GMP, can be supported through a highly efficient protocol, and has been implemented as part of a distributed systems software project at Cornell University. Here, we focus on the precise definition of the problem, the protocol, correctness proofs, and an analysis of costs. Asynchronous computation, Fault detection, Process membership, Fault tolerance, Process group.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1993
Accession Number
ADA264399

Entities

People

  • Aleta M. Ricciardi
  • Ken Birman

Organizations

  • Cornell University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Application Software
  • Asynchronous Computation
  • Asynchronous Systems
  • Computations
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Damage Detection
  • Detection
  • Environment
  • Fault Tolerance
  • Formal Languages
  • Language
  • Networks
  • Specifications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Software Engineering.
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.