When consensus meets self-stabilization

DOI10.1016/j.jcss.2010.05.005zbMath1209.68053OpenAlexW2086069023WikidataQ56806109 ScholiaQ56806109MaRDI QIDQ1959435

Shlomi Dolev, Ronen I. Kat, Elad M. Schiller

Publication date: 7 October 2010

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2010.05.005

zbMATH Keywords

consensusself-stabilizationwait-freefailure detectordistributed resetstate-machine

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Practically-self-stabilizing virtual synchrony ⋮ Self-stabilizing indulgent zero-degrading binary consensus ⋮ Self-stabilizing and private distributed shared atomic memory in seldomly fair message passing networks ⋮ Practically stabilizing SWMR atomic memory in message-passing systems ⋮ The weakest failure detector for eventual consistency ⋮ Self-stabilizing Virtual Synchrony ⋮ Near-optimal self-stabilising counting and firing squads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Self-stabilization of dynamic systems assuming only read/write atomicity
• Wait-free clock synchronization
• Stability of long-lived consensus.
• Self-stabilizing timestamps
• Stability of Multi-Valued Continuous Consensus11Preliminary Version, Some proofs are omitted from this version.
• The failure detector abstraction
• On implementing omega with weak reliability and synchrony assumptions
• Impossibility of distributed consensus with one faulty process
• Self-stabilizing systems in spite of distributed control
• Time, clocks, and the ordering of events in a distributed system
• Resource Bounds for Self-Stabilizing Message-Driven Protocols
• Unreliable failure detectors for reliable distributed systems
• Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors
• Disk Paxos
• Resettable vector clocks
• On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection
• The weakest failure detector for solving consensus
• Distributed Computing
• Communication-efficient leader election and consensus with limited link synchrony