Heidi Howard

This short workshop paper might be useful: https://dl.acm.org/doi/pdf/10.1145/3447851.3458739

I agree that these might be worth considering. Essentially, liveness in Raft depends on establishing a stable leader who is able to make progress, who is not unduly forced to...

Thanks for the quick reply! Looking forward to 2.0 final :) Aside: It is also a shame that simply setting ``export CCF_VERSION=2.0.0_rc9`` does not fix this as the correct URL...

https://github.com/microsoft/CCF/discussions/4264 documents future changes we might want to make to the TLA+ specs but are beyond scope for this PR

Nope sorry. It's been too many years since I ran this. I'd suggest looking at [OCons](https://github.com/Cjen1/OCons) for a more up-to-date consensus simulator in OCaml.

I thought it had both. You might find more consensus simulators here: https://github.com/heidihoward/distributed-consensus-reading-list

``votesRequested`` is first indexed by candidate sending the ``RequestVote`` message and then by the node which received the message (it ignores when candidates vote for themselves). So the following state...

This issue seems to have been caused by a problem with the logic for determining what set of servers constitutes a quorum when a candidate is trying to become a...

So I think there are two separate issues here which are worth considering separately: 1. I am curious about the idea of quorums across all active configurations instead of a...

I think at the heart of this discussion is the definition of committable. My understanding is that a committable transaction (one that is followed by a signed transaction) is **not**...