JISE

[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24]

Journal of Information Science and Engineering, Vol. 26 No. 4, pp. 1307-1322

Size-Independent Self-Stabilizing Asynchronous Phase Synchronization in General Graphs

CHI-HUNG TZENG, JEHN-RUEY JIANG⁺ AND SHING-TSAAN HUANG⁺
Department of Electronic Engineering and Institute of Computer and Communication Engineering
National Taipei University of Technology
Taipei, 106 Taiwan
E-mail: tylee@ntut.edu.tw
⁺Department of Computer Science and Information Engineering
Nanhua University
Chiayi, 622 Taiwan
E-mail: chun@mail.mhu.edu.tw

In this paper, we design a self-stabilizing phase synchronizer for distributed systems. The synchronizer enables a node to transfer from one phase to the next one, subject to the condition that at most two consecutive phases appear among all nodes. It does not rely on any system parameter like the number of nodes, and thus fits for dynamic systems where nodes can freely join or leave. Each node just maintains a few variables that are related to its neighborhood; all operations are decided based on local information rather than global information. The memory usage of the proposed algorithm is low; each node has only O(ΔK) states, where Δ is the maximum degree of nodes and K > 1 is the number of phases. To the best of our knowledge, there are no other such size-independent self-stabilizing algorithms for systems of general graph topologies.

Keywords: general connected graph, fault tolerance, phase synchronization, self-stabilization, spanning tree

Retrieve PDF document (JISE_201004_10.pdf)