000144158 001__ 144158
000144158 005__ 20190812205354.0
000144158 02470 $$2ISI$$a000279535100027
000144158 037__ $$aCONF
000144158 245__ $$aThe Next 700 BFT Protocols
000144158 260__ $$c2010
000144158 269__ $$a2010
000144158 336__ $$aConference Papers
000144158 500__ $$aBest Paper Award
000144158 520__ $$aModern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20,000 lines of challenging C++ code encompassing synchronization, networking and cryptography. They are notoriously difficult to develop, test and prove. We present a new abstraction to simplify these tasks. We treat a BFT protocol as a composition of instances of our abstraction. Each instance is developed and analyzed independently. To illustrate our approach, we first show how our abstraction can be used to obtain the benefits of a state-of-the-art BFT protocol with much less pain. Namely, we develop AZyzzyva, a new protocol that mimics the behavior of Zyzzyva in best-case situations (for which Zyzzyva was optimized) using less than 24% of the actual code of Zyzzyva. To cover worst-case situations, our abstraction enables to use in AZyzzyva any existing BFT protocol, typically, a classical one like PBFT which has been tested and proved correct. We then present Aliph, a new BFT protocol that outperforms previous BFT protocols both in terms of latency (by up to 30%) and throughput (by up to 360%). The development of Aliph required two new instances of our abstraction. Each instance contains less than 25% of the code needed to develop state-of-the- art BFT protocols.
000144158 6531_ $$aByzantine failures
000144158 6531_ $$aperformance
000144158 6531_ $$amodularity
000144158 6531_ $$aAbstract
000144158 700__ $$0240335$$g105326$$aGuerraoui, Rachid
000144158 700__ $$0242989$$g173379$$aKnezevic, Nikola
000144158 700__ $$aQuema, Vivien
000144158 700__ $$aVukolic, Marko
000144158 7112_ $$dApril 13-16, 2010$$cParis, France$$a5th ACM EuroSys Conference
000144158 773__ $$tProceedings of the 5th ACM European conference on Computer systems
000144158 8564_ $$zURL$$uhttp://eurosys2010.sigops-france.fr/
000144158 8564_ $$zn/a$$yn/a$$uhttps://infoscience.epfl.ch/record/144158/files/eurosys094-guerraoui.pdf$$s338212
000144158 909C0 $$xU10407$$pDCL$$0252114
000144158 909CO $$ooai:infoscience.tind.io:144158$$qGLOBAL_SET$$pconf$$pIC
000144158 917Z8 $$x173379
000144158 937__ $$aLPD-CONF-2010-004
000144158 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000144158 980__ $$aCONF