Starydark / PaxosStore-tlaLinks
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
☆21Updated 4 years ago
Alternatives and similar repositories for PaxosStore-tla
Users that are interested in PaxosStore-tla are comparing it to the libraries listed below
Sorting:
- In Spec We Trust☆36Updated last month
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆55Updated 10 months ago
- ☆300Updated last year
- Personal reading list/reference re: TLA+☆89Updated 7 years ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆117Updated 2 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆73Updated last year
- levi-db is a fast database engine☆36Updated 7 years ago
- KVell: the Design and Implementation of a Fast Persistent Key-Value Store☆284Updated 4 years ago
- An implementation of Intel's concurrent B+Tree (Palm Tree)☆175Updated 9 years ago
- Sundial: A distributed OLTP database testbed.☆38Updated 4 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- Implementation of the BwTree as specified by Microsoft Research☆100Updated 9 years ago
- ☆290Updated 2 years ago
- ☆44Updated 3 years ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆91Updated 2 years ago
- Transparent Paxos☆44Updated 6 years ago
- NOPaxos consensus protocol☆136Updated 4 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- Key Value Store based on LevelDB☆113Updated 3 years ago
- Software Transactional Objects☆58Updated last year
- A working project for High-concurrency B-tree source code in C☆251Updated 4 years ago
- ☆149Updated 2 years ago
- ☆51Updated last year
- record some trivialities☆53Updated last year
- A in-memory storage manager, that can do versioning and fast scans☆50Updated 8 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆169Updated last year
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- A Fast, Cost-Effective LSM-tree Based KV Store on Hybrid Storage☆200Updated 2 years ago
- ☆11Updated 8 months ago
- Experiments in partially ordered SMR.☆48Updated 4 years ago