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）进行科学数据移动方面，人们对实施网络协议产生了越来越多的兴趣。这主要是因为当前软件网络协议实现引起的处理器间接费用随着网络速度的增加而大大增加。但是，由于唯一的硬件设计约束，对于同一网络协议，软件和硬件实现之间通常存在很大差异。 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.,数据包字段的格式和含义），随着不同的网络协议实现使用数据包进行通信和互动。有三个研究推力。第一个研究的推力重点是与数据包动态参数，第二个重点关注数据包语义参数，第三个重点关注混合参数。此项目不仅会提高性能，而且还会提高网络的稳定性，尤其是超高速网络的稳定性，尤其是硬件实现了重要的角色。该项目将使大量的超高速度网络用户受益，例如通常需要将大量数据移动到超高速度网络上的科学用户。 此外，该项目中发现的研究问题与三个社区有关：网络，硬件和软件工程； 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.

项目成果

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

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

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

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

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

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