Consistent Composition of Data Plane Programs
Abstract
Programmable Data Planes (PDP) enable more flexibility in the operation of networks. To fully reap the benefits of programmability, it should be feasible to compose and operate multiple PDP functions into a single target switch as needed. However, existing techniques are not suitable because they lack abstractions for steering packets through the control flows. As such, they do not support the modular composition of PDP programs. This work summarizes the thesis called "Consistent Code Composition and Modular Data Plane Programming" that proposes PRIME, a composition mechanism of in-network functions that also addresses the fundamental needs of packet steering between PDP program modules. We present a design of PRIME, along with use cases. The results show that it is possible to achieve module-wide compositions at little additional cost in throughput.
References
Castanheira, L., Parizotto, R., and Schaeffer-Filho, A. (2019). Flowstalker: Comprehensive traffic ow monitoring on the data plane using p4. In 2019 IEEE International Conference on Communications (ICC), pages 1–6. IEEE.
Dang, H. T., Bressana, P., Wang, H., Lee, K. S., Zilberman, N., Weatherspoon, H., Canini, M., Pedone, F., and Soulé, R. (2020). P4xos: Consensus as a network service. IEEE/ACM Transactions on Networking, 28(4):1726–1738.
Dang, H. T., Wang, H., Jepsen, T., Brebner, G., Kim, C., Rexford, J., Soulé, R., and Weatherspoon, H. (2017). Whippersnapper: A p4 language benchmark suite. In Proceedings of the Symposium on SDN Research, SOSR ’17, pages 95–101, New York, NY, USA. ACM.
Han, J. H., Mundkur, P., Rotsos, C., Antichi, G., Dave, N., Moore, A. W., and Neumann, P. G. (2015). Blueswitch: Enabling provably consistent conguration of network switches. In 2015 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), pages 17–27. IEEE.
Hancock, D. and van der Merwe, J. (2016). Hyper4: Using p4 to virtualize the proIn Proceedings of the 12th International on Conference on grammable data plane. Emerging Networking EXperiments and Technologies, CoNEXT ’16, pages 35–49, New York, NY, USA. ACM.
Kim, C., Sivaraman, A., Katta, N., Bas, A., Dixit, A., and Wobker, L. J. (2015). In-band network telemetry via programmable dataplanes. In ACM SIGCOMM.
Parizotto, R. (2020). Consistent code composition and modular data plane programming. Master’s thesis, Universidade Federal do Rio Grande do Sul.
Parizotto, R., Castanheira, L., Bonetti, F., Santos, A., and Schaeffer-Filho, A. (2020a). In NOMS 2020 2020 Prime: Programming in-network modular extensions. IEEE/IFIP Network Operations and Management Symposium, pages 1–9.
Parizotto, R., Castanheira, L., Bonetti, F., Santos, A., and Schaeffer-Filho, A. (2021). Consistent composition and modular data plane programming. IEEE Communications Magazine. (To appear).
Parizotto, R., Castanheira, L., Ribeiro, R. H., Zembruzki, L., Jacobs, A. S., Granville, L. Z., and Schaeffer-Filho, A. (2020b). Shadowfs: Speeding-up data plane monitoring and telemetry using p4. In ICC 2020 2020 IEEE International Conference on Communications (ICC), pages 1–6.
Parizotto, R., Castanheira, L. B., and Schaeffer-Filho, A. E. (2019). Abordagem de composição de programas p4 em redes programáveis. In Anais do XXXVII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, pages 1028–1041. SBC.
Reitblatt, M., Foster, N., Rexford, J., Schlesinger, C., and Walker, D. (2012). Abstractions for network update. In Proceedings of the ACM SIGCOMM 2012 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, SIGCOMM ’12, pages 323–334, New York, NY, USA. ACM.
Ribeiro, R. H., Jacobs, A. S., Parizotto, R., Zembruzki, L., Schaeffer-Filho, A. E., and Granville, L. Z. (2020). A bottom-up approach for extracting network intents. In International Conference on Advanced Information Networking and Applications, pages 858–870. Springer.
Wu, D., Chen, A., Ng, T. S. E., Wang, G., and Wang, H. (2019). Accelerated service chaining on a single switch asic. In Proceedings of the 18th ACM Workshop on Hot Topics in Networks, HotNets ’19, pages 141–149, New York, NY, USA. ACM.
Zhang, C., Bi, J., Zhou, Y., Dogar, A. B., and Wu, J. (2017). Mpvisor: A modular programmable data plane hypervisor. In Proceedings of the Symposium on SDN Research, SOSR ’17, pages 179–180, New York, NY, USA. ACM.
Zheng, P., Benson, T., and Hu, C. (2018). P4visor: Lightweight virtualization and composition primitives for building and testing modular programs. In Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies, CoNEXT ’18, pages 98–111, New York, NY, USA. ACM.
