Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback

Jordan Adamek (1) , Mikhail Nesterenko (1) , Sébastien Tixeuil (2, 3, 4)

1 Department of computer science
2 IUF - Institut universitaire de France
3 LINCS - Laboratory of Information, Network and Communication Sciences
4 NPA - Networks and Performance Analysis

We simulate a stabilizing propagation of information with feedback (PIF) program to evaluate its response to perturbations. Under several classic execution models, we vary the extent of the fault as well as the system scale. We study the program's speed of stabilization and overhead incurred by the fault. Our simulation provides insight into practical program behavior that is sometimes lacking in theoretical correctness proofs. This indicates that such simulation is a useful research tool in studies of fault tolerance.

Domaines: Algorithme et structure de données [cs.DS]; Calcul parallèle, distribué et partagé [cs.DC]; Réseaux et télécommunications [cs.NI]

Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil. Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.126-132, ⟨10.1007/978-3-642-33536-5_13⟩. ⟨hal-00934179⟩