Frenetic: A network programming language

Nate Foster, Rob Harrison, Michael Joseph Freedman, Christopher Monsanto, Jennifer L. Rexford, Alec Story, David P. Walker

Research output: Contribution to journalArticlepeer-review

279 Scopus citations

Abstract

Modern networks provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control. Unfortunately, the languages used to program today's networks lack modern features-they are usually defined at the low level of abstraction supplied by the underlying hardware and they fail to provide even rudimentary support for modular programming. As a result, network programs tend to be complicated, error-prone, and difficult to maintain. This paper presents Frenetic, a high-level language for programming distributed collections of network switches. Frenetic provides a declarative query language for classifying and aggregating network traffic as well as a functional reactive combinator library for describing high-level packet-forwarding policies. Unlike prior work in this domain, these constructs are-by design-fully compositional, which facilitates modular reasoning and enables code reuse. This important property is enabled by Frenetic's novel runtime system which manages all of the details related to installing, uninstalling, and querying low-level packet-processing rules on physical switches. Overall, this paper makes three main contributions: (1) We analyze the state-of-the art in languages for programming networks and identify the key limitations; (2) We present a language design that addresses these limitations, using a series of examples to motivate and validate our choices; (3)We describe an implementation of the language and evaluate its performance on several benchmarks.

Original languageEnglish (US)
Pages (from-to)279-291
Number of pages13
JournalACM SIGPLAN Notices
Volume46
Issue number9
DOIs
StatePublished - Sep 2011

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Keywords

  • Domain-specific languages
  • Functional reactive programming
  • Network programming languages
  • OpenFlow

Fingerprint Dive into the research topics of 'Frenetic: A network programming language'. Together they form a unique fingerprint.

Cite this