“A Guided Tour on the Theory and Practice of State Machine Replication”
in Tutorial in the 32th Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), Florianópolis, Brazil, May 2014.
Abstract: This short course presents the fundamentals and applications of the State Machine Replication (SMR) technique for implementing consistent fault-tolerant services. Our focus here is threefold. First we present some fundamentals about distributed computing and three “practical” SMR protocols for different fault models. Second, we discuss some recent work aiming to improve the performance, modularity and robustness of SMR protocols. Finally, we present some prominent applications for SMR and an example of the real code needed for implementing a dependable service using the BFT-SMART replication library.
Research line(s): Fault and Intrusion Tolerance in Open Distributed Systems (FIT)