The Frenetic Programming Language and Runtime System
OCaml Python Other
Latest commit cd4ad6a Feb 19, 2017 @baxtersa baxtersa committed on GitHub Merge pull request #548 from frenetic-lang/virtual_bench
Virtual bench tool fixes
Permalink
Failed to load latest commit information.
async add case for meta fields in various places to avoid compiler warnings… Dec 14, 2016
bench Write ving_pol to file for autogenerated virtual compiler benches fro… Feb 17, 2017
examples Revert unintentional pdf corruption Dec 7, 2016
frenetic Parameterize virtual compiler module by fabric generation method Jan 10, 2017
integration renamed: compile -> compile_local Sep 9, 2015
lang/python Refactor Into Plugin Architecture (#512) Jul 22, 2016
lib Fix fabric type documentation Feb 8, 2017
lib_test fix some test; these must have been failing for a whilegit add lib_test/ Nov 18, 2016
ppx pretty printing; improved ppx test Dec 14, 2016
topology Consolidate all tests in lib_test and quickcheck in lib_test/lib May 18, 2015
.gitignore include *.odocl for documentation Dec 1, 2016
.travis.yml require ocaml 4.03.0, remove outdated dependencies, address pattern n… Sep 16, 2016
ACKNOWLEDGEMENTS Move command line and controllers to final locations May 20, 2015
LICENSE Move command line and controllers to final locations May 20, 2015
Makefile fix some parser bugs, get complete build to work Nov 6, 2016
README.md Fix link to frenetic VM in README Jan 20, 2017
_oasis Add FabricGen module to abstract stage out of virtual compiler Jan 10, 2017
_tags make ocamldoc happy Nov 18, 2016
configure Toward a working oasis and Makefile Apr 13, 2015
myocamlbuild.ml slightly stricter compiler settings Dec 14, 2016
opam opam Nov 30, 2016
setup.ml Add FabricGen module to abstract stage out of virtual compiler Jan 10, 2017

README.md

Welcome to Frenetic

Build Status

Frenetic is an open-source Software Defined Network (SDN) controller platform designed to make SDN programming easy, modular, and semantically correct.

The languages used to program networks today lack modern features. Programming them is a complicated and error-prone task, and outages and infiltrations are frequent. Frenetic is a network programming language with the following essential features:

  • High-level abstractions that give programmers direct control over the network, allowing them to specify what they want the network to do without worrying about how to implement it.
  • Modular constructs that facilitate compositional reasoning about programs.
  • Portability, allowing programs written for one platform to be reused with different devices.
  • Rigorous semantic foundations that precisely document the meaning of the language and provide a solid platform for mechanical program analysis tools.

You can build Frenetic-based network applications with:

  • Python
  • OCaml
  • REST and JSON (= any programming language!)

Getting Started

Installation

  1. Install VirtualBox from https://www.virtualbox.org/wiki/Downloads. Use the latest version platform package appropriate for your system.
  2. From https://s3.amazonaws.com/plasma-umass/frenetic-tutorial-vm.ova download the latest Frentic User VM – this file is about 2.8 GB and may take about 10 minutes or so to download.
  3. Import the .ova file into VirtualBox. This takes two minutes or so.

Hello SDN World

  1. Start up a terminal window - – two are provided in the VM under Accessories: Byobu Terminal (which integrates nicely with tmux) and LXTerminal (which has graphical tabs). Either one will do.
  2. Start up a Mininet sample network with a switch and 2 hosts:

    $ sudo mn --topo=single,2 --controller=remote
    
  3. Try pinging the host h2 from the host h1:

    mininet> h1 ping h2
    

    Unfortunately, the ping won't work because you don't have an SDN network program in place! Press CTRL-C to stop the pinging.

  4. Start up another terminal window and start up Frenetic:

    $ frenetic http-controller --verbosity debug
    
  5. In a third terminal window, start up the example program for the Python repeater:

    $ python -m frenetic.examples.repeater
    
  6. Now, back in the window running Mininet, the ping should now succeed:

    mininet> h1 ping h2
    

    Congratulations! You now have a working Software Defined Network.

Where to Go From Here

Contributing

Frenetic is an open source project, and we encourage you to contribute!

Credits

See Frenetic Members and Support

License

Frenetic is released under the GNU Lesser Public License, version 3. Details