P4xos: Consensus as a Network Service
P4xos: Consensus as a Network Service
复制标题
P4xos：共识即网络服务
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
R. Soulé
中科院分区：
文献类型：
--
作者：
Huynh Tu Dang;Pietro Bressana;Han Wang;Ki;Noa Zilberman;Hakim Weatherspoon;Marco Canini;F. Pedone;R. Soulé
在本文中，我们将探讨新一代网络交换机提供的可编程转发平面如何自然地加速共识协议，特别是Paxos。共识协议的性能长期以来一直受到关注。通过在转发平面中实施Paxos，我们能够显著提高吞吐量并降低延迟。我们基于P4的实现在ASIC上独立运行，每秒可以处理超过25亿条共识消息，与广泛使用的软件实现相比，吞吐量提高了四个数量级。这有效地消除了共识作为数据中心中分布式应用程序的瓶颈。除了纯粹的性能之外，我们的方法还提供了其他几个重要的好处：它很容易进行正式验证;它不依赖于任何额外的网络硬件;作为一个完整的Paxos实现，它只对网络做出非常弱的假设。
In this paper, we explore how a programmable forwarding plane offered by a new breed of network switches might naturally accelerate consensus protocols, specifically focusing on Paxos. The performance of consensus protocols has long been a concern. By implementing Paxos in the forwarding plane, we are able to significantly increase throughput and reduce latency. Our P4-based implementation running on an ASIC in isolation can process over 2.5 billion consensus messages per second, a four orders of magnitude improvement in throughput over a widely-used software implementation. This effectively removes consensus as a bottleneck for distributed applications in data centers. Beyond sheer performance, our approach offers several other important benefits: it readily lends itself to formal verification; it does not rely on any additional network hardware; and as a full Paxos implementation, it makes only very weak assumptions about the network.