ailidani/paxi
View on GitHub ↗ ★ 556 Go
Paxos protocol framework
4 mentions on Hacker News by 3 people: 2 stories, 2 comments · first 2018-11-08 · latest 2021-07-16
20082026
-
Author seems to be using https://github.com/ailidani/paxi for actual implementation and proof. I'm more of a python/rust guy. There have been some attempts to make model checkers in rust: https://github.com/stateright/stateright The issue…
comment by adsharma · 2021-07-16 · in Paxos vs. Raft: Have we reached consensus on distributed consensus? -
…included gryadka[3] which is in JS. [0]: https://cse.buffalo.edu/tech-reports/2017-03.pdf [1]: https://github.com/ailidani/paxi [2]: https://arxiv.org/abs/1802.07000 [3]: https://github.com/gryadka/js
comment by hardwaresofton · 2018-11-08 · in Writing Network Drivers in Go [pdf]