Affiliation:
1. Università della Svizzera italiana, Lugano, Switzerland
2. Université catholique de Louvain, Louvain-la-Neuve, Belgium
Abstract
The Paxos protocol is the foundation for building many fault-tolerant distributed systems and services. This paper posits that there are significant performance benefits to be gained by implementing Paxos logic in network devices. Until recently, the notion of a switch-based implementation of Paxos would be a daydream. However, new flexible hardware is on the horizon that will provide customizable packet processing pipelines needed to implement Paxos. While this new hardware is still not readily available, several vendors and consortia have made the programming languages that target these devices public. This paper describes an implementation of Paxos in one of those languages, P4. Implementing Paxos provides a critical use case for P4, and will help drive the requirements for data plane languages in general. In the long term, we imagine that consensus could someday be offered as a network service, just as point-to-point communication is provided today.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications,Software
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Scaver: A Scalable Verification System for Programmable Network;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04
2. P4ce: Consensus over RDMA at Line Speed;2024 IEEE 44th International Conference on Distributed Computing Systems (ICDCS);2024-07-23
3. In-Network Management of Parallel Data Streams over Programmable Data Planes;2024 IFIP Networking Conference (IFIP Networking);2024-06-03
4. An open-source P416 compiler backend for reconfigurable match-action table switches: Making networking innovation accessible;Computer Networks;2024-04
5. Towards a Novel Model for Availability as a Service;12th Latin-American Symposium on Dependable and Secure Computing;2023-10-16