tapir

tapir

This repo includes all of the TAPIR and IR code as well as implementations of two-phase commit, strict two-phase locking, optimistic concurrency control and Viewstamped Replication for building a variety of replicated, transactional key-value stores.

Name Last Update
lib Loading commit data...
libtapir Loading commit data...
lockserver Loading commit data...
proof Loading commit data...
replication Loading commit data...
store Loading commit data...
timeserver Loading commit data...
ycsb-t Loading commit data...
.gitmodules Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...