Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols

Résumé

In a concurrent computing system, a scheduler determines at each time which computing task should execute next. Thus, a scheduler has tremendous impact on the performance of the tasks that it orchestrates. Analyzing the impact of scheduling in a distributed setting is a challenging task, as it is concerned with subtle dimensions such as geographical distance of processes and the achievable level of parallelism. In this paper, we propose an automated method based on probabilistic verification for analyzing fault recovery time in distributed self-stabilizing protocols. We exhibit the usefulness of our approach through a large set of experiments that demonstrate the impact of different types of scheduling policies on recovery time of different classes of stabilizing protocols, and the practical efficiency of classical self-stabilizing scheduler transformers.
Fichier non déposé

Dates et versions

hal-01213273 , version 1 (08-10-2015)

Identifiants

Citer

Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil. Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols. The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.156-170, ⟨10.1007/978-3-319-21741-3_11⟩. ⟨hal-01213273⟩
106 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More