Post #1823385

@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.