Committing the snapshot algorithm