Declarative networking

by Loo, Boon Thau

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Declarative networking / Boon Thau Loo and Wenchao Zhou.

Summary

Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. Declarative networking proposes the use of a declarative query language for specifying and implementing network protocols, and employs a dataflow framework at runtime for communication and maintenance of network state. The primary goal of declarative networking is to greatly simplify the process of specifying, implementing, deploying and evolving a network design. In addition, declarative networking serves as an important step towards an extensible, evolvable network architecture that can support flexible, secure and efficient deployment of new network protocols.

Edition Statements

Publication Date:©2012.

Publication Statements

Publisher(s):Morgan & Claypool
Place of Publication:San Rafael, Calif
Language:eng
Publication Date:©2012.

Notes

In Synthesis digital library of engineering and computer science.

Titre de l'écran-titre (visionné le 23 mars 2012).

The Physical Object

Description:1 online resource (1 texte électronique (xv, 111 p.)) : : illustrations, fichier PDF

Edition Identifiers

ISBN:9781608456024, 1608456021
oclc:ocn837903778
LC Classification:QA76.615
Dewey Decimal:005.131

1. Introduction -- 1.1 Overview of declarative networks -- 1.2 The case for declarative networking -- 1.2.1 Ease of programming -- 1.2.2 Optimizability -- 1.2.3 Balance of extensibility and safety -- 1.3 Organization

2. Declarative networking language -- 2.1 Introduction to datalog -- 2.2 Network datalog by example -- 2.2.1 Overview of NDlog -- 2.2.2 From query specifications to protocol execution -- 2.2.3 Other requirements of NDlog -- 2.3 Distributed computation -- 2.4 Soft-state data and rules -- 2.4.1 Hard-state vs. soft-state data -- 2.4.2 Hard-state and soft-state rules -- 2.5 Incremental maintenance of network state -- 2.6 Summary of network datalog -- 2.7 Summary

3. Declarative networking overview -- 3.1 Architecture -- 3.2 DN dataflow engine -- 3.2.1 Dataflow elements -- 3.3 Network state storage and management -- 3.3.1 RapidNet declarative networking engine -- 3.4 Summary

4. Distributed recursive query processing -- 4.1 Centralized plan generation -- 4.1.1 Semi-naïve evaluation -- 4.1.2 Dataflow generation -- 4.2 Distributed plan generation -- 4.2.1 Localization rewrite -- 4.2.2 Distributed dataflow generation -- 4.3 Relaxing semi-naïve evaluation -- 4.3.1 Pipelined s…

Subjects

Computer network protocols Computer networks -- Management Declarative programming e-books Livres numériques Programmation déclarative Protocoles de réseaux d'ordinateurs Réseaux d'ordinateurs -- Gestion