direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Es gibt keine deutsche Übersetzung dieser Webseite.

Publications by Type: Technical Reports

Simple CHT: A New Derivation of the Weakest Failure Detector for Consensus
Zitatschlüssel K-SCNDWFDC-09
Autor Kuznetsov, Petr
Jahr 2009
Monat February
Notiz No. 2009-05
Institution Technische Universität Berlin
Zusammenfassung The paper proposes an alternative proof that Ω, an oracle that outputs a process identifier and guarantees that eventually the same correct process identifier is output at all correct processes, provides minimal information about failures for solving consensus in read-write shared-memory systems: every oracle that gives enough failure information to solve consensus can be used to implement Ω. Unlike the original proof by Chandra, Hadzilacos and Toueg (CHT), the proof presented in this paper builds upon the very fact that 2-process wait-free consensus is impossible. Also, since the oracle that is used to implement Ω can solve consensus, the implementation is allowed to directly access consensus objects. As a result, the proposed proof is shorter and conceptually simpler than the original one.
Typ der Publikation Forschungsbericht (Research report)
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe