ongardie/dissertation
View on GitHub ↗ ★ 1,095 TeX
Sources for my PhD dissertation on the Raft consensus algorithm
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2015-05-05 · latest 2015-08-06
20082026
-
…only a machine-checked proof could definitively be error-free." From Appendix B of my dissertation: https://github.com/ongardie/dissertation/#readme This Coq proof is an enormous step forward. It's that machine-checked proof I was hoping…
comment by ongardie · 2015-08-06 · in Prove Raft Correct -
…or give the client the option. Check out 6.3-6.4 in my dissertation for a ton more detail: https://github.com/ongardie/dissertation#readme
comment by ongardie · 2015-05-05 · in Creator of Raft Algorithm introduces LogCabin -
…keeps a copy of the entire log in memory for now, but I hope to address that eventually [2]. [1] https://github.com/ongardie/dissertation#readme [2] https://github.com/logcabin/logcabin/issues/106
comment by ongardie · 2015-05-05 · in Creator of Raft Algorithm introduces LogCabin