Brief Announcement: Self-stabilizing Total-Order Broadcast
Paper in proceeding, 2022
the lenses of self-stabilization—a very strong notion of fault-tolerance. In addition to node and communication failures, self-stabilizing algorithms can recover after the occurrence of arbitrary transient faults; these faults represent any violation of the assumptions according to which the system was designed to operate (as long as the algorithm code stays intact). This work proposes the first (to the best of our knowledge) self-stabilizing algorithm for total-order (uniform reliable) broadcast for asynchronous message-passing systems prone to process failures and transient faults. As we show, the proposed solution facilitates the elegant construction of self-stabilizing state-machine replication using bounded memory.
Total order broadcast
TO-URB
Self-stabilizing
asynchronous message-passing system
Author
Oskar Lundström
Student at Chalmers
Michel Raynal
Institut Universitaire de France
Elad Schiller
Network and Systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 13751 LNCS 358-3639783031210167 (ISBN)
Clermont-Ferrand, France,
Cyber Resilience for Vehicles - Cybersecurity for automotive systems in a changing environment (CyReV phase 2)
VINNOVA (2019-03071), 2019-01-10 -- 2022-03-31.
Areas of Advance
Information and Communication Technology
Subject Categories
Computer and Information Science
Telecommunications
Electrical Engineering, Electronic Engineering, Information Engineering
Embedded Systems
Computer Science
DOI
10.1007/978-3-031-21017-4_27