An introduction to oracles for asynchronous distributed systems

被引：13

作者：

Mostefaoui, A ^{[1
]}

Mourgaya, E ^{[1
]}

Raynal, M ^{[1
]}

机构：

[1] IRISA, F-35042 Rennes, France

来源：

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE | 2002年 / 18卷 / 06期

关键词：

asynchronous distributed system; consensus; distributed oracle; fair lossy channel; fault-tolerance; process crash; quiescent protocol; random number; uniform reliable broadcast; unreliable failure detector;

D O I：

10.1016/S0167-739X(02)00048-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper is an introduction to oracles the aim of which is to help solving distributed computing problems in asynchronous distributed systems prone to process crash failures and fair lossy channels. Actually, the combination of asynchrony and failures makes a lot of problems impossible to solve in unreliable asynchronous distributed systems. Hence, those systems have to be extended with appropriate oracles in order these problems become solvable. Using two such problems (namely, the design of a quiescent uniform reliable broadcast facility, and the consensus problem), this paper presents appropriate oracles allowing to solve these problems. In that sense, the paper is a guided tour to the definition of oracles suited to unreliable asynchronous distributed systems. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：757 / 767

页数：11

共 50 条

[1] Delphi: Efficient Asynchronous Approximate Agreement for Distributed Oracles
Bandarupalli, Akhil
Bhat, Adithya
Bagchi, Saurabh
Kate, Aniket
Liu-Zhang, Chen-Da
Reiter, Michael K.
2024 54TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, DSN 2024, 2024, : 456 - 469
[2] Timed asynchronous distributed systems
Fetzer, C
DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 2 - 3
[3] ASYNCHRONOUS MODEL FOR DISTRIBUTED SYSTEMS
GASTIN, P
THEORETICAL COMPUTER SCIENCE, 1990, 74 (02) : 121 - 162
[4] Taming Distributed Asynchronous Systems
Muscholl, Anca
CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 40 - 47
[5] Distributed games and distributed control for asynchronous systems
Gastin, P
Lerman, B
Zeitoun, M
LATIN 2004: THEORETICAL INFORMATICS, 2004, 2976 : 455 - 465
[6] Asynchronous group membership with oracles
Lin, K
Hadzilacos, V
DISTRIBUTED COMPUTING, 1999, 1693 : 79 - 93
[7] A short introduction to asynchronous systems
Kozyakin, V
PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON DIFFERENCE EQUATIONS: NEW PROGRESS IN DIFFERENCE EQUATIONS, 2004, : 153 - 165
[8] Constraint-Based Oracles for Timed Distributed Systems
Benharrat, Nassim
Gaston, Christophe
Hierons, Robert M.
Lapitre, Arnault
Le Gall, Pascale
TESTING SOFTWARE AND SYSTEMS (ICTSS 2017), 2017, 10533 : 276 - 292
[9] Guest editors' introduction to special section on asynchronous real-time distributed systems
Jensen, ED
Ravindran, B
IEEE TRANSACTIONS ON COMPUTERS, 2002, 51 (08) : 881 - 882
[10] Distributed monitoring of concurrent and asynchronous systems
Fabre, E
Benveniste, A
Haar, S
Jard, C
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (01): : 33 - 84

← 1 2 3 4 5 →