The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication

Author(s):  
Damien Imbs ◽  
Michel Raynal



Computing ◽  
2021 ◽  
Author(s):  
Ernesto Jiménez ◽  
José Luis López-Presa ◽  
Marta Patiño-Martínez

AbstractIn anonymous distributed systems, processes are indistinguishable because they have no identity and execute the same algorithm. Currently, anonymous systems are receiving a lot of attention mainly because they preserve privacy, which is an important property when we want to avoid impersonation attacks. On the other hand, Consensus is a fundamental problem in distributed computing. It is well-known that Consensus cannot be deterministically solved in pure asynchronous anonymous systems if processes can crash (the so-called crash-stop failure model). This impossibility holds even if message losses never occur in transmission. Failure detectors are an elegant and powerful abstraction for achieving deterministic Consensus in asynchronous distributed systems. A failure detector is a distributed object that gives the processes information about crashed processes. Failure detectors have attracted so much attention in the crash-stop failure model because they provide a totally independent abstraction. $$\varOmega $$ Ω is the weakest failure detector to solve Consensus in classic asynchronous systems when a majority of processes never crash, and $$A\varOmega '$$ A Ω ′ is its implementable version for anonymous systems. As far as we know, there is a lack of works in the literature which tackle Consensus in anonymous asynchronous systems where crashed process can recover (the so-called crash-recovery failure model) and also assuming errors in transmission operations (the so-called omission failure model). Extending failure models in the system allows us to design more realistic systems and solve more practical security problems (i.e., fair exchange and the secure multiparty computation). We present, in this paper, an algorithm to solve Consensus using $$A\varOmega '$$ A Ω ′ in anonymous asynchronous systems under the crash-recovery and omission failure models. Another important contribution of this paper is a communication-efficient and latency-efficient implementation of $$A\varOmega '$$ A Ω ′ for these new failure models.



2002 ◽  
Vol 13 (05) ◽  
pp. 695-717
Author(s):  
Emmanuelle ANCEAUME

Chandra and Toueg proposed in 1993 a new approach to overcome the impossibility of reaching deterministically Consensus — and by corollary Atomic Broadcast — in asynchronous systems subject to crash failures. They augment the asynchronous system with a possibly Unreliable Failure Detector which provides some information about the operational state of processes. In this paper, we present an extension of the Consensus problem that we call Uniform Prefix Agreement. This extension enables all the processes to propose a flow of messages during an execution — instead of one as in the Consensus problem — and uses all these proposed messages to compose the decision value. Prefix Agreement is based on an Unreliable Failure Detector. We use repeated executions of Prefix Agreement to build an efficient Uniform Atomic Broadcast algorithm. This paper describes the Uniform Prefix Agreement and Uniform Atomic Broadcast algorithms, and provides proofs of their correctness.



IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 40823-40835
Author(s):  
Adel Tabakhpour Langeroudi ◽  
Morad Mohamed Abdelmageed Abdelaziz


2007 ◽  
Vol 205 (12) ◽  
pp. 1685-1720 ◽  
Author(s):  
Michael Backes ◽  
Birgit Pfitzmann ◽  
Michael Waidner


PLoS ONE ◽  
2018 ◽  
Vol 13 (1) ◽  
pp. e0191577 ◽  
Author(s):  
Jiaxi Liu ◽  
Zhibo Wu ◽  
Jian Dong ◽  
Jin Wu ◽  
Dongxin Wen


Author(s):  
Robert Miller ◽  
Anand Tripathi


Sign in / Sign up

Export Citation Format

Share Document