Azure / RSL
Replicated State Library. RSL is the Azure Paxos implementation which is used by multiple products in Azure and Bing. It provides the traditional Paxos functionality in a real world implementation. RSL includes support for dynamic replica set reconfiguration, including dynamic growth/srinking of the cluster, and also service-healing (replica rep…
☆75Updated last year
Related projects ⓘ
Alternatives and complementary repositories for RSL
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- Azure Cosmos TLA+ specifications☆272Updated 11 months ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- pmwcas☆135Updated last year
- ☆26Updated 2 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆165Updated 7 months ago
- FishStore is a prototype fast ingestion and querying layer for flexible-schema data☆214Updated last year
- Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index☆46Updated last month
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A curated list of resources related to Seastar, an industrial-grade C++ framework for building high-performance servers.☆95Updated 2 months ago
- Implementation of the BwTree as specified by Microsoft Research☆98Updated 8 years ago
- NOPaxos consensus protocol☆133Updated 4 years ago
- A Raft Library in C++ based on the Raft implementation in Apache Kudu☆124Updated this week
- Experiments in partially ordered SMR.☆46Updated 3 years ago
- Read- and latency-optimized log structured merge tree☆174Updated 12 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 3 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆50Updated 2 months ago
- A collection of state machine replication protocols☆118Updated last year
- Fast linearizability checker☆66Updated 9 years ago
- Resources for the transaction SIG☆63Updated 2 years ago
- Affinity database C++ kernel library☆30Updated 10 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
- terark basic library☆25Updated 6 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆41Updated last year
- An implementation of Intel's concurrent B+Tree (Palm Tree)☆172Updated 8 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆44Updated 2 years ago
- framework for evaluating (planet-scale) consensus protocols☆126Updated 8 months ago
- A in-memory storage manager, that can do versioning and fast scans☆50Updated 8 years ago
- Transparent Paxos☆43Updated 5 years ago