L-Exclusion autostabilisante revisitée - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

L-Exclusion autostabilisante revisitée

Fabienne Carrier
  • Fonction : Auteur
  • PersonId : 1016787
Ajoy Datta
  • Fonction : Auteur
  • PersonId : 830069
Lawrence Larmore
  • Fonction : Auteur
  • PersonId : 856333

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.
Fichier principal
Vignette du fichier
main.pdf (124.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01779647 , version 1 (26-04-2018)

Identifiants

  • HAL Id : hal-01779647 , version 1

Citer

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⟩
117 Consultations
52 Téléchargements

Partager

More