Applied Metarouting Project

应用元路由项目

• 批准号: EP/F002718/1
• 负责人: Timothy Griffin
• 金额: $ 51.48万
• 依托单位: University of Cambridge
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2007
• 资助国家: 英国
• 起止时间: 2007 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FF002718%2F1
• 关键词: Applied; Metarouting; Project

The bedrock service of the Internet is connectivity --- allowing the exchange of data between hosts located in diverse, autonomously administered networks. Internet connectivity is implemented using dynamic routing protocolsthat exchange reachability information between tens of thousands of network routers. Current routing protocols are few in number and are not well suited for many networks. As a result, the existing protocols are pressed into service in highly complex and contorted ways, thus limiting the flexibility of network design, increasing the cost of network operations, and lowering the level of network robustness.We refer to this as the routing protocol ossification problem. Griffin and Sobrinho recently proposed metarouting as a potential solution to this problem. Metarouting is based on the design of a metalanguage for thespecification of routing protocols. Implementing such a metalanguage on a router would enable network operators to define, implement, and deploy new protocols that are tailored to the needs of their networks. It would also allow network researchers to experiment in a rich space of new routing protocols. One innovation of the metarouting paper was to show how a metalanguage can be defined so that protocol specifications could be automatically validated to guarantee both protocol convergence and loop-free forwarding. Lack of correctness in the current interdomain routing protocol (BGP) results in routing anomalies that are very difficult to debug. There is a large gap between the theoretical sketch of metarouting and usable, efficient implementations. This Case for Support is aimed at closing that gap. We seek funding for the design, development, and validation of the first prototype implementation of metarouting. This is a challenging goal that will require solutions to many difficult problems, including the design of a user-oriented metalanguage, compilation of metalanguage specifications to efficientimplementations, and extracting generic algorithms from current routing protocol implementations. Our implementation will build on the existing code base of XORP (www.xorp.org), a suite of open source routing protocols developed in a project led by Dr Mark Handley of UCL.

互联网的基础服务是连通性-允许位于不同的、自主管理的网络中的主机之间交换数据。互联网连接是使用动态路由协议实现的，这些协议在成千上万的网络路由器之间交换可达性信息。目前的路由协议数量很少，并且不适合许多网络。其结果是，现有的协议被压在高度复杂和扭曲的方式服务，从而限制了网络设计的灵活性，增加了网络运营的成本，并降低了网络的鲁棒性水平，我们称之为路由协议僵化问题。Griffin和Sobrinho最近提出了metarouting作为这个问题的潜在解决方案。元路由是基于设计一个元语言来指定路由协议。在路由器上实现这样的元语言将使网络运营商能够定义、实现和部署适合其网络需求的新协议。它还将允许网络研究人员在丰富的新路由协议空间中进行实验。元路由论文的一个创新是展示了如何定义元语言，以便可以自动验证协议规范，以保证协议收敛和无循环转发。目前的域间路由协议（BGP）缺乏正确性，导致路由异常非常难以调试。元路由的理论草图和可用的、有效的实现之间存在很大的差距。本支持案例旨在缩小这一差距。我们寻求资金的设计，开发和验证的第一个原型实施metarouting。这是一个具有挑战性的目标，将需要解决许多困难的问题，包括面向用户的元语言的设计，元语言规范的编译，以efficientimplementations，并提取通用算法从当前的路由协议实现。我们的实现将建立在XORP（www.xorp.org）的现有代码基础上，XORP是由UCL的Mark汉德利博士领导的一个项目中开发的一套开源路由协议。

项目成果

On the interaction of multiple routing algorithms

浅谈多种路由算法的交互

• DOI: 10.1145/2079296.2079303
• 发表时间: 2011
• 作者: Alim M

Neighbor-specific BGP: An algebraic exploration

特定于邻居的 BGP：代数探索

• DOI: 10.1109/icnp.2010.5762759
• 发表时间: 2010
• 作者: Gurney A

A model of configuration languages for routing protocols

路由协议配置语言模型

• DOI: 10.1145/1592631.1592645
• 发表时间: 2009
• 作者: Taylor P

An architecture for metarouting

元路由的架构

• 发表时间: 2007
• 作者: Timothy Griffin