DMCA
Declarative Networking: Language, Execution and Optimization (2006)
Cached
Download Links
| Citations: | 120 - 29 self |
BibTeX
@MISC{Loo06declarativenetworking:,
author = {Boon Thau Loo and Tyson Condie and Minos Garofalakis and David E. Gay and Joseph M. Hellerstein and Petros Maniatis and Raghu Ramakrishnan and Timothy Roscoe and Ion Stoica},
title = {Declarative Networking: Language, Execution and Optimization},
year = {2006}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for a next-generation Internet architecture. In this context, we have investigated declarative networking: the use of a distributed recursive query engine as a powerful vehicle for accelerating innovation in network architectures [23, 24, 33]. Declarative networking represents a significant new application area for database research on recursive query processing. In this paper, we address fundamental database issues in this domain. First, we motivate and formally define the Network Datalog (NDlog) language for declarative network specifications. Second, we introduce and prove correct relaxed versions of the traditional semi-na ve query evaluation technique, to overcome fundamental problems of the traditional technique in an asynchronous distributed setting. Third, we consider the dynamics of network state, and formalize the "eventual consistency" of our programs even when bursts of updates can arrive in the midst of query execution. Fourth, we present a number of query optimization opportunities that arise in the declarative networking context, including applications of traditional techniques as well as new optimizations. Last, we present evaluation results of the above ideas implemented in our P2 declarative networking system, running on 100 machines over the Emulab network testbed.
Keyphrases
declarative networking traditional technique emulab network testbed distributed system community database research applicationlevel overlay network correct relaxed version p2 declarative networking system network architecture new optimization network state query execution next-generation internet architecture eventual consistency distributed recursive query engine new network architecture network datalog fundamental database issue significant new application area powerful vehicle declarative network specification query optimization opportunity present evaluation result recursive query processing declarative networking context fundamental problem asynchronous distributed setting
