Paper Info
Title
You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings.
Abstract
Distributed agreement-based algorithms are often specified in a crash-stop asynchronous model augmented by Chandra and Touegu0027s unreliable failure detectors. such models, correct nodes stay up forever, incorrect nodes eventually crash and remain down forever, and failure detectors behave correctly forever eventually, However, in reality, nodes as well as communication links both crash and recover without deterministic guarantees to remain in some state forever. In this paper, we capture this realistic temporary and probabilitic behaviour in a simple new system model. Moreover, we identify a large algorithm class for which we devis a property-preserving transformation. Using this transformation, many algorithms written for the asynchronous crash-stop model run correctly and unchanged in real systems.
Year
DOI
Venue
2018
10.4230/LIPIcs.OPODIS.2018.19
OPODIS
DocType
Volume
Citations 
Conference
abs/1811.05007
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
David Kozhaya131.07
Ognjen Maric2111.92
Yvonne Anne Pignolet311821.26