Demo implementation of the Ricart–Agrawala algorithm