CNS Core: Small: Efficient Interoperability Testing of Heterogeneous Network Protocol Implementations
CNS Core: Small: Efficient Interoperability Testing of Heterogeneous Network Protocol Implementations
批准号:
2135539
负责人:
Lisong Xu
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2021
资助国家:
美国
项目状态:
已结题
起止时间:
2021-10-01 至 2024-09-30
中文摘要
人们对使用硬件来实现网络协议越来越感兴趣,例如在用于科学数据移动的超高速网络(例如,40Gbps、100Gbps)中。这主要是因为当前软件网络协议实现引起的处理器开销随着网络速度的增加而显著增加。然而,由于独特的硬件设计限制,同一网络协议的软件和硬件实现通常会有很大的差异。因此,测试不同网络协议实现之间的互操作性,以确保它们能够正确地交互是至关重要的。本项目提出了一类新的测试方法,以有效和系统地检验在两种类型的分组参数下的互操作性:分组动态参数(例如分组延迟和丢失率)和分组语义参数(例如分组字段的格式和含义),因为不同的网络协议实现之间使用分组进行通信和交互。有三个研究推动力。第一个研究重点是使用报文动态参数进行互操作性测试,第二个研究重点是报文语义参数,第三个研究重点是混合参数,该项目将不仅提高网络的性能,还将提高网络的稳定性,特别是在硬件实现起关键作用的超高速网络中。该项目将惠及一大批超高速网络用户,例如经常需要在超高速网络上传输海量数据的科学用户。此外,这个项目中发现的研究问题与三个社区有关:网络、硬件和软件工程;这可能会刺激这三个社区之间更多可能的合作。项目文件、源代码和相关数据将在https://hinterop.github.io,网站上提供,该网站将在项目结束后至少保留三年。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
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.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
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架构设计空间评估
DOI:
--
发表时间:
2023
期刊:
Proceedings of Passive and Active Measurement
影响因子:
--
作者:
[Fang, Tianqi, Xu, Lisong, Srisa-an, Witawas, Patel, Jay]
通讯作者:
Patel, Jay
FMitF: Track I: Flow Modeling Meets Software Verification: Redesign Internet Congestion Control for Performance and Verifiability
-
批准号:2124116
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2021
-
负责人:Lisong Xu
-
依托单位:
FMitF: Track II: Symbolic Network Simulator
-
批准号:1918204
-
项目类别:Standard Grant
-
资助金额:$9.99万
-
财政年份:2019
-
负责人:Lisong Xu
-
依托单位:
NeTS: Small: Exploring the Design Space of Bandwidth Estimation Methods Using Packet Sequence Information
-
批准号:1616087
-
项目类别:Standard Grant
-
资助金额:$49.89万
-
财政年份:2016
-
负责人:Lisong Xu
-
依托单位:
NeTS: Small: Systematically and Scalably Testing Network Programs through Symbolic Exploration of Packet Dynamics
-
批准号:1526253
-
项目类别:Standard Grant
-
资助金额:$49.98万
-
财政年份:2015
-
负责人:Lisong Xu
-
依托单位:
NeTS: Small: Internet Congestion Control Census
-
批准号:1017561
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2010
-
负责人:Lisong Xu
-
依托单位:
CAREER: Stochastic TCP Friendliness: Exploring the Design Space of TCP-Friendly Traffic Control in the Best-Effort Internet
-
批准号:0644080
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2007
-
负责人:Lisong Xu
-
依托单位:
国内基金
海外基金
登录
查看更多内容
胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
-
批准号:82371765
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:谭广云
-
依托单位:
锕系元素5f-in-core的GTH赝势和基组的开发
-
批准号:22303037
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:鲁俊波
-
依托单位:
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
-
批准号:--
-
项目类别:--
-
资助金额:52万元
-
批准年份:2022
-
负责人:孙丙军
-
依托单位:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:叶成林
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:--
-
项目类别:--
-
资助金额:55万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:82072415
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
-
批准号:92053110
-
项目类别:重大研究计划
-
资助金额:70.0万元
-
批准年份:2020
-
负责人:彭鹏
-
依托单位:
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
-
批准号:81902805
-
项目类别:青年科学基金项目
-
资助金额:20.5万元
-
批准年份:2019
-
负责人:刘菲
-
依托单位:
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
-
批准号:41973063
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2019
-
负责人:周游
-
依托单位:
CORDEX-CORE区域气候模拟与预估研讨会
-
批准号:41981240365
-
项目类别:国际(地区)合作与交流项目
-
资助金额:1.5万元
-
批准年份:2019
-
负责人:陈威霖
-
依托单位: