Eventual leader service in unreliable asynchronous systems: Why? How?

被引：3

作者：

Raynal, Michel ^{[1
]}

机构：

[1] Univ Rennes 1, IRISA, F-35042 Rennes, France

来源：

SIXTH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS | 2007年

关键词：

assumption coverage; asynchronous system; behavioral assumption; distributed algorithm; eventual t-source; eventual leader failure detector; fault-tolerance; message pattern; omega; oracle; partial synchrony; process crash; system model; eventual timely link;

D O I：

10.1109/NCA.2007.19

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Providing processes with an eventual leader service is an important issue when one has to design and implement a middleware layer on top of a failure-prone asynchronous distributed system. This invited lecture investigates this problem. It first shows that such a service cannot be built if the underlying system is fully asynchronous. Then, the paper visits several additional behavioral assumptions that have been proposed in the literature to cope with this impossibility and presents corresponding eventual leader election protocols. This lecture can be seen as a guided tour of the eventual leader service problem, whose aim is to benefit researchers and system engineers working in distributed middleware built on top of asynchronous networks.

引用

页码：11 / 21

页数：11

共 23 条

[1]

AGUILERA MK, 2004, 23 ACM S PRINC DISTR, P328

[2]

AGUILERA MK, 2003, 22 ACM S PRINC DISTR, P306

[3] A necessary and sufficient condition for transforming limited accuracy failure detectors [J].