Randomized uniform self-stabilizing mutual exclusion
Résumé
A system is \emph{self-stabilizing} if when started in any configuration it reaches a legal configuration, all subsequent configurations are legal. We present a randomized self-stabilizing mutual exclusion that works on any uniform graphs. It is based on irregularities that have to be present in
the graph. Irregularities make random walks and merge on meeting. The number of states is bounded by $o(\DegMax\ln\VerNbr)$ where $\DegMax$ is the maximal degree and $\VerNbr$ is the number of vertices. The protocol is also proof against addition and removal of processors.