Experimental evaluation of the unavailability induced by a group membership protocol

Kaustubh R. Joshi, Michel Cukier, William H. Sanders

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Group communication is an important paradigm for building highly available distributed systems. However, group membership operations often require the system to block message traffic, causing system services to become unavailable. This makes it important to quantify the unavailability induced by membership operations. This paper experimentally evaluates the blocking behavior of the group membership protocol of the Ensemble group communication system using a novel global-state-based fault injection technique. In doing so, we demonstrate how a layered distributed protocol such as the Ensemble group membership protocol can be modeled in terms of a state machine abstraction, and show how the resulting global state space can be used to specify fault triggers and define important measures on the system. Using this approach, we evaluate the cost associated with important states of the protocol under varying workload and group size. We also evaluate the sensitivity of the protocol to the occurrence of a second correlated crash failure during its operation.

Original languageEnglish (US)
Title of host publicationDependable Computing - EDCC-4 - 4th European Dependable Computing Conference, Proceedings
EditorsAndrea Bondavalli, Pascale Thevenod-Fosse
Number of pages19
ISBN (Electronic)9783540000129
StatePublished - Jan 1 2002
Event4th European Dependable Computing Conference, EDCC 2002 - Toulouse, France
Duration: Oct 23 2002Oct 25 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other4th European Dependable Computing Conference, EDCC 2002

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Experimental evaluation of the unavailability induced by a group membership protocol'. Together they form a unique fingerprint.

Cite this