Affiliation:
1. UC Berkeley
2. UC Berkeley & Intel Research
3. University of Wisconsin-Madison
Abstract
The Internet's core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior research on this problem has included new hard-coded routing protocols on the one hand, and fully extensible Active Networks on the other. In this paper, we explore a new point in this design space that aims to strike a better balance between the extensibility and robustness of a routing infrastructure. The basic idea of our solution, which we call
declarative routing
, is to express routing protocols using a database query language. We show that our query language is a natural fit for routing, and can express a variety of well-known routing protocols in a compact and clean fashion. We discuss the security of our proposal in terms of its computational expressive power and language design. Via simulation, and deployment on PlanetLab, we demonstrate that our system imposes no fundamental limits relative to traditional protocols, is amenable to query optimizations, and can sustain long-lived routes under network churn and congestion.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications,Software
Reference28 articles.
1. GT-ITM. http://www.cc.gatech.edu/projects/gtitm/. GT-ITM. http://www.cc.gatech.edu/projects/gtitm/.
2. PIER. http://pier.cs.berkeley.edu. PIER. http://pier.cs.berkeley.edu.
3. SafetyNet. http://www.cogs.susx.ac.uk/projects/safetynet/. SafetyNet. http://www.cogs.susx.ac.uk/projects/safetynet/.
4. WorldCom's Global UUNET Internet network. http://library.mobrien.com/manuals/mprm_group/uunet.jpg. WorldCom's Global UUNET Internet network. http://library.mobrien.com/manuals/mprm_group/uunet.jpg.
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Lessons from the evolution of the Batfish configuration analysis tool;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09
2. SwitchLog: A Logic Programming Language for Network Switches;Practical Aspects of Declarative Languages;2023
3. Modular materialisation of Datalog programs;Artificial Intelligence;2022-07
4. Design and Implementation of a Strong Representation System for Network Policies;2022 International Conference on Computer Communications and Networks (ICCCN);2022-07
5. Learning CI Configuration Correctness for Early Build Feedback;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03