Heidi Howard
Heidi Howard
This seems like something @jeffa5 might be interested in for [LSKV](https://github.com/microsoft/LSKV), related ticket: https://github.com/microsoft/LSKV/issues/208
As did https://github.com/microsoft/CCF/pull/5790/checks?check_run_id=18092504269
Agreed, the client must wait for commit for a linearizable read (or write for that matter). This comment was referring to the discussion around CCF withholding client responses until the...
Yes, a successful appendEntries to a majority, even if just a heartbeat, is sufficient for the leader to know that a read is linearizable
> To use the AppendEntries roundtrip, do we need to include a new counter value in AEs (and responses)? I'm specifically worried about delayed arrival of ACKs. You can't currently...
An example of the non-linearizability of read-only transactions is now provided in the TLA+ CI https://github.com/microsoft/CCF/actions/runs/6381743027/job/17318854604