Mainly implement the Ricart-Agrawala's mutex algorithm with DistAlgo