The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (2001 vol.12)
pp: 1190-1200
ABSTRACT
<p><b>Abstract</b>—This paper presents a solvable specification and gives an algorithm for the Group Membership Problem in asynchronous systems with crash failures. Our specification requires processes to maintain a <it>consistent history</it> in their sequences of views. This allows processes to order failures and recoveries in time and simplifies the programming of high level applications. Previous work has proven that the Group Membership Problem cannot be solved in asynchronous systems with crash failures. We circumvent this impossibility result building a weaker, yet nontrivial specification. We show that our solution is an improvement upon previous attempts to solve this problem using a weaker specification. We also relate our solution to other methods and give a classification of progress properties that can be achieved under different models.</p>
INDEX TERMS
Distributed agreement algorithms, group membership, asynchronous systems.
CITATION
Massimo Franceschetti, Jehoshua Bruck, "A Group Membership Algorithm with a Practical Specification", IEEE Transactions on Parallel & Distributed Systems, vol.12, no. 11, pp. 1190-1200, November 2001, doi:10.1109/71.969128
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool