hnes / paxos-made-easyLinks
Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
☆7Updated 5 years ago
Alternatives and similar repositories for paxos-made-easy
Users that are interested in paxos-made-easy are comparing it to the libraries listed below
Sorting:
- The C++ TiKV client used by TiFlash.☆40Updated 2 weeks ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 7 years ago
- A high-performance, concurrent hash table☆24Updated 11 years ago
- timing wheel implementation☆14Updated 13 years ago
- FastDCS is a distributed computing system.☆35Updated 7 years ago
- A event-driven network library based on reactor pattern written in C.☆17Updated 9 years ago
- A simple header-only Multiversion Concurrency Control (MVCC) implementation in C++11.☆26Updated 9 years ago
- A cache-efficiency weight balanced binary tree☆70Updated 11 years ago
- A simple fast MPMC obstruction-free linearizable concurrent queue for C (based on linux[futex]/gcc/x86_64)☆39Updated 4 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 7 years ago
- C++ proactor network library for Linux☆17Updated 10 years ago
- Fast wait-free algorithms designed for shared memory systems☆46Updated 7 years ago
- A nano concurrency library☆24Updated 5 years ago
- A lightweight and fast key-value storage engine based on the buffer tree.☆53Updated 11 years ago
- A data structure and algorithm library built for TerarkDB☆66Updated 3 years ago
- a modern c++17 high performance, cross-platform distributed mq☆25Updated 5 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 6 years ago
- ☆60Updated 2 years ago
- TokuFT is a high-performance, transactional key-value store☆19Updated 5 years ago
- A fork of Couchbase ForestDB project, aiming at making it simple and generic☆18Updated 4 months ago
- Has been migrated to https://github.com/apache/incubator-pegasus/tree/master/rdsn☆142Updated 3 years ago
- Yet Another RAFT implementation☆126Updated 6 years ago
- A header-only C++ wrapper of libevent2☆29Updated 10 years ago
- universal event-driven, concurrent infrastructure for ANSI-C/C++, also known as asychronous signal-slot and source level continuation mec…☆69Updated 5 years ago
- Explore JIT in TiDB☆27Updated 3 years ago
- A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb☆42Updated 5 years ago
- Tunnel is a Pipeline Execution Engine based on C++20 coroutine☆30Updated last year
- view the coroutine's stack information☆15Updated 5 years ago
- Lock free 论文集合,若干无锁数据结构实现的经典论文,500多页☆51Updated 8 years ago
- network library based on io_uring and C++20 coroutine☆106Updated 5 years ago