raft-rs
raft-rs copied to clipboard
eatonphil
Another minimal Raft implementation in Rust.
I noticed there is a seed for the testing in the screenshot for this repo, which belongs to a deterministic simulation, tiger beetle style. Having said that, is there any...
We [connected](https://github.com/microsoft/CCF/blob/main/tla/consensus/Traceccfraft.tla) the implementation of [CCF](https://ccf.microsoft.com) to the Ongaro-based [(TLA+) specification](https://github.com/microsoft/CCF/blob/main/tla/consensus/ccfraft.tla) for end-to-end testing. It made us discover [serious](https://github.com/microsoft/CCF/issues/5674) [bugs](https://github.com/microsoft/CCF/issues/5325). A similar approach is [currently being contributed](https://github.com/etcd-io/raft/issues/111) to etcd. If...
