3 ms·
My understanding is that Raft has been proven formally correct in one of the author's PhD: https://ramcloud.stanford.edu/~ongaro/thesis.pdf https://ramcloud.st
by justinsb 12y ago
My understanding is that Raft has been proven formally correct in one of the author's PhD:
https://ramcloud.stanford.edu/~ongaro/thesis.pdf https://ramcloud.stanford.edu/~ongaro/thesis.pdf
(Chapter 8)
- alexnewman 12y agonaw dog, they got tla+ and shiznick
- tedsuo 12y agoThat's great, they hadn't done this when I last talked to them.