BIBLIOS

Document type
Conference papers

Document subtype
Full paper

Title
Making Reads in BFT State Machine Replication Fast, Linearizable, and Live

Participants in the publication
Christian Berger (Author)
Hans P. Reiser (Author)
Alysson Bessani (Author)
Dep. Informática
LASIGE

Summary
Practical Byzantine Fault Tolerance (PBFT) is a seminal state machine replication protocol that achieves a performance comparable to non-replicated systems in realistic environments. A reason for such high performance is the set of optimizations introduced in the protocol. One of these optimizations is read-only requests, a particular type of client request which avoids running the three-step agreement protocol and allows replicas to respond directly, thus reducing the latency of reads from five to two communication steps. Given PBFT's broad influence, its design and optimizations influenced many BFT protocols and systems that followed, e.g., BFT-SMaRt. We show, for the first time, that the read-only request optimization introduced in PBFT more than 20 years ago can violate its liveness. Notably, the problem affects not only the optimized read-only operations but also standard, totally-ordered operations. We show this weakness by presenting an attack in which a malicious leader blocks correct clients and present two solutions for patching the protocol, making read-only operations fast and correct. The two solutions were implemented on BFT-SMaRt and evaluated in different scenarios, showing their effectiveness in preventing the identified attack.


Event
40th International Symposium on Reliable Distributed Systems (SRDS 2021)

Publication Identifiers

Address
Chicago, IL, USA

Publisher
IEEE

Document Identifiers
DOI - https://doi.org/10.1109/srds53918.2021.00010
URL - http://dx.doi.org/10.1109/srds53918.2021.00010

Awards
Prof. C.V. Ramamoorthy Best Paper Award

Rankings
CORE B (2021) -
CORE A (2020) -