A self-stabilizing token circulation with graceful handover on bidirectional ring networks

Abstract

In self-organizing distributed systems in which there is no centralized controler, cooperation of processes and fault-tolerance are crucial. The former can be formalized by process synchronization, which is one of the fundamental problems in concurrent, parallel and distributed computing. The latter can be formalized by self-stabilization. A self-stabilizing distributed algorithm is a class of fault tolerant distributed algorithms which tolerates finite number of any kind of transient faults. It can be considered as a self-organizing system because it does not need a globally synchronized initialization nor reset, and the system automatically converges to legitimate configuration.In this paper, we propose a self-stabilizing distributed algorithm for token ring with graceful handover on bidirectional ring network with message passing communication model. The motivation of this work is to design a protocol, by a formal approach, which is useful for self-organizing multi-node security camera system that guarantees continuous observation. More specifically, a system consists of several nodes each of which is equipped with a video camera, some of nodes are active in monitoring, and others are inactive to save energy. The problem is to design an algorithm with graceful handover of active nodes. That is, at least one node is active at any time, in other words, there is no time instant at which no node is active. This problem is formalized as the mutual inclusion problem, which is a process synchronization problem such that at least one process is in critical section. To this end, we propose an algorithm for circulating two tokens on bidirectional ring network with the locally shared memory model by extending Dijkstra’s self-stabilizing token ring. We also propose the concept of the model gap tolerance property for graceful handover. The proposed algorithm is self-stabilizing, and it guarantees graceful handover in message passing distributed system.