https://github.com/wangrunji0408/paxos
[WIP] Try Paxos in Rust.
https://github.com/wangrunji0408/paxos
paxos
Last synced: about 1 month ago
JSON representation
[WIP] Try Paxos in Rust.
- Host: GitHub
- URL: https://github.com/wangrunji0408/paxos
- Owner: wangrunji0408
- Created: 2021-07-23T15:23:00.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2021-07-24T18:06:06.000Z (almost 4 years ago)
- Last Synced: 2025-03-15T01:50:58.400Z (about 1 month ago)
- Topics: paxos
- Language: Rust
- Homepage:
- Size: 6.84 KB
- Stars: 3
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Paxos
Basic Paxos in actor model.
TODO:
- Simulator.
- More test cases.
- Deterministic testing framework.
> Boss Kang: Paxos is much easier than Raft.