Title :
A case study of agreement problems in distributed systems: non-blocking atomic commitment
Author_Institution :
IRISA, Rennes
Abstract :
The paper considers an agreement problem whose practical interest is well known, namely the Non-Blocking Atomic Commitment Problem. First, a generic protocol solving this problem is given and then instantiations of its generic statements are provided for both synchronous and asynchronous distributed systems. These instantiations use a few basic components: timeout mechanism and reliable multicast primitives for synchronous systems unreliable failure detectors and a solution to the consensus problem for asynchronous systems. So, the article can also be considered as an introduction to state of the art concepts and protocols for distributed fault tolerance
Keywords :
distributed processing; fault tolerant computing; protocols; reliability; software fault tolerance; agreement problems; asynchronous distributed systems; asynchronous systems; case study; consensus problem; distributed fault tolerance; generic protocol; generic statements; instantiations; non blocking atomic commitment; reliable multicast primitives; synchronous systems unreliable failure detectors; timeout mechanism; Access protocols; Computer aided software engineering; Concurrency control; Concurrent computing; Delay; Detectors; Fault tolerant systems; System recovery; Testing; Voting;
Conference_Titel :
High-Assurance Systems Engineering Workshop, 1997., Proceedings
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-7971-9
DOI :
10.1109/HASE.1997.648067
