mit-pdos / dsrg
Distributed Systems Reading Group
☆20Updated 7 years ago
Alternatives and similar repositories for dsrg:
Users that are interested in dsrg are comparing it to the libraries listed below
- ☆13Updated 7 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- RWMutex for sharing of multicore machines.☆17Updated 5 years ago
- Rust bindings for SPDK☆19Updated 7 years ago
- attempt at summarizing Raft in one page of pseudo-code☆20Updated 6 years ago
- Code snippets for the workshop on concurrent data structure implementation.☆31Updated 12 years ago
- Paxos-replicated key-value store in 3 hours or less.☆25Updated 7 years ago
- Feed-forward Bloom filters☆52Updated 13 years ago
- SQL Testing Framework for the Peloton DBMS☆20Updated 7 years ago
- ☆27Updated 8 years ago
- Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…☆53Updated 12 years ago
- ☆14Updated 7 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- Paxos protocol variants framework☆26Updated 6 years ago
- Prototype of FPaxos, built upon LibPaxos3☆49Updated 4 years ago
- ☆25Updated 7 years ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- Eventually Persistent Couchbase Data Layer.☆28Updated 6 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- Provides a Paxos-based persistent log type construct.☆12Updated 4 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆48Updated 9 years ago
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Updated 9 years ago
- Makes building C++ projects easier with Buck.☆23Updated 3 years ago
- Fast linearizability checker☆66Updated 9 years ago
- A SQL-to-native-code compiler based on LLVM☆46Updated 9 years ago
- ☆10Updated 7 years ago
- Dependably fast multi-core in-memory transactions☆19Updated 7 years ago
- The SprayList data structure☆31Updated 7 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
- A curated list of TLA+ resources.☆66Updated 5 years ago