hnes / paxos-made-easy
Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
☆7Updated 4 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:
- A simple header-only Multiversion Concurrency Control (MVCC) implementation in C++11.☆26Updated 9 years ago
- A high-performance, concurrent hash table☆24Updated 11 years ago
- The C++ TiKV client used by TiFlash.☆39Updated 3 months ago
- Lab assignments for 6.826☆11Updated 5 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 6 years ago
- Fast wait-free algorithms designed for shared memory systems☆46Updated 7 years ago
- TokuFT is a high-performance, transactional key-value store☆19Updated 5 years ago
- Raft Consensus Algorithm Implementation in C++ (11)☆25Updated 10 years ago
- Parallel programming library in C++11☆12Updated 5 years ago
- A nano concurrency library☆24Updated 4 years ago
- A redis compatible database.☆15Updated 3 years ago
- timing wheel implementation☆14Updated 12 years ago
- Shuo's notes☆36Updated last week
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- The LibCoroC is a coroutine library for Unix like systems written by C.☆10Updated 8 years ago
- A distributed filesystem☆10Updated 8 years ago
- A multiple thread IO reactor network library for high performance c++ server programming☆7Updated 9 years ago
- consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…☆29Updated 7 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Raft network simulator, for QA☆18Updated 6 years ago
- A C++ Raft implementation, project moved☆24Updated 8 years ago
- agentzh's fork of Russ Cox's re1 toy regex library☆19Updated 12 years ago
- clone from alibaba tb-common-util http://code.taobao.org/svn/tb-common-utils/☆16Updated 9 years ago
- A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb☆42Updated 5 years ago
- Explore JIT in TiDB☆27Updated 3 years ago
- A header-only C++ wrapper of libevent2☆29Updated 10 years ago
- A cache-efficiency weight balanced binary tree☆69Updated 10 years ago
- A event-driven network library based on reactor pattern written in C.☆17Updated 9 years ago
- A simple fast MPMC obstruction-free linearizable concurrent queue for C (based on linux[futex]/gcc/x86_64)☆39Updated 4 years ago