Corona: a stabilizing deterministic message-passing skip list
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 pro...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2013
|
| Subjects: | |
| Online Access: | http://irep.iium.edu.my/33049/ http://irep.iium.edu.my/33049/1/1-s2.0-S0304397512008055-main.pdf |
| _version_ | 1848780676752474112 |
|---|---|
| author | Mohd. Nor, Rizal Nesterenko, Mikhail Scheideler, Christian |
| author_facet | Mohd. Nor, Rizal Nesterenko, Mikhail Scheideler, Christian |
| author_sort | Mohd. Nor, Rizal |
| building | IIUM Repository |
| collection | Online Access |
| description | 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 a message-passing system can be constructed. The conditions require that initial 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.
|
| first_indexed | 2025-11-14T15:37:28Z |
| format | Article |
| id | iium-33049 |
| institution | International Islamic University Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T15:37:28Z |
| publishDate | 2013 |
| publisher | Elsevier |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | iium-330492015-12-18T13:50:35Z http://irep.iium.edu.my/33049/ Corona: a stabilizing deterministic message-passing skip list Mohd. Nor, Rizal Nesterenko, Mikhail Scheideler, Christian QA75 Electronic computers. 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 a message-passing system can be constructed. The conditions require that initial 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. Elsevier 2013-11-11 Article PeerReviewed application/pdf en http://irep.iium.edu.my/33049/1/1-s2.0-S0304397512008055-main.pdf Mohd. Nor, Rizal and Nesterenko, Mikhail and Scheideler, Christian (2013) Corona: a stabilizing deterministic message-passing skip list. Theoretical Computer Science, 512. 119 - 129. ISSN 0304-3975 http://www.sciencedirect.com/science/article/pii/S0304397512008055 10.1016/j.tcs.2012.08.029 |
| spellingShingle | QA75 Electronic computers. Computer science Mohd. Nor, Rizal Nesterenko, Mikhail Scheideler, Christian Corona: a stabilizing deterministic message-passing skip list |
| title | Corona: a stabilizing deterministic message-passing skip list |
| title_full | Corona: a stabilizing deterministic message-passing skip list |
| title_fullStr | Corona: a stabilizing deterministic message-passing skip list |
| title_full_unstemmed | Corona: a stabilizing deterministic message-passing skip list |
| title_short | Corona: a stabilizing deterministic message-passing skip list |
| title_sort | corona: a stabilizing deterministic message-passing skip list |
| topic | QA75 Electronic computers. Computer science |
| url | http://irep.iium.edu.my/33049/ http://irep.iium.edu.my/33049/ http://irep.iium.edu.my/33049/ http://irep.iium.edu.my/33049/1/1-s2.0-S0304397512008055-main.pdf |