The design and implementation of declarative networks

摘要: In this dissertation, we present the design and implementation of declarative networks. Declarative networking proposes use a query language for specifying implementing network protocols, employs dataflow framework at runtime com munication maintenance state. The primary goal is to greatly simplify process specifying, implementing, deploying evolving design. addition, serves as an important step towards extensible, evolvable architecture that can support flexible, secure efficient deployment new protocols. Our main contributions are follows. First, formally define Network Datalog (NDlog) based on extensions recursive language, propose NDlog Domain Specific Language programming We demonstrate be used express large variety protocols in handful lines program code, resulting orders magnitude reduction code size. For example, Chord overlay specified 48 rules. core (Datalog) has polynomial complexity, our statically analyzed termination using standard analysis techniques. Second, validate NDlog, P2, which full-fledged system compiles executes it via engine inspired by Click modular router. experimentally evaluate P2 hundreds distributed machines. publicly available download been research projects number institutions. Third, experiences networks, explore wide database issues practical realization These include pipelined execution queries, reason ing about semantics well-known systems notion "eventual consistency", incorporating soft-state into logical optimizations improve performance