Conference Papers Year : 2018

L-Exclusion autostabilisante revisitée

Fabienne Carrier
  • Function : Author
  • PersonId : 1016787
Ajoy Datta
  • Function : Author
  • PersonId : 830069
Lawrence Larmore
  • Function : Author
  • PersonId : 856333

Abstract

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) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01779647 , version 1

Cite

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⟩
147 View
63 Download

Share

More