C++ implementation of Ricart-Agrawala algorithm