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
- A simple header-only Multiversion Concurrency Control (MVCC) implementation in C++11.☆26Updated 9 years ago
- a modern c++17 high performance, cross-platform distributed mq☆24Updated 5 years ago
- Slab Memory Allocator in Application Layer☆28Updated 7 years ago
- TokuFT is a high-performance, transactional key-value store☆19Updated 4 years ago
- Raft Consensus Algorithm Implementation in C++ (11)☆25Updated 10 years ago
- A multiple thread IO reactor network library for high performance c++ server programming☆7Updated 9 years ago
- concurrency library for C++☆74Updated 10 years ago
- A nano concurrency library☆24Updated 4 years ago
- C++ proactor network library for Linux☆17Updated 9 years ago
- Small, safe and fast formatting library☆16Updated 6 years ago
- A header-only C++ wrapper of libevent2☆29Updated 10 years ago
- Infomation about C++ Coroutines TS v1 software and content☆9Updated 6 years ago
- The C++ TiKV client used by TiFlash.☆40Updated last month
- universal event-driven, concurrent infrastructure for ANSI-C/C++, also known as asychronous signal-slot and source level continuation mec…☆70Updated 4 years ago
- timing wheel implementation☆14Updated 12 years ago
- clone from alibaba tb-common-util http://code.taobao.org/svn/tb-common-utils/☆16Updated 9 years ago
- agentzh's fork of Russ Cox's re1 toy regex library☆19Updated 12 years ago
- A distributed filesystem☆10Updated 8 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 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
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Updated 6 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- FastDCS is a distributed computing system.☆35Updated 6 years ago
- DPDK-based UDP echo server☆13Updated 9 years ago
- Lite Distributed File System☆12Updated 5 years ago
- A lightweight and fast key-value storage engine based on the buffer tree.☆53Updated 11 years ago
- A CPP wrapper for asynchronous socket server using linux's latest IO_URING API☆25Updated 3 years ago
- Lock free 论文集合,若干无锁数据结构实现的经典论文,500多页☆50Updated 7 years ago
- Fast wait-free algorithms designed for shared memory systems☆45Updated 6 years ago
- The Lightstep distributed tracing library for C++☆39Updated last year