Declarative Routing: Extensible Routing with Declarative Queries Boon Thau Loo 1 Joseph M. Hellerstein 1,2 , Ion Stoica 1 , Raghu Ramakrishnan 3 , 1 University of California at Berkeley, 2 Intel Research Berkeley, 3 University of Wisconsin-Madison Smchoi 2011.04.23
42
Embed
Declarative Routing: Extensible Routing with Declarative Queries Boon Thau Loo 1 Joseph M. Hellerstein 1,2, Ion Stoica 1, Raghu Ramakrishnan 3, 1 University.
Two “Extremes”: “Hard-coded” protocols: - Efficiency, safety - Flexibility, evolvability - + Active Networks - Flexibility, evolvability - Safety, efficiency - + Declarative Routing: + Flexibility, evolvability, safety Our Goal Restricted instantiation of Active Networks for the control plane
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Declarative Routing: Extensible Routing with Declarative Queries
Boon Thau Loo1
Joseph M. Hellerstein1,2, Ion Stoica1, Raghu
Ramakrishnan3, 1University of California at Berkeley, 2Intel Research Berkeley, 3University of Wisconsin-Madison
Smchoi 2011.04.23
Motivation Lack of extensibility and flexibility in today’s Internet routingHard to add/improve/update routing protocols
Two “Extremes”:“Hard-coded” protocols:- Efficiency, safety - Flexibility, evolvability
-+
Active Networks- Flexibility, evolvability- Safety, efficiency-+
Declarative Routing:+ Flexibility,
evolvability, safety
Our Goal
Restricted instantiation of Active Networks for the
control plane
Key IdeaRecursive query language for expressing routing protocols: Datalog: a declarative recursive query
language Well-researched in the database
community Well-suited for querying properties of
graphs
AdvantagesExpressiveness: Compact and clean representation of protocolsSafety: Datalog has desirable safety properties on terminationEfficiency: No fundamental overhead when executing standard protocols.
Usage ScenariosISP administrators Run different protocols for different
nodes Modify existing protocols in routersEnd-hosts Set up customized routes for different
quality-of-service and policy requirements of applications
RoadmapExecution ModelIntroduction to DatalogPath-Vector Protocol ExampleAdvantages: Expressiveness Safety EfficiencyEvaluation
Centralized Execution Model
Store entire network state into a centralized databaseIssue Datalog queries on the centralized database for customized routes
Fully distributed implementation To explore the limits of our design
unnecessary paths to neighbors Limit computation to portion of network
Few sources and destinations Magic sets + left-right recursion rewrite
Multi-query sharing: Identify “similar” queries, share their
computations Reuse previously computed paths
Queries under ChurnLong-running continuous queriesMaintain all intermediate derived tuples for query durationIncremental updates: Link failures are treated as link
updates with cost=infinity. Paths invalidated (cost=infinity), and
new paths are incrementally recomputed.
Evaluation SetupPIER: Distributed relational query processor Each node runs the query engine of PIER Initialized neighbor table directly accessible by
PIER. Simulation: Bandwidth and latency bottlenecks Transit-stub topologies
Current Customizable Routing with Declarative Queries. (2004)Declarative Routing: Extensible Routing with Declarative Queries. (2005)Implementing Declarative Overlays. (2005)Declarative Networking: Language, Execution and Optimization. (2006)The Design and Implementation of Declarative Networks. (2006)Towards a Declarative Language and System for Secure Networking. (2007)A Declarative Perspective on Adaptive MANET Routing. (2008)MOSAIC: Unified Declarative Platform for Dynamic Overlay Composition. (2008)Declarative Network Verification. (2009)Declarative Reconfigurable Trust Management. (2009)Unified Declarative Platform for Secure Networked Information Systems. (2009)Declarative Toolkit for Rapid Network Protocol Simulation and Experimentation. (2009)A Theorem Proving Approach towards Declarative Networking. (2009)RapidMesh: Declarative Toolkit for Rapid Experimentation of Wireless Mesh Networks. (2009)Declarative Policy-based Adaptive MANET Routing. (2009)Declarative Networking. (2009)An Open-source and Declarative Approach Towards Teaching Large-scale Networked Systems Programming. (2011)NetTrails: A Declarative Platform for Provenance Maintenance and Querying in Distributed Systems. (2011)