mwhittaker / clocks
Time, Clocks, and the Ordering of Events
☆41Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for clocks
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A collection of state machine replication protocols☆118Updated last year
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 8 months ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- Personal reading list/reference re: TLA+☆86Updated 6 years ago
- framework for evaluating (planet-scale) consensus protocols☆126Updated 8 months ago
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆48Updated last month
- Prototype implementation of SwiftPaxos (NSDI 2024)☆14Updated 7 months ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆165Updated 7 months ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆50Updated 2 months ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 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
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 5 years ago
- Experiments in partially ordered SMR.☆46Updated 3 years ago
- survey and analysis of kv-stores in academia and industry☆9Updated 5 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 3 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆60Updated 4 years ago
- NOPaxos consensus protocol☆133Updated 4 years ago
- ☆130Updated 2 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago
- Paper Summaries☆55Updated 4 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 3 years ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- OpenAurora is a cloud-native database system prototype developed at Purdue University. It is an open-source version of Amazon Aurora. It …☆72Updated this week
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆112Updated last year
- A playground to experiment with Raft proposal pipeline optimization☆17Updated 2 years ago