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☆342Feb 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,371Dec 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,716Jul 17, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Java memory model research☆10Jan 26, 2021Updated 5 years ago
- MIT6.824实现分布式一致性算法——Raft&Paxos☆47May 21, 2019Updated 6 years ago
- A in-memory storage manager, that can do versioning and fast scans☆50Aug 18, 2016Updated 9 years ago
- Computer Papers☆11Jun 15, 2025Updated 10 months ago
- A production-grade java implementation of paxos consensus algorithm☆207Mar 16, 2026Updated last month
- A (somewhat incomplete) implementation of the Paxos algorithm in Python.☆18Mar 4, 2012Updated 14 years ago
- clone from alibaba tb-common-util http://code.taobao.org/svn/tb-common-utils/☆16Dec 28, 2015Updated 10 years ago
- A collection of toys☆23Dec 3, 2016Updated 9 years ago
- Raft一致性算法论文的中文翻译☆6,285Apr 23, 2024Updated 2 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.
- TokuFT is a high-performance, transactional key-value store☆19May 6, 2020Updated 6 years ago
- Awesome list for Paxos and friends☆2,148May 29, 2024Updated last year
- CS 5830: Cryptography☆15May 17, 2017Updated 8 years ago
- Source for blog post demonstrating the difference between a proactor and reactor☆10May 1, 2017Updated 9 years ago
- 基于redis的Kong网关高性能鉴权插件☆10May 25, 2018Updated 7 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Sep 19, 2024Updated last year
- Fork of NACA from Google Code☆13Feb 25, 2010Updated 16 years ago
- A Kong plugin to do request throttling using the Leaky Bucket algorithm☆12Sep 30, 2019Updated 6 years ago
- programming, database, distributed system☆3,402Dec 29, 2017Updated 8 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.
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Jun 17, 2018Updated 7 years ago
- ☆35Mar 27, 2021Updated 5 years ago
- 动手写全文搜索引擎☆10Aug 12, 2020Updated 5 years ago
- [c++]使用boost.asio写的简单内存键值对缓存☆11Jul 31, 2017Updated 8 years ago
- 分布式id生成器☆37Aug 28, 2016Updated 9 years ago
- 能安全适用于个人助理和氛围编程以及企业应用的全栈自进化通用智能体☆2,558May 2, 2026Updated last week
- A raft consensus implementation that is simply and understandable☆319Nov 17, 2018Updated 7 years ago
- A production-grade java implementation of RAFT consensus algorithm.☆3,802Apr 28, 2026Updated last week
- Key-Value/Document store database library with btree and ARTree indexing methods, SSN-MVCC concurrency☆78Jul 3, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A minimal but extreme fast B+ tree indexing structure demo for billions of key-value storage☆1,881Jan 4, 2023Updated 3 years ago
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆141Apr 27, 2021Updated 5 years ago
- An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available dis…☆4,215Oct 25, 2024Updated last year
- ggml学习笔记，ggml是一个机器学习的推理框架☆18Mar 24, 2024Updated 2 years ago
- C++ header only multi-paxos library.☆41Mar 30, 2022Updated 4 years ago
- learning VHDL☆12Jul 1, 2014Updated 11 years ago
- 基于redis事件库开发，高性能socket性能测试工具。☆14Dec 8, 2014Updated 11 years ago