Abstract:Software-defined networking(SDN) is a revolutionary technology that facilitates network management and enables programmatically efficient network configuration, thereby improving network performance and flexibility. However, as the application programming interfaces(APIs) of SDN are low-level or functionality-restricted, SDN programmers cannot easily keep pace with the ever-changing devices, topologies, and demands of SDN. By deriving motivation from industry practice, we define a novel network algorithm programming language(NAPL) that enhances the SDN framework with a rapid programming flow from topology-based network models to C++ implementations, thus bridging the gap between the limited capability of existing SDN APIs and the reality of practical network management. In contrast to several state-of-the-art languages, NAPL provides a range of critical high-level network programming features:(1) topology-based network modeling and visualization;(2) fast abstraction and expansion of network devices and constraints;(3) a declarative paradigm for the fast design of forwarding policies;(4) a built-in library for complex algorithm implementation;(5) full compatibility with C++ programming; and(6) userfriendly debugging support when compiling NAPL into highly readable C++ codes. The expressiveness and performance of NAPL are demonstrated in various industrial scenarios originating from practical network management.

Resolving the Loop in High-Level SDN Program for Multi-table Pipeline Compilation

Highly Efficient Modulo Loop Pipeline for High Level Synthesis

Programming network via Distributed Control in Software-Defined Networks

Scalable-Grain Pipeline Parallelization Method For Multi-Core Systems

Toward the First SDN Programming Capacity Theorem on Realizing High-Level Programs on Low-Level Datapaths

Who Gets in the Way of Parallelism? Analysis and Optimization of the Parallel Processing Bottleneck of SDN Flow Rules in ONOS.

System Level Asynchronous Virtual Pipeline on Dynamically and Partially Reconfigurable Architecture

Fine-Grained Parallel SDN Virtualization Programming Framework

Routing Loop Audit Mechanism Based on SDN

Scheduling Relaxed Loop-Free Updates Within Tight Lower Bounds in SDNs.

Automatic Loop-Based Pipeline Optimization on Reconfigurable Platform

An SDN Oriented Loop Detection Mechanism Based on TTL Statistics

Scalable Fine-grained Path Control in Software Defined Networks

ParaFlow: Fine-grained Parallel SDN Controller for Large-Scale Networks

A De-Pipeline Algorithm for Software-Pipeline

Providing VNF Services with Pipe&Hose Model Based Nonblocking SDN Networks

High-Level Synthesis for Packet-Processing Pipelines

From Model to Implementation: a Network Algorithm Programming Language

A Parallel Processing and Synthesis Structure for Improving Access Security and Efficiency in Sdn Environment

R-SDN: A Recusive Approach for Scaling SDN

Dandelion: A Novel, High-Level Programming System for Software Defined Coalitions with Local State Sharing