 |
    |
Proactive Byzantine Quorum Systems
Eduardo A.P. Alchieri1, Alysson Neves Bessani2, Fernando Carlos Pereira1, and Joni da Silva Fraga1
1DAS, Federal University of Santa Catarina Florianópolis Brasil
2University of Lisbon, Faculty of Sciences, LaSIGE Lisbon Portugal
Abstract. Byzantine Quorum Systems is a replication technique used to ensure availability and consistency of replicates data even in presence of arbitrary faults. This paper presents a Byzantine Quorum Systems protocol that provides atomic semantics despite the existence of Byzantine clients and servers. Moreover, this protocol is integrated with a protocol for proactive recovery of servers. In that way, the system tolerates any number of failures during its lifetime, since no more than f out of n servers fail during a small interval of time between recoveries. All solutions proposed in this paper can be used on asynchronous systems, which requires no time assumptions. The proposed quorum system read and write protocols have been implemented and their efficiency is demonstrated through some experiments carried out in the Emulab platform.
LNCS 5870, p. 708 ff.
lncs@springer.com
© Springer-Verlag Berlin Heidelberg 2009