Corona: A stabilizing deterministic message-passing skip list

Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler
2013 Theoretical Computer Science  
We present Corona, a deterministic self-stabilizing algorithm for skip list construction in structured overlay networks. Corona operates in the low-atomicity message-passing asynchronous system model. Corona requires constant process memory space for its operation and, therefore, scales well. We prove the general necessary conditions limiting the initial states from which a self-stabilizing structured overlay network in message-passing system can be constructed. The conditions require that
more » ... al state information has to form a weakly connected graph and it should only contain identifiers that are present in the system. We formally describe Corona and rigorously prove that it stabilizes from an arbitrary initial state subject to the necessary conditions. We extend Corona to construct a skip graph and to deal with topology updates.
doi:10.1016/j.tcs.2012.08.029 fatcat:ez776kuhdrenvetbamhnvhiopi