Modular Switch Programming Under Resource Constraints

on YouTube ↗14m

" summary

P4All extends P4 with elastic data structures (symbolic sizes + objective functions) and compile-time loops and uses dependency analysis plus an ILP-based compiler to pick concrete sizes and stage placements. The system builds reusable hash tables, Bloom filters, sketches and a key-value cache that fit real switch pipelines. Compilation runs range from under 1s to ~30s for most apps (one app 8 minutes); an elastic count-min sketch compiles in 1.8s on a Tofino-like target and 3.5 minutes when stages double.

AI-written summary · about

" chapters (21)

1. 0:00Intro
2. 0:21Traditional switches hinder innovation
3. 0:33Protocol Independent Switch Architecture
4. 0:55Programming Protocol Independent Packet Processors
5. 1:18P4 code should be reusable
6. 1:30P4 code is not reusable
7. 2:17Circular Development
8. 2:35P4All mitigates circularity
9. 3:21Protocol-Independent Switch Architecture
10. 5:00Count-Min Sketch
11. 5:47Data Plane Caching
12. 6:45Tracking Key Popularity
13. 7:32Resources vs Accuracy
14. 8:17Elastic Structures
15. 9:08Elastic Operations
16. 9:47Objective Functions
17. 10:59P4All Compiler
18. 11:27ILP Constraints
19. 11:39ILP Objective
20. 12:19ILP Overhead
21. 13:24Conclusion

" related talks

• 15mSynthesizing Runtime Programmable Switch UpdatesRyan Beckett, Ang Chen, Yiming Qiu · NSDI 2023
• 01h 08mThe Network is the Computer: A Programming Language PerspectiveNate Foster · POPL 2024
• 17mSketchovsky: Enabling Ensembles of Sketches on Programmable SwitchesZaoxing Liu, Hun Namkung, Daehyeok Kim, Vyas Sekar, Peter Steenkiste · NSDI 2023
• 19mExoPlane: An Operating System for On-Rack Switch Resource AugmentationSrinivasan Seshan, Daehyeok Kim, Vyas Sekar · NSDI 2023
• 16mSirius: Composing Network Function Chains into P4-Capable Edge GatewaysDennis Cai, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Jiamin Cao, Yifan Li, Ming Tang · 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24)
• 12mFlightplan: Dataplane Disaggregation and Placement for P4 ProgramsBoon Thau Loo, Isaac Pedisich, John Sonchack, Nik Sultana, Hans Giesen, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, André DeHon · NSDI ’21
• 14mMultitenancy for Fast and Programmable Networks in the CloudXin Jin, Aurojit Panda, Hang Zhu, Tao Wang, Dan R. K. Ports, Anirudh Sivaraman, Fabian Ruffy · HotCloud '20
• 16mSequence Abstractions for Flexible, Line-Rate Network MonitoringDavid Walker, Ryan Beckett, Ratul Mahajan, Xiaoqi Chen, Andrew Johnson · 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24)