Implementation of Chandry and Lamport global state algorithm