IMDEA Networks Institute Publications Repository

Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony

Fernández Anta, Antonio and Jiménez, Ernesto and Raynal, Michel (2010) Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony. [Journal Articles]

[img]
Preview
PDF ( Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony) - Published Version
Download (370Kb) | Preview

Abstract

This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the total number of processes). It considers weak assumptions both on the initial knowledge of the processes and on the network behavior. More precisely, initially, a process knows only its identity and the fact that the process identities are di®erent and totally ordered (it knows neither n nor t). Two eventual leader election protocols and a lower bound are presented. The ¯rst protocol assumes that a process also knows a lower bound ® on the number of processes that do not crash. This protocol requires the following behavioral properties from the underlying network: the graph made up of the correct processes and fair lossy links is strongly connected, and there is a correct process connected to (n ¡ f) ¡ ® other correct processes (where f is the actual number of crashes in the considered run) through eventually timely paths (paths made up of correct processes and eventually timely links). This protocol is not communication-e±cient in the sense that each correct process has to send messages forever. The second protocol is communication-e±cient: after some time, only the ¯nal common leader has to send messages forever. This protocol does not require the processes to know ®, but requires stronger properties from the underlying network: each pair of correct processes has to be connected by fair lossy links (one in each direction), and there is a correct process whose n ¡ f ¡ 1 output links to the rest of correct processes have to be eventually timely. A matching lower bound result shows that any eventual leader election protocol must have runs with this number of eventually timely links, even if all processes know all the processes identities. In addition to being communication-e±cient, the second protocol has another noteworthy e±ciency property, namely, be the run ¯nite or in¯nite, all the local variables and message ¯elds have a ¯nite domain in the run.

Item Type: Journal Articles
Uncontrolled Keywords: eventually timely and fair lossy links, eventual leader election, failure detector, omega leader oracle, process initial knowledge
Subjects: Q Science > Q Science (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > T Technology (General)
T Technology > TA Engineering (General). Civil engineering (General)
T Technology > TK Electrical engineering. Electronics Nuclear engineering
Divisions: Faculty of Engineering, Science and Mathematics > School of Electronics and Computer Science
Depositing User: Acosta Angel
Date Deposited: 16 Feb 2012 09:37
Last Modified: 07 Aug 2013 11:07
URI: http://eprints.networks.imdea.org/id/eprint/123

Actions (login required)

View Item View Item