Title | ||
---|---|---|
Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs |
Abstract | ||
---|---|---|
Programmable data plane has been moving towards deployments in data centers as mainstream vendors of switching ASICs enable programmability in their newly launched products, such as Broadcom's Trident-4, Intel/Barefoot's Tofino, and Cisco's Silicon One. However, current data plane programs are written in low-level, chip-specific languages (e.g., P4 and NPL) and thus tightly coupled to the chip-specific architecture. As a result, it is arduous and error-prone to develop, maintain, and composite data plane programs in production networks. This paper presents Lyra, the first cross-platform, high-level language & compiler system that aids the programmers in programming data planes efficiently. Lyra offers a one-big-pipeline abstraction that allows programmers to use simple statements to express their intent, without laboriously taking care of the details in hardware; Lyra also proposes a set of synthesis and optimization techniques to automatically compile this "big-pipeline" program into multiple pieces of runnable chip-specific code that can be launched directly on the individual programmable switches of the target network. We built and evaluated Lyra. Lyra not only generates runnable real-world programs (in both P4 and NPL), but also uses up to 87.5% fewer hardware resources and up to 78% fewer lines of code than human-written programs.
|
Year | DOI | Venue |
---|---|---|
2020 | 10.1145/3387514.3405879 | 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 | 4 |
PageRank | References | Authors |
0.39 | 22 | 10 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jiaqi Gao | 1 | 18 | 3.75 |
Ennan Zhai | 2 | 100 | 19.42 |
Hongqiang Liu | 3 | 497 | 25.77 |
Rui Miao | 4 | 518 | 23.14 |
Yu Zhou | 5 | 9 | 2.95 |
Bingchuan Tian | 6 | 12 | 4.22 |
Chen Sun | 7 | 99 | 15.90 |
Dennis Cai | 8 | 9 | 0.85 |
Ming Zhang | 9 | 3509 | 181.37 |
Minlan Yu | 10 | 1855 | 107.25 |