Consider the Dijkstra’s self-stabilizing solution to mutualexclusion on a ring of n nodes. Suppose an execution starts from aconfiguration with k different turn values, where 1 < k ≤n.(a) What is the maximum number of changes of the local turnvariables at all nodes by the time all the values of the turnvariables are equal, without node 0 gener- ating new values in themeantime?(b) What is the minimum such a number of changes? Describespecific configurations that support the answers.
Solution