The Next 700 BFT Protocols

The Next 700 BFT Protocols
复制标题

DOI:
10.1145/2658994
复制
发表时间:
2015-01-01
影响因子:
1.5
通讯作者:
Vukolic, Marko
Vukolic, Marko
中科院分区:
计算机科学2区
文献类型:
--
作者:
Aublin, Pierre-Louis;Guerraoui, Rachid;Vukolic, Marko

文献摘要

被引文献

相似文献

我们提出了抽象(ABOortable STate mACine replicaTion),一个新的抽象的设计和重新配置广义复制状态机,与传统的状态机,允许中止执行客户端的请求,如果“出了问题。“Abstract可用于大大简化高效拜占庭容错状态机复制(BFT)协议的增量开发,这些协议因难以开发而臭名昭著。简而言之,我们将BFT协议视为抽象实例的组合。每个实例都是独立开发和分析的,并针对特定的系统条件进行了优化。我们通过几个有趣的例子来说明Abstract的强大功能。我们首先展示Abstract如何以一种不那么痛苦和容易出错的方式产生最先进的BFT协议的好处。也就是说,我们开发了AZyzzyva,这是一种新的协议,它模仿了Zyzzyva的最佳行为,使用了不到35%的Zyzzyva代码。为了涵盖最坏的情况下,我们的抽象使一个使用AZyzzyva任何现有的BFT协议。然后,我们提出了Aliph,一个新的BFT协议,优于以前的BFT协议在延迟(高达360%)和吞吐量(高达30%)。最后,我们提出了R-Aliph,是强大的,也就是说,其性能下降优雅的拜占庭副本和拜占庭客户端存在的Aliph的实现。
We present Abstract (ABortable STate mAChine replicaTion), a new abstraction for designing and reconfiguring generalized replicated state machines that are, unlike traditional state machines, allowed to abort executing a client's request if "something goes wrong."Abstract can be used to considerably simplify the incremental development of efficient Byzantine faulttolerant state machine replication (BFT) protocols that are notorious for being difficult to develop. In short, we treat a BFT protocol as a composition of Abstract instances. Each instance is developed and analyzed independently and optimized for specific system conditions. We illustrate the power of Abstract through several interesting examples.We first show how Abstract can yield benefits of a state-of-the-art BFT protocol in a less painful and errorprone manner. Namely, we develop AZyzzyva, a new protocol that mimics the celebrated best-case behavior of Zyzzyva using less than 35% of the Zyzzyva code. To cover worst-case situations, our abstraction enables one to use in AZyzzyva any existing BFT protocol.We then present Aliph, a new BFT protocol that outperforms previous BFT protocols in terms of both latency (by up to 360%) and throughput (by up to 30%). Finally, we present R-Aliph, an implementation of Aliph that is robust, that is, whose performance degrades gracefully in the presence of Byzantine replicas and Byzantine clients.