The project is the implementation of Koo and Toueg Checkpoint/Recovery Algorithm.