View-oriented group communication services are widely used for fault-tolerant distributed computing

Alan Fekete

Alex Shvartsman

Fekete Nancy

Lyncht Alex Shvartsman

Nancy Lynch

Prisco Alan

Roberto De

Roberto De Prisco

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. The specification is a simple automaton, with only seven kinds of actions. We demonstrate the value of dvs by showing both how it can be implemented and how it can be used in an application. Both pieces are shown formally, with assertional proofs. 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, uses information from the application processes saying when a view has been prepared for computation by the application, and uses a static view-oriented service internally. We prove that this algorithm implements dvs, in the sense of trace inclusion. Second, we present an application algorithm that is a variant of an algorithm of Amir, Dolev, Keidar, Melliar-Smith and Moser, modified to use dvs instead of a static service. We prove that it implements a (non-group-oriented) totally-ordered-broadcast service

CiteSeerX

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.5099

A Dynamic Primary View Group Communication Service

Abstract

Similar works

Full text

Available Versions

CiteSeerX