A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments

There are several models for which self-stabilizing programs have been developed. The distributed model accurately reflects a real distributed computing environment; therefore, programs developed for the model should run directly on a distributed system. However, many self-stabilizing programs have been developed for the serial model which has the strongest assumptions, because a program developed for the model is much easier to prove correct than one for other models. This paper presents a transformation method that converts a program designed for the serial model to a program for the distributed model that simulates the original program. A transformed program is incorporated with a self-stabilizing concurrency control protocol to guarantee that if the original program is self-stabilizing, the transformed program is also self-stabilizing and performs exactly like the original program. Keywords: concurrency control, distributed systems, self-stabilization 1 Introduction A distributed..