Ordered Systems Lab

OKLib

OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems

orbit

Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications

Legolas

Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems

pBox

pBox: Enforcing Performance Isolation within Application

Arthas

Arthas: Checkpoint and Selective Rollback for PMEM Systems

linux-dev-bootcamp

Linux kernel development bootcamp

orbit-kernel

Linux Kernel modification for the Obi-Wan project

orbit-userlib

Userspace library and example programs for the Obi-Wan project

orbit-compiler

Companion compiler for the orbit abstractions

obiwan-httpd

httpd modification for the Obi-Wan project

Arthas-eval-Memcached

Memcached with collected bugs for Arthas evaluation

Arthas-PMDK

Modified PMDK with support for Arthas

go-zkbench

ZooKeeper benchmark in Go

obiwan-leveldb

LevelDB modification for Obi-Wan project

obiwan-mysql

MySQL modification for the Obi-Wan project

obiwan-nginx

Nginx modification for the Obi-Wan project

obiwan-redis

Redis modification for the Obi-Wan project

obiwan-varnish

Varnish modification for the Obi-Wan project evaluation

orbit-postgresql

Postgres with orbit changes and enhancements

pbox-Apache

pbox-Apache-mod_fcgid

perfIsolation-memcached

perfIsolation-PostgreSQL

perfIsolation-varnish

psandbox-kernel

Performance Sandox Abstraction in Linux Kernel

psandbox-userlib

Performance Sandox User-level Library

psandbox_compiler

reading-group

Reading group website

violet-s2e-guest-tools

Fork of S2E/guest-tools

xinda-dep