FLECS: A Framework for Rapidly Implementing Forwarding Protocols

Design, implementation and deployment of network protocols is a challenging and difficult task. Determining their correctness and feasibility for large-scale networks is even more complicated. This paper presents Flecs, a framework for fascilitating implementation of forwarding protocols for packet-switched networks. We build upon the observation that the forwarding functionality can be modeled as a combination of well-defined but customizable components, the functionality of each component is constrained by the fundamental axioms of communication. Flecs provides a protocol specification language and automatically generates the protocol implementation from the specification.

[1]  EDDIE KOHLER,et al.  The click modular router , 2000, TOCS.

[2]  Stanislaw Budkowski,et al.  An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.

[3]  David L Tennenhouse.  Layered Multiplexing Considered Harmful , 2008 .

[4]  Joseph M. Hellerstein,et al.  Finally, a Use for Componentized Transport Protocols , 2006 .

[5]  David A. Maltz,et al.  Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.

[6]  David J. Scott,et al.  Melange: creating a "functional" internet , 2007, EuroSys '07.

[7]  Mostafa H. Ammar,et al.  Increasing the portability and re-usability of protocol code , 1997, TNET.

[8]  Christoph Kreitz,et al.  Building reliable, high-performance communication systems from components , 2000, OPSR.

[9]  David D. Clark,et al.  The design philosophy of the DARPA internet protocols , 1988, SIGCOMM '88.

[10]  Eddie Kohler,et al.  A readable TCP in the Prolac protocol language , 1999, SIGCOMM '99.

[11]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[12]  Paul V. Mockapetris,et al.  Domain names - implementation and specification , 1987, RFC.

[13]  M. Karsten,et al.  An axiomatic basis for communication , 2007, SIGCOMM '07.

[14]  Walid Dabbous,et al.  Generating efficient protocol code from an abstract specification , 1997, TNET.

[15]  Joseph M. Hellerstein,et al.  A need for componentized transport protocols , 2005, SOSP '05.