L-Exclusion autostabilisante revisitée

Résumé : La M-exclusion a pour but de partager L ressources identiques. Elle est définie par trois propriétés : l'équité, la sûreté et une propriété d'efficacité appelée évitement de L-interblocage. Nous montrons que tout algorithme réalisant ces trois propriétés a un temps d'attente en Omega(n-L) rondes dans un anneau de n processus. Donc, quand n est grand comparé à L, le gain d'avoir L ressources identiques au lieu d'une seule devient négligeable. Pour contourner ce problème, nous reformulons la définition de L-exclusion en remplaçant la propriété d'évitement de L-interblocage par une contrainte sur le temps d'attente. Nous illustrons cette nouvelle version du problème avec des algorithmes autostabilisants dont le temps d'attente est en O(n/L) rondes, la borne asymptotique optimale.
Type de document :
Communication dans un congrès
ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01779647
Contributeur : Stéphane Devismes <>
Soumis le : jeudi 26 avril 2018 - 17:31:37
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01779647, version 1

Collections

Citation

Fabienne Carrier, Ajoy Datta, Stéphane Devismes, Lawrence Larmore. L-Exclusion autostabilisante revisitée. ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France. 〈hal-01779647〉

Partager

Métriques

Consultations de la notice

37

Téléchargements de fichiers

11