XXXII Simpósio Brasileiro de
Redes de Computadores e Sistemas Distribuídos

Florianópolis, 5 a 9 de Maio de 2014
Minicurso 4: A Guided Tour on the Theory and Practice of State Machine Replication.

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

Horário: 9 de Maio de 2014 (sexta-feira), das 8:30 às 12:00


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.