CNS Core: Small: Autogenerating fast packet-processing code using program synthesis

CNS 核心：小型：使用程序合成自动生成快速数据包处理代码

• 批准号: 2008048
• 负责人: Anirudh Sivaraman Kaushalram
• 金额: $ 50万
• 依托单位: New York University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-10-01 至 2023-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2008048&HistoricalAwards=false
• 关键词: CNS; Core; Small; Autogenerating; fast

Computer networks are a foundational part of today’s digital society. A critical component of these networks is the infrastructure of base stations, access points, and routers that glues computers together, and moves network traffic (broken up into ‘packets’) from place to place. Over time, in addition to packet forwarding, the network infrastructure has taken on many additional requirements to make it more efficient and robust, such as attack detection and prevention, access control, load balancing, packet scheduling, and measurement. To implement these requirements, new network devices have emerged that are ‘programmable’. This proposal proposes to develop novel compiler technology to enable fast, efficient network programmability.Programmable network devices (e.g., switches, SmartNICs, and FPGAs) are now rapidly becoming mainstream. While it is easy to get started with programming these devices, it is still hard to write fast packet-processing code that fits within the resource constraints of each device. Writing such fast packet-processing code today largely falls to experts with deep knowledge of the underlying hardware. While compilers should alleviate the burden of generating high-performance code, the compilers for these devices are still preliminary, and developing good compilers takes significant engineering effort and time. In response, the proposal proposes the use of program synthesis technology to build compilers that generate high-quality machine code for packet processing. This proposal has three key thrusts: (i) Code generation for programmable networks-developing code generators that generate high-quality machine code from a higher-level language (e.g., P4 or C) for a variety of different packet-processing substrates like programmable switches, FPGAs, and x86 processors. (ii) Speeding up program synthesis for code generation: Specializing program synthesis algorithms to the use case of code generation and speeding up synthesis algorithms in the process, so that code generation using program synthesis isn’t significantly slower than code generation using rule-based compiler techniques. (iii) Pushing the boundaries of synthesis-based code generation: Exploring relaxed notions of equivalence between higher-level programs and generated machine code so that higher-performance machine code can be generated at the cost of some loss of accuracy relative to the original program.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

计算机网络是当今数字社会的基础部分。这些网络的一个关键组成部分是基站、接入点和路由器的基础设施，它们将计算机粘合在一起，并将网络流量（分解成“数据包”）从一个地方移动到另一个地方。 随着时间的推移，除了数据包转发之外，网络基础设施还提出了许多额外的要求，以使其更加高效和健壮，例如攻击检测和预防、访问控制、负载平衡、数据包调度和测量。为了实现这些要求，出现了“可编程”的新网络设备。 该提案建议开发新颖的编译器技术，以实现快速、高效的网络可编程性。可编程网络设备（例如交换机、SmartNIC 和 FPGA）现已迅速成为主流。虽然开始对这些设备进行编程很容易，但编写适合每个设备的资源限制的快速数据包处理代码仍然很困难。如今，编写如此快速的数据包处理代码很大程度上取决于对底层硬件有深入了解的专家。虽然编译器应该减轻生成高性能代码的负担，但这些设备的编译器仍处于初级阶段，开发良好的编译器需要大量的工程工作和时间。作为回应，该提案建议使用程序综合技术来构建编译器，为数据包处理生成高质量的机器代码。该提案具有三个关键要点：（i）可编程网络的代码生成——开发代码生成器，从高级语言（例如 P4 或 C）生成高质量的机器代码，用于各种不同的数据包处理基板，如可编程交换机、FPGA 和 x86 处理器。 (ii) 加速代码生成的程序合成：将程序合成算法专门用于代码生成的用例，并在此过程中加速合成算法，以便使用程序合成的代码生成不会比使用基于规则的编译器技术的代码生成慢很多。 (iii) 突破基于综合的代码生成的界限：探索高级程序和生成的机器代码之间的宽松等价概念，以便可以以相对于原始程序有一定准确性损失为代价生成更高性能的机器代码。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Synthesizing safe and efficient kernel extensions for packet processing

综合安全高效的内核扩展进行数据包处理

• DOI: 10.1145/3452296.3472929
• 发表时间: 2021
• 期刊: ACM SIGCOMM'21
• 作者: Xu, Qiongwen;Wong, Michael D.;Wagle, Tanvi;Narayana, Srinivas;Sivaraman, Anirudh
• 通讯作者: Sivaraman, Anirudh

NetVRM: Virtual Register Memory for Programmable Networks

• 发表时间: 2022
• 作者: Hang Zhu;Tao Wang;Yi Hong;Dan R. K. Ports;Anirudh Sivaraman;Xin Jin

Snicket: Query-Driven Distributed Tracing

• DOI: 10.1145/3484266.3487393
• 发表时间: 2021-11
• 期刊: Proceedings of the 20th ACM Workshop on Hot Topics in Networks
• 作者: Jessica Berg;Fabian Ruffy;Khanh Nguyen;Nicholas Yang;Taegyun Kim;Anirudh Sivaraman;R. Netravali

Isolation Mechanisms for High-Speed Packet-Processing Pipelines

• 发表时间: 2021-01
• 作者: Tao Wang;Xiangrui Yang;Gianni Antichi;Anirudh Sivaraman;Aurojit Panda

CaT: A Solver-Aided Compiler for Packet-Processing Pipelines

• DOI: 10.1145/3582016.3582036
• 发表时间: 2023-03
• 期刊: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3
• 作者: Xiangyu Gao;Divya Raghunathan;Rui Fang;Tao Wang;Xiaotong Zhu;Anirudh Sivaraman;S. Narayana;Aarti Gupta