NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment

NeTS:媒介:协作研究:网络配置综合:实际部署之路

基本信息

  • 批准号:
    1704336
  • 负责人:
  • 金额:
    $ 63万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2017
  • 资助国家:
    美国
  • 起止时间:
    2017-07-01 至 2021-06-30
  • 项目状态:
    已结题

项目摘要

All sectors of society depend on properly functioning computer networks. For example, every day, millions of citizens order prescription drug refills, pay their electricity bills, book hotels, shop for groceries, and participate in thousands more activities online, through the cloud. But none of these services will work if the networks that deliver information are down. Moreover, modern business, healthcare, the military and the government are just as dependent on reliable networks as everyday citizens. Many network outages are caused by operators manually (and incorrectly) programming the 'configuration files' that manage the ways that network devices forward information. While the flexibility allowed by configuration files is essential, network outages are often caused by operators using hundreds of low-level directives at each network device to create network-wide policy. Because the global consequences of making even small configuration changes is so drastic, many organizations take several weeks to audit even small changes, limiting their ability to respond effectively to traffic fluctuations, business opportunities, security threats and hardware failures. A natural solution to these problems -- analogous to the trend in programming languages for software development over the last several decades as programmers have moved from machine code to Java -- is to define more robust, higher-level programming languages for implementing network policies. However, there are technical and pragmatic hurdles to surmount before it will be possible to deploy new languages in industrial settings on a large scale. In particular, existing network-wide policy languages are not expressive enough for many desired network policies and often require wholesale migration to new networking platforms. Hence, the overarching goal of this project is to surmount the technical challenges that impede practical deployment of high-level network programming languages. The project is developing the core technology necessary to efficiently support and incrementally deploy high-level network policies. The project leverages connections to two major cloud providers as a means to test the resulting languages and systems on real industrial networks, identify pragmatic barriers to adoption, and ultimately deploy the technology where possible.The project builds on the PIs' recent work on Propane, a new network programming language that allows users to describe end-to-end paths for intra- and inter-domain routing, along with a compiler that produces configurations for the industry-standard BGP protocol. The results of this project will extend Propane in several ways to support practical deployment: First, users will be able to declare device roles (e.g., top-of-rack switch) and the connectivity invariants related to them to enable concise specifications. A new compiler will verify safety properties of policies in the presence of such declarations and generate parameterized templates that make compiler outputs more intelligible for operators. Second, users will specify financial contracts that govern transit costs using a new declarative language and the compiler will optimize routes automatically by generating refined policies that meet objectives. Third, the Butane compiler will target and exploit the benefits of heterogeneous back-end protocols and platforms. Fourth, tools will help network operators infer new high-level configurations from existing low-level configurations and to verify that new configurations are equivalent to old ones. Finally, Butane will support mixed mode (legacy- and high-level network operations) so engineers can migrate their networks slowly over time and test partial deployment on small fractions of their live traffic.
社会的所有部门都依赖于正常运作的计算机网络。例如,每天都有数百万市民通过云在线订购处方药、支付电费、预订酒店、购买杂货,并参与数千项活动。 但是,如果传递信息的网络瘫痪,这些服务都将无法发挥作用。此外,现代企业、医疗保健、军队和政府与普通公民一样依赖可靠的网络。 许多网络中断是由操作员手动(并且不正确地)编程管理网络设备转发信息的方式的“配置文件”引起的。 虽然配置文件所允许的灵活性是必不可少的,但网络中断通常是由操作员在每个网络设备上使用数百个低级指令来创建网络范围的策略而引起的。 由于即使进行很小的配置更改也会产生严重的全球后果,因此许多组织需要数周时间来审核即使是很小的更改,从而限制了他们有效响应流量波动、业务机会、安全威胁和硬件故障的能力。 这些问题的自然解决方案-类似于过去几十年来程序员从机器代码转向Java的软件开发编程语言的趋势-是定义更健壮,更高级的编程语言来实现网络策略。 然而,在工业环境中大规模部署新语言之前,还有技术和实用障碍需要克服。 特别是,现有的网络范围的策略语言是不够的表达许多期望的网络策略,往往需要大规模迁移到新的网络平台。 因此,该项目的总体目标是克服阻碍高级网络编程语言实际部署的技术挑战。该项目正在开发必要的核心技术,以有效支持和逐步部署高级网络政策。 该项目利用与两个主要云提供商的连接,在真实的工业网络上测试所产生的语言和系统,确定采用的实际障碍,并最终在可能的情况下部署该技术。该项目建立在PI最近对Propane的工作基础上,Propane是一种新的网络编程语言,允许用户描述域内和域间路由的端到端路径,沿着编译器,该编译器为行业标准BGP协议生成配置。 该项目的结果将以多种方式扩展Propane,以支持实际部署: 首先,用户将能够声明设备角色(例如,架顶式交换机)以及与它们相关的连接不变量,以实现简洁的规范。一个新的编译器将在存在此类声明的情况下验证策略的安全属性,并生成参数化模板,使编译器的输出更易于操作员理解。 其次,用户将使用一种新的声明性语言指定管理运输成本的金融合同,编译器将通过生成满足目标的细化政策来自动优化路线。 第三,Butane编译器将瞄准并利用异构后端协议和平台的优势。 第四,工具将帮助网络运营商从现有的低级配置中推断新的高级配置,并验证新配置与旧配置的等效性。 最后,Butane将支持混合模式(传统和高级网络操作),因此工程师可以随着时间的推移缓慢迁移他们的网络,并在一小部分实时流量上测试部分部署。

