Title
Composing Dataplane Programs with μP4
Abstract
Dataplane languages like P4 enable flexible and efficient packet-processing using domain-specific primitives such as programmable parsers and match-action tables. Unfortunately, P4 programs tend to be monolithic and tightly coupled to the hardware architecture, which makes it hard to write programs in a portable and modular way---e.g., by composing reusable libraries of standard protocols. To address this challenge, we present the design and implementation of a novel framework (μP4) comprising a lightweight logical architecture that abstracts away from the structure of the underlying hardware pipelines and naturally supports powerful forms of program composition. Using examples, we show how enables modular programming. We present a prototype of the compiler that generates code for multiple lower-level architectures, including Barefoot's Tofino Native Architecture. We evaluate the overheads induced by our compiler on realistic examples.
Year
DOI
Venue
2020
10.1145/3387514.3405872
SIGCOMM '20: Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication Virtual Event USA August, 2020
DocType
ISBN
Citations 
Conference
978-1-4503-7955-7
1
PageRank 
References 
Authors
0.35
0
5
Name
Order
Citations
PageRank
Hardik Soni110.35
Myriana Rifai2223.47
Praveen Kumar3635.42
Ryan Doenges410.35
J. Nathan Foster52074110.56