aganesan4 / CORDS
File-system fault injection framework for distributed storage systems
☆62Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for CORDS
- FOEDUS main source code repository☆64Updated 7 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆193Updated 2 years ago
- Experiments in partially ordered SMR.☆46Updated 3 years ago
- A Distributed Key-Value Store for FAWN☆76Updated 14 years ago
- DB for DAQ systems based on Persistent Memory and NVMe drives☆21Updated 4 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 7 years ago
- Yesquel: scalable SQL storage for Web apps☆42Updated 7 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆72Updated 9 years ago
- ☆26Updated 2 years ago
- NOPaxos consensus protocol☆133Updated 4 years ago
- Fast linearizability checker☆66Updated 9 years ago
- reimplementing scalog from scratch☆30Updated 4 years ago
- Eris distributed transactions☆52Updated 6 years ago
- Prototype of FPaxos, built upon LibPaxos3☆49Updated 4 years ago
- A project to implement Augmented Time☆49Updated 10 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆16Updated 8 years ago
- ☆21Updated 7 years ago
- A distributed execution engine for cloud computing☆82Updated 12 years ago
- MICA: A Fast In-memory Key-Value Store (see isca2015 branch for the ISCA2015 version)☆204Updated 8 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 5 years ago
- Fork of the Shore-MT storage manager used by the research project Instant Recovery☆29Updated 6 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆87Updated 8 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- pmwcas☆135Updated last year
- RocksDB modified to separate keys and values, resulting in a major decrease in write amplification without sacrificing performance☆54Updated 4 years ago
- ☆35Updated 9 months ago
- ZooKeeper Atomic Broadcast in Java☆54Updated 2 years ago
- FOEDUS: Fast Optimistic Engine for Data Unification Services☆66Updated 7 years ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- Transparent Paxos☆43Updated 5 years ago