项目成果

期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Campion: debugging router configuration differences
  • DOI:
    10.1145/3452296.3472925
  • 发表时间:
    2021-08
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Alan Tang;S. Kakarla;Ryan Beckett;Ennan Zhai;Matt Brown;T. Millstein;Y. Tamir;G. Varghese
  • 通讯作者:
    Alan Tang;S. Kakarla;Ryan Beckett;Ennan Zhai;Matt Brown;T. Millstein;Y. Tamir;G. Varghese
Finding Network Misconfigurations by Automatic Template Inference
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    S. Kakarla;Alan Tang;Ryan Beckett;Karthick Jayaraman;T. Millstein;Y. Tamir;G. Varghese
  • 通讯作者:
    S. Kakarla;Alan Tang;Ryan Beckett;Karthick Jayaraman;T. Millstein;Y. Tamir;G. Varghese
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Todd Millstein其他文献

Todd Millstein的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Todd Millstein', 18)}}的其他基金

Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs
协作研究:SHF:小型:交互式证明的数据驱动引理合成
  • 批准号:
    2220891
  • 财政年份:
    2022
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
QCIS-FF: A Software Stack for Quantum Computing
QCIS-FF:量子计算软件堆栈
  • 批准号:
    1926648
  • 财政年份:
    2020
  • 资助金额:
    $ 63万
  • 项目类别:
    Continuing Grant
FMitF: Opening Up the Black Box of Probabilistic Program Inference
FMITF:打开概率程序推理的黑匣子
  • 批准号:
    1837129
  • 财政年份:
    2018
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
SHF: Small: Interacting to Specify Software
SHF:小型:交互指定软件
  • 批准号:
    1527923
  • 财政年份:
    2015
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
NeTS: Medium: Collaborative Research: Systematic Analysis of Protocol Implementations
NeTS:媒介:协作研究:协议实现的系统分析
  • 批准号:
    1161595
  • 财政年份:
    2012
  • 资助金额:
    $ 63万
  • 项目类别:
    Continuing Grant
TC: Medium: Collaborative Research: Program Analysis for Smartphone Application Security
TC:媒介:协作研究:智能手机应用程序安全的程序分析
  • 批准号:
    1064844
  • 财政年份:
    2011
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
EAGER: Collaborative Research: Toward An Adaptive Programming System for Cloud-Enabled Smartphone Applications
EAGER:协作研究:面向云智能手机应用程序的自适应编程系统
  • 批准号:
    1048826
  • 财政年份:
    2010
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
SoD: An Electronic Design Automation Approach to Embedded Networked Software
SoD:嵌入式网络软件的电子设计自动化方法
  • 批准号:
    0725354
  • 财政年份:
    2007
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
"CAREER:" Enforcing and Validating User-Defined Programming Disciplines
“职业:”执行和验证用户定义的编程规则
  • 批准号:
    0545850
  • 财政年份:
    2006
  • 资助金额:
    $ 63万
  • 项目类别:
    Continuing Grant

相似海外基金

Collaborative Research: NeTS: Medium: EdgeRIC: Empowering Real-time Intelligent Control and Optimization for NextG Cellular Radio Access Networks
合作研究:NeTS:媒介:EdgeRIC:为下一代蜂窝无线接入网络提供实时智能控制和优化
  • 批准号:
    2312978
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Medium: Towards High-Performing LoRa with Embedded Intelligence on the Edge
协作研究:NeTS:中:利用边缘嵌入式智能实现高性能 LoRa
  • 批准号:
    2312676
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Medium: Black-box Optimization of White-box Networks: Online Learning for Autonomous Resource Management in NextG Wireless Networks
合作研究:NeTS:中:白盒网络的黑盒优化:下一代无线网络中自主资源管理的在线学习
  • 批准号:
    2312835
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Medium: An Integrated Multi-Time Scale Approach to High-Performance, Intelligent, and Secure O-RAN based NextG
合作研究:NeTS:Medium:基于 NextG 的高性能、智能和安全 O-RAN 的集成多时间尺度方法
  • 批准号:
    2312447
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Medium: Large Scale Analysis of Configurations and Management Practices in the Domain Name System
合作研究:NetS:中型:域名系统配置和管理实践的大规模分析
  • 批准号:
    2312711
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Medium: Black-box Optimization of White-box Networks: Online Learning for Autonomous Resource Management in NextG Wireless Networks
合作研究:NeTS:中:白盒网络的黑盒优化:下一代无线网络中自主资源管理的在线学习
  • 批准号:
    2312836
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Medium: Black-box Optimization of White-box Networks: Online Learning for Autonomous Resource Management in NextG Wireless Networks
合作研究:NeTS:中:白盒网络的黑盒优化:下一代无线网络中自主资源管理的在线学习
  • 批准号:
    2312834
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Medium: An Integrated Multi-Time Scale Approach to High-Performance, Intelligent, and Secure O-RAN based NextG
合作研究:NeTS:Medium:基于 NextG 的高性能、智能和安全 O-RAN 的集成多时间尺度方法
  • 批准号:
    2312448
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Medium: Towards High-Performing LoRa with Embedded Intelligence on the Edge
协作研究:NeTS:中:利用边缘嵌入式智能实现高性能 LoRa
  • 批准号:
    2312674
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Medium: Large Scale Analysis of Configurations and Management Practices in the Domain Name System
合作研究:NetS:中型:域名系统配置和管理实践的大规模分析
  • 批准号:
    2312710
  • 财政年份:
    2023
  • 资助金额:
    $ 63万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了