Koo Toueg's Checkpointing and recovery algorithm implementation