Computer Science Distributed Computing February 13, 2021 Distributed system snapshots: consistent vs inconsistent cuts