mwhittaker / consistency_in_distributed_systemsLinks
Distributed Systems Consistency Reading Group
☆42Updated 4 years ago
Alternatives and similar repositories for consistency_in_distributed_systems
Users that are interested in consistency_in_distributed_systems are comparing it to the libraries listed below
Sorting:
- A collection of state machine replication protocols☆119Updated 2 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 4 years ago
- Paper Summaries☆55Updated 4 years ago
- Related resources for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel E…☆122Updated 2 months ago
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆61Updated 10 months ago
- Time, Clocks, and the Ordering of Events☆41Updated 3 years ago
- Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection☆117Updated 4 years ago
- A port of Akka's Phi Accrual Failure Detector☆48Updated last year
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆323Updated 3 years ago
- A curated list of resources related to Seastar, an industrial-grade C++ framework for building high-performance servers.☆105Updated last week
- A playground to experiment with Raft proposal pipeline optimization☆16Updated 2 years ago
- Jepsen and Elle based Consistency Checking Interface☆20Updated 3 years ago
- A testing framework for distributed systems that can inject different types of network-partitioning faults☆16Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆495Updated 6 months ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆46Updated 2 years ago
- CASPaxos: Replicated State Machines without logs☆102Updated 6 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆92Updated 6 years ago
- Readings in Stream Processing☆125Updated 3 weeks ago
- A Raft Library in C++ based on the Raft implementation in Apache Kudu☆137Updated last week
- ☆129Updated 7 years ago
- RobinHood the first tail latency-aware caching system☆96Updated 6 years ago
- Paxos Made Moderately Complex☆186Updated last year
- Formal models of core Elasticsearch algorithms☆210Updated 6 months ago
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 4 years ago
- Transactional functions-as-a-service for database-oriented applications.☆155Updated last year
- RWMutex for sharing of multicore machines.☆17Updated 6 years ago
- Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17☆62Updated last year
- Small numerical simulator example☆55Updated last year
- Eris distributed transactions☆52Updated 7 years ago