Ricart-Agrawala algorithm