1张图论证Paxos，比数学论证好理解的多，让你秒懂Paxos。 本项目从理论与代码上双重论证Paxos。 我相信本项目会是你在网上所能找到的，最通俗，最简洁，最完整（表现在不仅有理论，而且有实现代码和测试代码）的Paxos讲解与论证资料。 提供c++ java版本paxos算法封装代码，以及正确性压测程序。
☆161Sep 20, 2017Updated 8 years ago
Alternatives and similar repositories for SecondPaxos
Users that are interested in SecondPaxos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My multi-paxos service implement :-)☆147Aug 25, 2022Updated 3 years ago
- 分布式一致性协议相关论文及中文译文，涵盖Paxos、Raft、Zab☆340Feb 14, 2019Updated 7 years ago
- Implement the Paxos Algorithm☆18Nov 16, 2016Updated 9 years ago
- The Paxos library implemented in C++ that has been used in the WeChat production environment.☆3,373Dec 4, 2023Updated 2 years ago
- PaxosStore has been deployed in WeChat production for more than two years, providing storage services for the core businesses of WeChat b…☆1,714Jul 17, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Java memory model research☆10Jan 26, 2021Updated 5 years ago
- MIT6.824实现分布式一致性算法——Raft&Paxos☆47May 21, 2019Updated 7 years ago
- Raft Java implementation which is simple and easy to understand.☆1,228Jan 10, 2024Updated 2 years ago
- Computer Papers☆12Jun 15, 2025Updated last year
- Ragel codegenerator for Go (see branch `golang-6`)☆32May 7, 2013Updated 13 years ago
- Raft一致性算法论文的中文翻译☆6,287Apr 23, 2024Updated 2 years ago
- Automatically generate golang assembly files from native assembly code☆14Jun 6, 2018Updated 8 years ago
- TokuFT is a high-performance, transactional key-value store☆18May 6, 2020Updated 6 years ago
- Awesome list for Paxos and friends☆2,142May 29, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Apache iceberg Spark s3 examples☆20Mar 1, 2024Updated 2 years ago
- Source for blog post demonstrating the difference between a proactor and reactor☆10May 1, 2017Updated 9 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Sep 19, 2024Updated last year
- a direct monitor tools for zookeeper☆10Jul 15, 2016Updated 9 years ago
- Fork of NACA from Google Code☆13Feb 25, 2010Updated 16 years ago
- programming, database, distributed system☆3,397Dec 29, 2017Updated 8 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Jun 17, 2018Updated 8 years ago
- ☆35Mar 27, 2021Updated 5 years ago
- Go-style concurrency in C++11☆3,303Jul 3, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [c++]使用boost.asio写的简单内存键值对缓存☆11Jul 31, 2017Updated 8 years ago
- 分布式id生成器☆38Aug 28, 2016Updated 9 years ago
- 能安全适用于氛围编程和企业应用的全栈自进化通用智能体☆2,572Jul 2, 2026Updated last week
- A raft consensus implementation that is simply and understandable☆318Nov 17, 2018Updated 7 years ago
- A production-grade java implementation of RAFT consensus algorithm.☆3,810Jun 16, 2026Updated 3 weeks ago
- 基于LevelDB的改进☆30Aug 4, 2019Updated 6 years ago
- Key-Value/Document store database library with btree and ARTree indexing methods, SSN-MVCC concurrency☆77Jul 3, 2021Updated 5 years ago
- A minimal but extreme fast B+ tree indexing structure demo for billions of key-value storage☆1,878Jan 4, 2023Updated 3 years ago
- A go implementation of the Paxos algorithm☆345Oct 3, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- golang RPC framework benchmark☆19Aug 27, 2019Updated 6 years ago
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆141Apr 27, 2021Updated 5 years ago
- Yet Another RAFT implementation☆125Oct 12, 2018Updated 7 years ago
- An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available dis…☆4,217Oct 25, 2024Updated last year
- ggml学习笔记，ggml是一个机器学习的推理框架☆18Mar 24, 2024Updated 2 years ago
- Mixed-Radix DIT FFT in C++11☆13Aug 27, 2018Updated 7 years ago
- C++ header only multi-paxos library.☆41Mar 30, 2022Updated 4 years ago