The Flux Research Group


Flux Projects


Almost all of the projects includes formal software releases. The software can be found hanging off each project page.

Active Projects

  • Emulab Network Testbed - What was originally an "automated configurable cluster-based testbed" has turned into a kind of "operating system" for controlling collections of networked devices of all types, for the purpose of controlled experimentation.
  • ProtoGENI - Our prototype implementation and deployment of the NSF's Global Environment for Network Innovation (GENI). It will be a research network/testbed that is geographically distributed, contains diverse devices including wireless, supports many simultaneous experimenters, and allows end-users to use and exploit those experimental protocols.
  • Experimentation Workbench - Scientific workflow for networked systems experimentation: management of experiments, data, and analyses.
  • Time-travel for Closed Distributed Systems - Time-travel of closed distributed systems for debugging and development. Includes non-deterministic replay options as a feature (e.g., mutating debuggers), not a bug.
  • Flexlab - Flexibly accomodates different network models, typically derived from an overlay testbed. Also, a novel technique we call "Application-Centric Internet Modeling." The upshot is that you can get the best of PlanetLab (real network conditions) and Emulab (dedicated unloaded hosts, complete control over them and their software, better repeatability, friendlier development/debugging environment).

Recent, Not-So-Active Projects

  • Self-Spreading Transport Protocols - Rapid evolution of transport protocols. Uses a safe dialect of C (currently Cyclone), a special kernel sandbox, and a clever network trick to let you safely run new protocols that your communication peer ships to you.
  • Janos - Java-oriented Active Network Operating System. Parts of the process model we developed are getting into the Java standard via JSR-121.
  • Alchemy/Knit - Component composition for systems software.

Inactive Projects, with Software

  • The OSKit - A framework and libraries for building and extending operating systems.
  • Khazana - An infrastructure for building distributed services.
  • Flick - The Flexible IDL Compiler Kit.
  • Fluke and Flask - A high-security microkernel and OS. Security-Enhanced Linux and SEBSD are based on the the Flask security architecture, though in completely different implementations.
  • There are a lot more. You can find many of them here. Others you can infer from our Flux Paper Page.

[ Emulab Network Testbed ] [ ProtoGENI ] [ Experimentation Workbench ]
[ Flexlab ] [ Time-travel for Closed Distributed Systems ]
Flux Research Group / School of Computing / University of Utah

Problems? Contact the Flux Web Admin.
Last updated January 04, 2013.