32nd Brazilian Symposium on
Computer Networks and Distributed Systems

Florianopolis - Brazil, May 5-9, 2014
Short Course 4: A Guided Tour on the Theory and Practice of State Machine Replication.

Authors: Alysson Bessani (Universidade de Lisboa), Eduardo Alchieri (UnB)

Date and Time: May 9, 2014 (Friday), 8:30am to 12:00pm


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.