2026-04-25 05:02 UTC
@flippac @jer_gib Yes, I am in fact conceiving of the "state" recorded by the snapshot algorithm as being an event log.
Replies (1)
-
@lindsey@recurse.social 2026-04-25 05:17
@flippac @jer_gib Also, the Chandy-Lamport snapshot algorithm (which is the one I was trying to write down safety and liveness specifications for!) isn't particularly fault-tolerant (it won't terminate if marker messages are lost, for instance), but, hey, at least it won't record a bad snapshot.