Results 1  10
of
12
A stabilizing deterministic messagepassing skip list.
, 2011
"... Abstract. We present Corona, a deterministic selfstabilizing algorithm for skip list construction in structured overlay networks. Corona operates in the lowatomicity messagepassing asynchronous system model. Corona requires constant process memory space for its operation and, therefore, scales w ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
(Show Context)
Abstract. We present Corona, a deterministic selfstabilizing algorithm for skip list construction in structured overlay networks. Corona operates in the lowatomicity messagepassing 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 selfstabilizing structured overlay network in messagepassing 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.
SnapStabilizing Linear Message Forwarding
 in "12th International Symposium Stabilization, Safety, and Security of Distributed Systems (SSS
"... ar ..."
Rigorous Performance Evaluation of SelfStabilization Using Probabilistic Model Checking
 In SRDS. IEEE
, 2013
"... Abstract—We propose a new metric for effectively and accurately evaluating the performance of selfstabilizing algorithms. Selfstabilization is a versatile category of faulttolerance that guarantees system recovery to normal behavior within a finite number of steps, when the state of the system i ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Abstract—We propose a new metric for effectively and accurately evaluating the performance of selfstabilizing algorithms. Selfstabilization is a versatile category of faulttolerance that guarantees system recovery to normal behavior within a finite number of steps, when the state of the system is perturbed by transient faults (or equally, the initial state of the system can be some arbitrary state). The performance of selfstabilizing algorithms is conventionally characterized in the literature by asymptotic computation complexity. We argue that such characterization of performance is too abstract and does not reflect accurately the realities of deploying a distributed algorithm in practice. Our new metric for characterizing the performance of selfstabilizing algorithms is the expected mean value of recovery time. Our metric has several crucial features. Firstly, it encodes accurate average case speed of recovery. Secondly, we show that our evaluation method can effectively incorporate several other parameters that are of importance in practice and have no place in asymptotic computation complexity. Examples include the type of distributed scheduler, likelihood of occurrence of faults, the impact of faults on speed of recovery, and network topology. We utilize a deep analysis technique, namely, probabilistic model checking to rigorously compute our proposed metric. All our claims are backed by detailed case studies and experiments. KeywordsSelfstabilization; Performance evaluation; formal methods I.
SelfStabilizing Balancing Algorithm for ContainmentBased Trees
, 2012
"... Abstract—Containmentbased trees encompass various handy structures such as B+trees, Rtrees and Mtrees. They are widely used to build data indexes, rangequeryable overlays, publish/subscribe systems both in centralized and distributed contexts. In addition to their versatility, their balanced sh ..."
Abstract
 Add to MetaCart
Abstract—Containmentbased trees encompass various handy structures such as B+trees, Rtrees and Mtrees. They are widely used to build data indexes, rangequeryable overlays, publish/subscribe systems both in centralized and distributed contexts. In addition to their versatility, their balanced shape ensures an overall satisfactory performance. Recently, it has been shown that their distributed implementations can be faultresilient. However, this robustness is achieved at the cost of unbalancing the structure. While the structure remains correct in terms of searchability, its performance can be significantly decreased. In this paper, we propose a distributed selfstabilizing algorithm to balance containmentbased trees. Index Terms—selfstabilization, balancing algorithms, containmentbased trees I.
unknown title
"... network, and which preserves the static network’s O(log n) routing time and constant node degrees. Moreover, the LDB network is selfstabilizing in the sense that it can recover from any case in which the topology is still weakly connected. Recall that a directed graph G is called weakly connected i ..."
Abstract
 Add to MetaCart
(Show Context)
network, and which preserves the static network’s O(log n) routing time and constant node degrees. Moreover, the LDB network is selfstabilizing in the sense that it can recover from any case in which the topology is still weakly connected. Recall that a directed graph G is called weakly connected if for any pair of nodes v, w there is a path in G from v to w when considering all edges to be undirected. Other dynamic variants of the De Bruijn network have been proposed in the literature before (e.g., [16]), but none of them is selfstabilizing. This paper is organized as follows. In Section 2, we present the related work in the literature and Section 3 defines the structure of the LDB network. We then present our routing algorithm in Section 4 and prove its logarithmic bound. Section 5 presents the selfstabilization results for the LDB while Section 6 describes and analyzes join and leave operations. Section 7 concludes the paper and also presents some lines for future work. 2 Related Work Our work expands on that of Naor and Wieder in [16]. Both our construction