CatKang / Solitaire
Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
☆17Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Solitaire
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 6 years ago
- A high-performance, concurrent hash table☆24Updated 10 years ago
- A cache-efficiency weight balanced binary tree☆69Updated 10 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆24Updated 5 years ago
- Add TTL feature on rocksdb, and compatible with rocksdb☆44Updated 6 years ago
- A in-memory storage manager, that can do versioning and fast scans☆50Updated 8 years ago
- An attempt to split the Raft library out of LogCabin☆38Updated 7 years ago
- consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…☆30Updated 7 years ago
- levi-db is a fast database engine☆36Updated 6 years ago
- A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb☆42Updated 4 years ago
- A framework for distributed systems verification, with fault injection☆47Updated 7 months ago
- Kosmos Distributed Filesystem☆29Updated 12 years ago
- Yet Another RAFT implementation☆126Updated 6 years ago
- The C++ TiKV client used by TiFlash.☆40Updated 3 weeks ago
- Peloton Design Docs☆27Updated 6 years ago
- horoscope is an optimizer inspector for DBMS.☆36Updated 3 years ago
- Robust Distributed System Nucleus (rDSN) is an open framework for quickly building and managing high performance and robust distributed s…☆33Updated 6 years ago
- A C++ Raft implementation, project moved☆24Updated 8 years ago
- A data structure and algorithm library built for TerarkDB☆62Updated 2 years ago
- A fork of Couchbase ForestDB project, aiming at making it simple and generic☆17Updated 2 months ago
- Code snippets for the workshop on concurrent data structure implementation.☆31Updated 11 years ago
- ☆16Updated 7 years ago
- TokuFT is a high-performance, transactional key-value store☆19Updated 4 years ago
- Implementation of the BwTree as specified by Microsoft Research☆98Updated 8 years ago
- Raft Consensus Algorithm Implementation in C++ (11)☆25Updated 10 years ago
- Read- and latency-optimized log structured merge tree☆174Updated 12 years ago
- ☆43Updated 3 years ago
- Simple RPC in C++, with Python binding☆27Updated 9 years ago
- A BPF-based kernel fault injection service☆31Updated 10 months ago