Exploring Worst Cases of Self-stabilizing Algorithms using Simulations - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Exploring Worst Cases of Self-stabilizing Algorithms using Simulations

Résumé

Self-stabilization qualifies the ability of a distributed system to recover after transient failures. sasa is a simulator of self-stabilizing algorithms written in the atomic-state model, the most commonly used one in the self-stabilizing area. A simulator is, in particular, useful to study the time complexity of algorithms. For example, one can experimentally check whether existing theoretical bounds are correct or tight. Simulations are also useful to get insights when no bound is known. In this paper, we use sasa to investigate the worst cases of various well-known self-stabilization algorithms. We apply classical optimization methods (local search, branch and bound, Tabu list) on the two sources of non-determinism: the choice of initial configuration and the scheduling of process activations (daemon). We propose a methodology based on heuristics and an open-source tool to find tighter worst-case lower bounds.
Fichier principal
Vignette du fichier
main.pdf (426.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Commentaire : C'est sans doute parce que certaines fontes n'étaient pas embarquées je crois (j'espere).

Dates et versions

hal-04172383 , version 1 (23-08-2023)

Identifiants

  • HAL Id : hal-04172383 , version 1

Citer

Erwan Jahier, Stéphane Devismes, Karine Altisen. Exploring Worst Cases of Self-stabilizing Algorithms using Simulations. 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Shlomi Dolev, Baruch Schieber, Oct 2023, New Jersey, United States. ⟨hal-04172383⟩
48 Consultations
34 Téléchargements

Partager

Gmail Facebook X LinkedIn More