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, decla.
Read More ↓Edition Statements
- Publication Date:2012.
Publication Statements
- Publisher(s):Morgan & Claypool Publishers
- Place of Publication:San Rafael, Calif.?
- Language:eng
- Publication Date:2012.
The Physical Object
- Description:1 online resource (xv, 111 pages) : : illustrations
Edition Identifiers
- ISBN:9781608456024, 1608456021, 1608456013, 9781608456017
- oclc:ocn781540988
- LC Classification:TK5105.55
- Dewey Decimal:005.74
Table of Contents
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…
Rate & Review