3 ms·
Wow, that's amazing. On the topic of fault tolerance and consensus, here's a short but well done article on it: https://ug93tad.github.io/consensus/ https://ug
by no_identd 9y ago
Wow, that's amazing. On the topic of fault tolerance and consensus, here's a short but well done article on it:
https://ug93tad.github.io/consensus/ https://ug93tad.github.io/consensus/
And on the topic of Paxos, some recent HN discussion:
https://news.ycombinator.com/item?id=16003662 https://news.ycombinator.com/item?id=16003662 - WPaxos: a wide area network Paxos protocol
https://news.ycombinator.com/item?id=13923949 https://news.ycombinator.com/item?id=13923949 - Paxos in 25 Lines
https://news.ycombinator.com/item?id=13950493 https://news.ycombinator.com/item?id=13950493 - Gryadka is not Paxos, so it's probably wrong [RETRACTED]
- rystsov 9y agoSome update on Gryadka - Tobias Schottdorf and Greg Rogers independently explored it with TLA+ and didn't find any issues: - https://tschottdorf.github.io/single-decree-paxos-tla-compare-and-swap https://tschottdorf.github.io/single-decree-paxos-tla-compar... - https://medium.com/@grogepodge/tla-specification-for-gryadka-c80cd625944e https://medium.com/@grogepodge/tla-specification-for-gryadka...