This is the source code repository of the RedPlane project. Check out our paper for more details.
This repository contains key components to run the RedPlane protocol.
| Subdirectory | Description |
|---|---|
redplane-p4 |
P4 source code for RedPlane-enabled in-switch applications |
redplane-store |
C++ source code for RedPlane state store |
redplane-tla |
TLA+ specification of the RedPlane protocol |
scripts |
Scripts for setup regular switches, servers, and building P4 applications |
Each subdirectory includes build instructions for the components.
We tested the current implementation in the following enviornments:
- RedPlane P4: Tofino-based Arista 7170s switch with Intel P4 studio 9.1.1
- RedPlane state store: Ubuntu 18.04 with Mellanox OFED 4.7-4.2.9.0
Our testbed consists of two Tofino-based Arista 7170 switches, three Arista 7060CX regular switches, and servers connected as follows:
Daehyeok Kim (daehyeok@cs.cmu.edu)