A Dynamic View-Oriented Group Communication Service

Abstract

View-oriented group communication services are widely used for fault-tolerant distributed computing. For applications involving coherent data, it is important to know when a process has a primary view of the current group membership, usually defined as a view containing a majority out of a static universe of processes. For high availability in a system where processes can join and leave routinely, some researchers have suggested defining primary views dynamically , depending on having enough members in common with recent views. We present a new formal automaton specification, dvs, for the safety guarantees made by a practical group communication service providing a dynamic notion of primary view. We demonstrate the value of dvs by showing both how it can be implemented and how it can be used in an application. First, we present a distributed algorithm based on a group membership algorithm of Lotem, Keidar and Dolev; our version integrates communication with the membership service, us..