The weakest failure detector to implement a register in asynchronous systems with hybrid communication

DOI10.1016/J.TCS.2012.06.030MaRDI QIDQ392012zbMATH OpenOpenAlexFDO

Authors Damien Imbs, Michel Raynal

Publication date 13 January 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2012.06.030

zbMATH Keywords

fault-tolerancedistributed algorithmfailure detectorprocess crashasynchronous message-passing systematomic registerhybrid communicationnecessity proofshared memory systemweakest failure detector

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed algorithms (68W15) Distributed systems (68M14)

Recommendations

• A simple proof of the necessity of the failure detector \(\Sigma \) to implement an atomic register in asynchronous message-passing systems
• scientific article; zbMATH DE number 2013834
• The weakest failure detectors to solve certain fundamental problems in distributed computing
• A weakest failure detector-based asynchronous consensus protocol for \(f<n\)
• The weakest failure detector for solving consensus

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• A simple proof of the necessity of the failure detector \(\Sigma \) to implement an atomic register in asynchronous message-passing systems
• Asynchronous bounded lifetime failure detectors
• Efficient and Robust Sharing of Memory in Message-Passing Systems
• Sharing memory robustly in message-passing systems
• The weakest failure detector for solving consensus
• Tight failure detection bounds on atomic object implementations
• Unreliable failure detectors for reliable distributed systems

Cited in

(2)

• What can be computed in a distributed system?
• A simple proof of the necessity of the failure detector \(\Sigma \) to implement an atomic register in asynchronous message-passing systems

This page was built for publication: The weakest failure detector to implement a register in asynchronous systems with hybrid communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392012)