News for hackers. Stuff that matters.

A comment on Introduction to Curp Protocol.

Re:Introduction to Curp Protocol by eatonphil on Monday October 30, 2023 @06:09PM (#38076643)
Nice to have the TLA+ spec in the repo. Though it doesn't have the details on leader election.

https://github.com/xline-kv/Xline/blob/master/curp/tla%2B/cu...

[ Parent | on HN ]
Re:Introduction to Curp Protocol by thamer on Monday October 30, 2023 @07:42PM (#38077562)
For those interested in this sort of thing, see also Raft's TLA+ specification: https://github.com/ongardie/raft.tla
[ Parent | on HN ]
Re:Introduction to Curp Protocol by b0in on Tuesday October 31, 2023 @06:41AM (#38082745)
The CURP paper doesn't define a new leader election algorithm and presumes you use an existing one like raft¹. Xline is using raft based on the readme

https://github.com/xline-kv/Xline/tree/master/curp/tla%2B

¹warning, I skimmed and ctrl-fd for "leader election"

[ Parent | on HN ]