FPL-3E: Towards Language Support for Reconfigurable Packet Processing

Cristea, Mihai; Zissulescu, Claudiu; Deprettere, E.F.; Bos, Herbert

doi:10.1007/11512622_10

Cited by 8 publications

(5 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…FFPF [20] provides support for compiling code written in different languages such as FPL [32,31] and Ruler [54] to heterogeneous targets, composing the result in a graph-like structure. Dandelion shares many basic objectives and similarly relies on dataflow to address heterogeneity; however, Dandelion targets GPUbased clusters and general-purpose computations, making the application and execution domains quite different.…”

Section: Related Workmentioning

confidence: 99%

Dandelion

Rossbach

Currey

et al. 2013

Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles

View full text Add to dashboard Cite

Computer systems increasingly rely on heterogeneity to achieve greater performance, scalability and energy efficiency. Because heterogeneous systems typically comprise multiple execution contexts with different programming abstractions and runtimes, programming them remains extremely challenging. Dandelion is a system designed to address this programmability challenge for data-parallel applications. Dandelion provides a unified programming model for heterogeneous systems that span diverse execution contexts including CPUs, GPUs, FPGAs, and the cloud. It adopts the .NET LINQ (Language INtegrated Query) approach, integrating data-parallel operators into general purpose programming languages such as C# and F#. It therefore provides an expressive data model and native language integration for user-defined functions, enabling programmers to write applications using standard highlevel languages and development tools.Dandelion automatically and transparently distributes data-parallel portions of a program to available computing resources, including compute clusters for distributed execution and CPU and GPU cores of individual nodes for parallel execution. To enable automatic execution of .NET code on GPUs, Dandelion cross-compiles .NET code to CUDA kernels and uses the PTask runtime [85] to manage GPU execution. This paper discusses the design and implementation of Dandelion, focusing on the distributed CPU and GPU implementation. We evaluate the system using a diverse set of workloads.

show abstract

Section: Related Workmentioning

confidence: 99%

Dandelion

Rossbach

Currey

et al. 2013

Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles

View full text Add to dashboard Cite

show abstract

“…The switch component [39] of networks can be programmed via many interfaces such as Open-Flow platform. Examples of other platforms include Shangri-La [40] and FPL-3E [42], RouteBricks [37], Click modular router [34], Snortran [35] and Bro [36]. The idea in Shangri-La [40] and FPL-3E [42] is to produce certain hardware for packet-processing from high-level programs that achieves packet-processing.…”

Section: Energy Efficient Routing With Transmission Power Control Bas...mentioning

confidence: 99%

“…Examples of other platforms include Shangri-La [40] and FPL-3E [42], RouteBricks [37], Click modular router [34], Snortran [35] and Bro [36]. The idea in Shangri-La [40] and FPL-3E [42] is to produce certain hardware for packet-processing from high-level programs that achieves packet-processing. In RouteBricks [37], stock machines are used to improve performance of program switches.…”

Section: Energy Efficient Routing With Transmission Power Control Bas...mentioning

confidence: 99%

ImpNet: Programming Software-Defied Networks Using Imperative Techniques

El-Zawawy,

AlSalem

2014

Preprint

View full text Add to dashboard Cite

Software and hardware components are basic parts of modern networks. However the software component is typical sealed and function-oriented. Therefore it is very difficult to modify these components. This badly affected networking innovations. Moreover, this resulted in network policies having complex interfaces that are not user-friendly and hence resulted in huge and complicated flow tables on physical switches of networks. This greatly degrades the network performance in many cases. Software-Defined Networks (SDNs) is a modern architecture of networks to overcome issues mentioned above. The idea of SDN is to add to the network a controller device that manages all the other devices on the network including physical switches of the network. One of the main tasks of the managing process is switch learning; achieved via programming physical switches of the network by adding or removing rules for packet-processing to/from switches, more specifically to/from their flow tables. A high-level imperative network programming language, called ImpNet, is presented in this paper. ImpNet enables writing efficient, yet simple, and powerful programs to run on the controller to control all other network devices including switches. ImpNet is compositional, simply-structured, expressive, and more importantly imperative. The syntax of ImpNet together two types of operational semantics to contracts of ImpNet are presented in the paper. The proposed semantics are of the static and dynamic types. Two modern application programmed using ImpNet are shown in the paper as well. The semantics of the applications are shown in the paper also.

show abstract

“…The switch component [30] of networks can be programmed via many interfaces such as Open-Flow platform. Examples of other platforms include Shangri-La [31] and FPL-3E [32], RouteBricks [29], Click modular router [26], Snortran [27] and Bro [28]. The idea in Shangri-La [31] and FPL-3E [32] is to produce certain hardware for packet-processing from high-level programs that achieves packet-processing.…”

Section: Related and Future Workmentioning

confidence: 99%

ImNet: An Imperative Network Programming Language

El-Zawawy,

AlSalem

2014

Preprint

View full text Add to dashboard Cite

One of the most recent architectures of networks is Software-Defined Networks (SDNs) using a controller appliance to control the set of switches on the network. The controlling process includes installing or uninstalling packet-processing rules on flow tables of switches. This paper presents a high-level imperative network programming language, called ImNet, to facilitate writing efficient, yet simple, programs executed by controller to manage switches. ImNet is simply-structured, expressive, compositional, and imperative. This paper also introduces an operational semantics to ImNet. Detailed examples of programs (with their operational semantics) constructed in ImNet are illustrated in the paper as well.

show abstract

FPL-3E: Towards Language Support for Reconfigurable Packet Processing

Cited by 8 publications

References 7 publications

Dandelion

Dandelion

ImpNet: Programming Software-Defied Networks Using Imperative Techniques

ImNet: An Imperative Network Programming Language

Contact Info

Product

Resources

About