This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Asynchronous Phase Synchronization in Uniform Unidirectional Rings
April 2004 (vol. 15 no. 4)
pp. 378-384

Abstract—This paper proposes a self-stabilizing asynchronous phase synchronization protocol for uniform unidirectional rings. Consider applications with phase bound K, i.e., the phases are phase 0, phase 1, \ldots, phase K-1, phase 0, phase 1, etc. Under the protocol, when the ring is stabilized, it satisfies the following criterion: No node begins to execute phase (k+1)mod K until all nodes have executed phase k, and after all nodes have executed their phase k, each node eventually executes phase (k+1)mod K. Besides the variable used to denote the phase that a node is working on, each node maintains only one auxiliary variable with b states, where b can be any number greater than or equal to the ring size. Provided that K and b satisfy the limitation: {\rm{K}}\times b>n(b-1), the proposed protocol is correct under the parallel model and takes at most 2({\rm{K}}\times b) rounds to stabilize.

[1] A. Arora, S. Dolev, and M.G. Gouda, Maintaining Digital Clocks in Step Parallel Processing Letters, vol. 1, pp. 11-18, 1991.
[2] B. Awerbuch, Complexity of Network Synchronization J. ACM, vol. 32, no. 4, pp. 804-823, 1985.
[3] B. Awerbush, S. Kutten, Y. Mansour, B. Patt-Shamir, and G. Varghese, Time Optimal Self-Stabilizing Synchronization Proc. 25th Ann. ACM Symp. Theory of Computing, pp. 652-661, 1993.
[4] J.E. Burns, M.G. Gouda, and R.E. Miller, Stabilization and Pseudo-Stabilization Distributed Computing, vol. 7, pp. 35-42, 1993.
[5] J.E. Burns and J. Pachl, Uniform Self-Stabilizing Rings ACM Trans. Programming Languages and Systems, vol. 11, no. 2, pp. 330-344, 1989.
[6] J.M. Couvreur, N. Francez, and M.G. Gouda, “Asynchronous Unison,” Proc. 12th Int'l Conf. Distributed Computing Systems (ICDCS '92), pp. 486–493, 1992.
[7] E.W. Dijkstra, Self Stabilizing Systems in Spite of Distributed Control Comm. ACM, vol. 17, no. 11, pp. 643-644, 1974.
[8] M.G. Gouda and T. Herman, Stabilizing Unison Information Processing Letters, vol. 35, pp. 171-175, 1990.
[9] T. Herman and S. Ghosh, Stabilizing Phase-Clocks Information Processing Letters, vol. 54, pp. 259-265, 1995.
[10] S.T. Huang and T.J. Liu, Four-State Stabilizing Phase Clock for Unidirectional Rings of Odd Size Information Processing Letters, vol. 65, pp. 325-329, 1998.
[11] S.T. Huang and T.J. Liu, Phase Synchronization on Asynchronous Uniform Rings with Odd Size IEEE Trans. Parallel and Distributed Systems, vol. 12, no. 6, pp. 638-652, 2001.
[12] C. Johnen, L.O. Alima, A.K. Datta, and S. Tixeuil, Self-Stabilizing Neighborhood Synchronizer in Tree Networks Proc. 19th IEEE Int'l Conf. Distributed Computing Systems, pp. 487-494, 1999.
[13] S.S. Kulkarni and A. Arora, Multitolerant Barrier Synchronization Information Processing Letters, vol. 64, pp. 29-36, 1997.
[14] S.S. Kulkarni and A. Arora, Fine-Grain Multitolerant Barrier Synchronization Technical Report OSU-CISRC TR34, Ohio State Univ., 1997.
[15] J. Misra, Phase Synchronization Information Processing Letters, vol. 38, pp. 101-105, 1991.

Index Terms:
Phase synchronization, self-stabilization, transient fault, uniform ring.
Citation:
Shing-Tsaan Huang, Tzong-Jye Liu, Su-Shen Hung, "Asynchronous Phase Synchronization in Uniform Unidirectional Rings," IEEE Transactions on Parallel and Distributed Systems, vol. 15, no. 4, pp. 378-384, April 2004, doi:10.1109/TPDS.2004.1271186
Usage of this product signifies your acceptance of the Terms of Use.