sptdc SPTDC 2020 (06.07.2020 — 09.07.2020)

From crash to Byzantine fault tolerance, and beyond

img

In this lecture, Rodrigo will present the two main system and fault

models that have been used for the last four decades.

<p>In this lecture, Rodrigo will present the two main system and fault

models that have been used for the last four decades: the crash fault

model, which captures the effects of faults that cause a process or a

machine to crash, and the Byzantine fault model, which captures

arbitrary failure modes. He will discuss how to design storage

protocols under these two models. The lecture will conclude with a

discussion on why we might need to revisit these two models in the

future.</p> <p>References</p> <p>Hagit Attiya, Amotz Bar-Noy, and Danny Dolev. 1995. <a href="https://dl.acm.org/doi/10.1145/200836.200869">Sharing memory

robustly in message-passing systems.</a> J. ACM 42, 1 (Jan. 1995),

124–142.</p> <p>Dahlia Malkhi and Michael Reiter. 1998. <a href="https://dahliamalkhi.files.wordpress.com/2015/12/byzquorums-distcomputing1998.pdf">Byzantine quorum systems.</a> Distrib. Comput. 11, 4 (October 1998), 203–213.</p>