2010/05/28 by Swan Dubois, Dubois, Swan, Toshimitsu Masuzawa +3 · 1 citation
Computer Science · #Advanced Data Storage Technologies #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Petri Nets in System Modeling #and Cluster Computing (cs.DC) #cs.DC
paper · pdf · doi:10.48550/arxiv.1005.5223
arxiv created 2010/05/28 · openalex publication_date 2010/05/28 · arxiv updated 2010/05/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of all memories in the system. Byzantine tolerance is an attractive feature of distributed systems that permits to cope with arbitrary malicious behaviors. We consider the well known problem of constructing a breadth-first spanning tree in this context. Combining these two properties proves difficult: we demonstrate that it is impossible to contain the impact of Byzantine nodes in a strictly or strongly stabilizing manner. We then adopt the weaker scheme of topology-aware strict stabilization and we present a similar weakening of strong stabilization. We prove that the classical min+1 protocol has optimal Byzantine containment properties with respect to these criteria.