Aggarwal, Deepanker; Kiehn, Astrid
(2015-09-10)
The well-known coordinated snapshot algorithm of mutable
checkpointing [7{9] is studied. We equip it with a concise formal model
and analyze its operational behavior via an invariant characterizing the
snapshot computation. ...