The Raft Consensus Algorithm

Re:The Raft Consensus Algorithm by henrik_w on Sunday September 03, 2023 @12:00PM (#37371442)

Can't resist posting this (from Classic Programmer Paintings)

“Raft Consensus Algorithm Failure”,Théodore Géricault, 1819

https://classicprogrammerpaintings.com/post/6141087496359280...

[ Parent | on HN ]

Re:The Raft Consensus Algorithm by harryfyx on Sunday September 03, 2023 @09:40PM (#37376372)

Raft has a TLA+ proof, which should make it "bug free". I understand your post is a joke, but I wonder if there are actually any errors.

[ Parent | on HN ]

Re:The Raft Consensus Algorithm by henrydark on Monday September 04, 2023 @02:14PM (#37383265)

Actually, AFAIU the TLA+ proof is only for a few small cluster sizes - not for all sizes. And the number of nodes in the painting is definitely above that checked by TLA+...

[ Parent | on HN ]