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] On classes of problems in asynchronous distributed systems with process crashes
    Fromentin, E
    Raynal, M
    Tronel, F
    19TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1999, : 470 - 477
  • [3] PROCESSOR MEMBERSHIP IN ASYNCHRONOUS DISTRIBUTED SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    AGRAWALA, V
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1994, 5 (05) : 459 - 473
  • [4] Quiescent uniform reliable broadcast as an introduction to failure detector oracles
    Raynal, M
    PARALLEL COMPUTING TECHNOLOGIES, 2001, 2127 : 98 - 111
  • [5] Genuine atomic multicast in asynchronous distributed systems
    Guerraoui, R
    Schiper, A
    THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 297 - 316
  • [6] Consensus in asynchronous distributed systems: A concise guided tour
    Guerraoui, R
    Hurfin, M
    Mostefaoui, A
    Oliveira, R
    Raynal, M
    Schiper, A
    ADVANCES IN DISTRIBUTED SYSTEMS: ADVANCED DISTRIBUTED COMPUTING: FROM ALGORITHMS TO SYSTEMS, 2000, 1752 : 33 - 47
  • [7] Quorum-based mutual exclusion in asynchronous distributed systems with unreliable failure detectors
    Park, Sung-Hoon
    Lee, Seon-Hyong
    JOURNAL OF SUPERCOMPUTING, 2014, 67 (02): : 469 - 484
  • [8] Quorum-based mutual exclusion in asynchronous distributed systems with unreliable failure detectors
    Sung-Hoon Park
    Seon-Hyong Lee
    The Journal of Supercomputing, 2014, 67 : 469 - 484
  • [9] The election problem in asynchronous distributed systems with bounded faulty processes
    Park, Sung Hoon
    JOURNAL OF SUPERCOMPUTING, 2007, 41 (01): : 89 - 104
  • [10] Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems
    Galeana, Hugo Rincon
    Schmid, Ulrich
    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2024, 2024, 14662 : 501 - 506
12345