2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (2013)
Cambridge, MA, USA USA
May 20, 2013 to May 24, 2013
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IPDPSW.2013.8
We give a leader recovery protocol that recovers a legitimate configuration where a single leader exists, after at most ? arbitrary memory corruptions hit the system. That is, if a leader is elected before state corruptions, the same leader is elected after recovery. Our protocol works in any anonymous bidirectional, yet oriented, ring of size n, and does not require that processes know n, although the knowledge of ? is assumed. If n ? 18? + 1, our protocol recovers the leader in O(?²) rounds using O(log ?) bits per process, assuming unfair scheduling. Our protocol handles dynamic faults in the sense that memory corruption may still occur while the network has started recovering the leader.
k-stabilization, Leader recovery, dynamic faults
A. K. Datta, L. L. Larmore, S. Devismes and S. Tixeuil, "Fast Leader (Full) Recovery Despite Dynamic Faults," 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum(IPDPSW), Cambridge, MA, USA USA, 2013, pp. 716-725.