Ricart%E2%80%93Agrawala algorithm