Modular Switch Programming Under Resource Constraints

This course teaches learners how to program modular switches under resource constraints using P4All, an extension of P4. The course aims to enable programmers to define elastic data structures that automatically optimize switch resources. Students will learn about symbolic primitives, objective functions, and top-level optimization functions to share resources efficiently. The teaching method involves building reusable elastic data structures like hash tables and key-value stores and implementing the P4All compiler using various techniques. The intended audience for this course includes network engineers, programmers, and individuals interested in programmable networks and switch programming.