CNS Core: Small: Efficient Interoperability Testing of Heterogeneous Network Protocol Implementations

CNS 核心：小型：异构网络协议实现的高效互操作性测试

• 批准号: 2135539
• 负责人: Lisong Xu
• 金额: $ 50万
• 依托单位: University of Nebraska-Lincoln
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-10-01 至 2024-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2135539&HistoricalAwards=false
• 关键词: CNS; Core; Small; Efficient; Interoperability

There has been an increasing interest in using hardware to implement network protocols, such as in ultra-high-speed networks (e.g., 40Gbps, 100Gbps) for scientific data movement. This is mainly because the processor overhead caused by the current software network protocol implementations increases considerably as the network speeds increase. However, there are usually big differences between software and hardware implementations for the same network protocol due to the unique hardware design constraints. Therefore, it is critical to test the interoperability between heterogeneous network protocol implementations to make sure that they can correctly interact with each other.This project proposes a new class of testing methods to efficiently and systematically check the interoperability of emerging heterogeneous network protocol implementations under two types of packet parameters: packet dynamic parameters (e.g., packet delay and loss), and packet semantics parameters (e.g., formats and meanings of packet fields), as different network protocol implementations communicate and interact with one another using packets. There are three research thrusts. The first research thrust focuses on interoperability testing with the packet dynamic parameters, the second focuses on the packet semantics parameters, and the third focuses on the mixed parameters.This project will improve not only the performance but also the stability of networks, especially ultra-high-speed networks where hardware implementations play critical roles. This project will benefit a large group of ultra-high-speed network users, such as scientific users who often need to move a huge amount of data over ultra-high-speed networks. In addition, the research problems identified in this project are related to three communities: networking, hardware, and software engineering; this may stimulate more possible collaborations among these three communities.The project documents, source code, and related data will be available on website https://hinterop.github.io, which will be maintained for at least three years after the end of the project.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.

人们对使用硬件来实现网络协议越来越感兴趣，例如用于科学数据移动的超高速网络（例如 40Gbps、100Gbps）。这主要是因为当前软件网络协议实现引起的处理器开销随着网络速度的增加而显着增加。然而，由于独特的硬件设计限制，同一网络协议的软件和硬件实现通常存在很大差异。因此，测试异构网络协议实现之间的互操作性以确保它们能够正确地相互交互至关重要。该项目提出了一类新的测试方法，以高效、系统地检查两种异构网络协议实现之间的互操作性。数据包参数的类型：数据包动态参数（例如数据包延迟和丢失）和数据包语义参数（例如数据包字段的格式和含义），因为不同的网络协议实现使用数据包相互通信和交互。共有三个研究重点。第一个研究重点是数据包动态参数的互操作性测试，第二个研究重点是数据包语义参数，第三个重点是混合参数。该项目不仅会提高网络的性能，而且会提高网络的稳定性，特别是超高速网络。硬件实现发挥关键作用的高速网络。该项目将使一大批超高速网络用户受益，例如经常需要通过超高速网络传输大量数据的科学用户。 此外，该项目中确定的研究问题涉及三个社区：网络、硬件和软件工程；这可能会激发这三个社区之间更多可能的合作。项目文档、源代码和相关数据将在网站 https://hinterop.github.io 上提供，该网站将在项目结束后至少维护三年该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Efficient Verification of Timing-Related Network Functions in High-Speed Hardware

高速硬件中时序相关网络功能的高效验证

• DOI: 10.1109/infocom53939.2023.10228994
• 发表时间: 2023-05
• 期刊: IEEE
• 作者: Fang, Tianqi;Xu, Lisong;Srisa
• 通讯作者: Srisa

Evaluation of the ProgHW/SW Architectural Design Space of Bandwidth Estimation

带宽估计的ProgHW/SW架构设计空间评估

• 发表时间: 2023-03
• 期刊: Proceedings of Passive and Active Measurement
• 作者: Fang, Tianqi;Xu, Lisong;Srisa;Patel, Jay
• 通讯作者: Patel, Jay