课题基金 / 基金详情

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

CNS Core: Small: Efficient Interoperability Testing of Heterogeneous Network Protocol Implementations
CNS 核心:小型:异构网络协议实现的高效互操作性测试
批准号:
2135539
负责人:
Lisong Xu
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2021
资助国家:
美国
项目状态:
已结题
起止时间:
2021-10-01 至 2024-09-30

项目摘要

项目成果

Lisong Xu的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
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
  • 依托单位:
国内基金
海外基金
胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
  • 批准号:
    82371765
  • 项目类别:
    面上项目
  • 资助金额:
    50万元
  • 批准年份:
    2023
  • 负责人:
    谭广云
  • 依托单位:
锕系元素5f-in-core的GTH赝势和基组的开发
  • 批准号:
    22303037
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    30万元
  • 批准年份:
    2023
  • 负责人:
    鲁俊波
  • 依托单位:
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
  • 批准号:
    --
  • 项目类别:
    --
  • 资助金额:
    52万元
  • 批准年份:
    2022
  • 负责人:
    孙丙军
  • 依托单位:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
  • 批准号:
    --
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    30万元
  • 批准年份:
    2022
  • 负责人:
    叶成林
  • 依托单位: