Visualization of Self-Stabilizing Distributed Algorithms

Authors:
Brahim Hamid;Mohamed Mosbah
Affiliations:
LaBri, ENSEIRB - University of Bordeaux-1;LaBri, ENSEIRB - University of Bordeaux-1
Venue:
IV '05 Proceedings of the Ninth International Conference on Information Visualisation
Year:
2005

Citing 0
Cited 1

A local self-stabilizing enumeration algorithm

DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present a method to build an homogeneous and interactive visualization of self-stabilizing distributed algorithms using Visidia platform. The approach developed in this work allows to simulate the transient failures and their correction mechanism. We use local computations to encode self-stabilizing algorithms like the distributed algorithms implemented in Visidia. The resulting interface is able to select some processes and incorrectly change their states to show the transient failures. The system detects and corrects these transient failures by applying correction rules. Many examples of self-stabilizing distributed algorithms are implemented.