2026-07-24T00:04:27Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:850 2024-03-06T11:07:04Z ddc:004 open_access

Abstracting out Byzantine Behavior Druschel, Peter Haeberlen, Andreas Kouznetsov, Petr Fault-tolerance Byzantine failures masking detection total order broadcast weak interactive consistency Many distributed systems are designed to tolerate the presence of emph{Byzantine} failures: an individual process may arbitrarily deviate from the algorithm assigned to it. Depending on the application requirements, systems enjoy various levels of fault-tolerance. Systems based on state machine replication are able to emph{mask} failures so that their effect is not visible by the application. In contrast, cooperative peer-to-peer systems can tolerate bounded deviant behavior to some extent and therefore do not require masking, as long as each faulty node is emph{exposed}eventually. Finding an abstract way to reason about the levels of fault-tolerance is thus of immanent importance. We discuss how the information of deviant behavior can be abstracted out in the form of a emph{Byzantine failure detector} (BFD). We formally define a BFD abstraction, and we discuss two ways of using the abstraction: (1) monitoring systems in order to retroactively detect Byzantine failures and (2) enforcing systems in order to boost their level of fault-tolerance. Interestingly, the BFD formalism allowed us to determine the relative hardness of implementing two popular abstractions in distributed computing: state machine replication and weak interactive consistency. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Peter Druschel and Andreas Haeberlen and Petr Kouznetsov 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 6371, From Security to Dependability (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06371.3 urn:nbn:de:0030-drops-8501 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06371.3 eng https://creativecommons.org/licenses/by/4.0/legalcode