From an Asynchronous Intermittent Rotating Star to an Eventual Leader

—Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumption that such a system has to satisfy for a common leader to be eventually elected is one of the holy grail quests of fault-tolerant asynchronous computing. This paper is a step in that direction. It has two contributions. Considering a simple and general asynchronous system model where processes generate asynchronous pulses during which they send and receive messages, it first introduces an additional assumption that allows to elect an eventual leader in all the runs that satisfy that assumption. That assumption is captured by the notion of asynchronous intermittent rotating t-star. An x-star is made up of one process p (the center of the star) plus a sequence of sets of x processes (the successive points of the star), that satisfies some properties. Intuitively, the intermittent rotating t-star assumption means that there are a process p, a subset of pulse n...

• Type: Journal
• Year: 2010
• Where: TPDS
• Authors: Antonio Fernández Anta, Michel Raynal
• Keywords: Asynchronous, Asynchronous Intermittent Rotating, Intermittent Rotating T-star, TPDS 2010