CAREER: Bug Tolerant Networking: Enabling Highly-Available Network Infrastructures through Semantic Transformations.

职业：容错网络：通过语义转换实现高可用性的网络基础设施。

• 批准号: 1749785
• 负责人: Theophilus Benson
• 金额: $ 50万
• 依托单位: Brown University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-10-01 至 2023-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1749785&HistoricalAwards=false
• 关键词: CAREER; Bug; Tolerant; Networking; Enabling

Software-defined networking (SDN) is a key enabling technology facilitating the transition to a next generation of software defined infrastructure incorporating virtualized network functions, 5th generation cellular networks and advanced wireless communication technologies, and edge computing. Despite SDN's crucial role ahead, the networking research community still needs key techniques and tools to maintain highly available and resilient networks; SDNs are prone to software design and implementation errors that can have catastrophic consequences, e.g., network failures.This project addresses these needs by introducing a novel paradigm that advocates overcoming software `bugs-by transforming the bug triggering inputs into 'safe' inputs. To support this paradigm, the project will develop designs, abstractions and algorithms to identify, isolate, and transform the triggering inputs into safe inputs in a systematic and principled manner.This project will examine several research thrusts to enable practical bug-tolerant networks including to (1) introduce frameworks and designs that guarantee bug recovery and forward progress by transforming bug-triggering inputs into different, but equivalent inputs; (2) design an abstraction and cross-layer network transactions that provide atomicity and consistency during and afterrecovery from triggered events; (3) develop algorithms that maximize the efficiency of the proposed frameworks by statically analyzing control and data plane source code, and modeling protocol interactions; and (4) generalize techniques beyond current SDN paradigms (e.g., OpenFlow) to emergingand future paradigms with stateful data planes and expressive interfaces (e.g., P4).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.

软件定义网络 (SDN) 是一项关键的支持技术，有助于向下一代软件定义基础设施过渡，该基础设施融合了虚拟化网络功能、第五代蜂窝网络和先进的无线通信技术以及边缘计算。尽管 SDN 未来将发挥至关重要的作用，但网络研究界仍然需要关键技术和工具来维护高度可用和弹性的网络； SDN 很容易出现软件设计和实现错误，从而可能产生灾难性后果，例如网络故障。该项目通过引入一种新颖的范例来满足这些需求，该范例主张通过将错误触发输入转换为“安全”输入来克服软件“错误”。为了支持这一范式，该项目将开发设计、抽象和算法，以系统性和原则性的方式识别、隔离触发输入并将其转换为安全输入。该项目将研究几个研究重点，以实现实用的容错网络，包括(1) 引入框架和设计，通过将错误触发输入转换为不同但等效的输入来保证错误恢复和前进； (2) 设计一个抽象和跨层网络事务，在触发事件恢复期间和之后提供原子性和一致性； (3) 通过静态分析控制和数据平面源代码以及对协议交互进行建模，开发能够最大限度提高所提出框架效率的算法； (4) 将当前 SDN 范式（例如 OpenFlow）之外的技术推广到具有状态数据平面和表达接口（例如 P4）的新兴和未来范式。该奖项反映了 NSF 的法定使命，并通过使用基金会的评估进行评估，认为值得支持。智力价值和更广泛的影响审查标准。

项目成果

Composing SDN Controller Enhancements with Mozart

使用 Mozart 编写 SDN 控制器增强功能

• DOI: 10.1145/3357223.3362712
• 发表时间: 2019-11
• 期刊: SoCC ’19: ACM Symposium of Cloud Computing conference
• 作者: Zhou, Zhenyu;Benson, Theophilus A.
• 通讯作者: Benson, Theophilus A.

In-Network Compute: Considered Armed and Dangerous

网络内计算：被认为是武装且危险的

• DOI: 10.1145/3317550.3321436
• 发表时间: 2019-05-13
• 期刊: Proceedings of the Workshop on Hot Topics in Operating Systems
• 作者: Theophilus A. Benson

A Comprehensive Study of Bugs in Software Defined Networks

软件定义网络中错误的综合研究

• DOI: 10.1109/dsn48987.2021.00026
• 发表时间: 2021-06-01
• 期刊: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
• 作者: Ayush Bhardwaj;Zhenyu Zhou;Theophilus A. Benson
• 通讯作者: Theophilus A. Benson

Tardis: A Fault-Tolerant Design for Network Control Planes

Tardis：网络控制平面的容错设计

• DOI: 10.1145/3482898.3483355
• 发表时间: 2021-10-11
• 期刊: Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR)
• 作者: Zhenyu Zhou;Theophilus A. Benson;Marco Canini;B. Ch;rasekaran;rasekaran
• 通讯作者: rasekaran

P4-InTel: Bridging the Gap between iCF Diagnosis and Functionality

P4-InTel：弥合 iCF 诊断和功能之间的差距

• DOI: 10.1145/3359993.3366648
• 发表时间: 2019-12-09
• 期刊: Proceedings of the 1st ACM CoNEXT Workshop on Emerging in-Network Computing Paradigms
• 作者: Lucas Castanheira;Alberto E. Schaeffer;Theophilus A. Benson
• 通讯作者: Theophilus A. Benson