A self-stabilizing minimal dominating set algorithm with safe convergence

  • Authors:
  • Hirotsugu Kakugawa;Toshimitsu Masuzawa

  • Affiliations:
  • Department of Computer Science, Graduate School of Information Science and Technology, Osaka University, Toyonaka, Osaka, Japan;Department of Computer Science, Graduate School of Information Science and Technology, Osaka University, Toyonaka, Osaka, Japan

  • Venue:
  • IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

A self-stabilizing distributed system is a faulttolerant distributed system that tolerates any kind and any finite number of transient faults, such as message loss and memory corruption. In this paper, we formulate a concept of safe convergence in the framework of self-stabilization. An ordinary self-stabilizing algorithm has no safety guarantee while it is in converging from any initial configuration. The safe convergence property guarantees that a system quickly converges to a safe configuration, and then, it gracefully moves to an optimal configuration without breaking safety. Then, we propose a minimal independent dominating set algorithm with safe convergence property. Especially, the proposed algorithm computes the lexicographically first minimal independent dominating set according to the process identifier as a priority. The priority scheme can be arbitrarily changed such as stability, battery power and/or computation power of node.