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:
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆58Updated last year
- In Spec We Trust☆38Updated 2 months ago
- ☆299Updated last year
- Personal reading list/reference re: TLA+☆90Updated 7 years ago
- ☆51Updated last year
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆74Updated last year
- KVell: the Design and Implementation of a Fast Persistent Key-Value Store☆286Updated 4 years ago
- Transparent Paxos☆44Updated 6 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
- Implementation of the BwTree as specified by Microsoft Research☆100Updated 9 years ago
- Peloton Design Docs☆27Updated 7 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆172Updated last year
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆117Updated 2 years ago
- NOPaxos consensus protocol☆137Updated 4 years ago
- record some trivialities☆53Updated last year
- ☆290Updated 2 years ago
- An implementation of Intel's concurrent B+Tree (Palm Tree)☆175Updated 9 years ago
- levi-db is a fast database engine☆36Updated 7 years ago
- Fast and efficient file system metadata through LSM-tree☆30Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆19Updated 9 years ago
- Experiments in partially ordered SMR.☆48Updated 4 years ago
- [WIP]TLA+教程中文翻译☆48Updated 7 years ago
- ☆11Updated 9 months ago
- Masstree -- lockless cache-aware trie of B+ trees [experimental]☆100Updated 7 years ago
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- Spring 2014. Stanford CS346 project. A mini relational database with query optimization☆167Updated 10 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆91Updated 2 years ago
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆142Updated 4 years ago
- A working project for High-concurrency B-tree source code in C☆251Updated 5 years ago