Implementation of Koo and Toueg's Checkpointing and Recovery protocol