Extension de la Hiérarchie de Herlihy aux Systèmes Multi-threads - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Extension de la Hiérarchie de Herlihy aux Systèmes Multi-threads

Abstract

Dans les systèmes d'exploitation et les langages de programmation modernes adaptés aux architectures informatiques multicoeurs, le parallélisme est abstrait par la notion de threads d'exécution. Les systèmes multi-threads ont deux spécificités majeures : 1) de nouveaux threads peuventêtre créés dynamiquement pendant l'exécution, il n'y a donc pas de limite sur le nombre total de threads participantà une exécution continue ; 2) les threads ont accèsà un mécanisme d'allocation de mémoire qui ne peut pas allouer des tableaux infinis. Cela rend difficile d'adapter certains algorithmes a des systèmes multi-threads, en particulier ceux qui attribuent un registre partagéà chaque processus. Cet article, qui est une traduction résumée et vulgarisée de précédents travaux [PMB20], explore la puissance de coordination des objets partagés dans les systèmes multi-threads enétendant la hiérarchie de Herlihy pour tenir compte de ces contraintes. Il propose de subdiviser en cinq nouveaux degrés l'ensemble des objets de numéro de consensus infini, selon leur capacitéà synchroniser un nombre borné, fini ou infini de processus, avec ou sans la nécessité d'allouer un tableau infini. Il présente ensuite un objet illustrant chaque degré proposé.
Fichier principal
Vignette du fichier
algotel.pdf (134 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03205368 , version 1 (22-04-2021)

Identifiers

  • HAL Id : hal-03205368 , version 1

Cite

Matthieu Perrin, Achour Mostéfaoui, Grégoire Bonin. Extension de la Hiérarchie de Herlihy aux Systèmes Multi-threads. ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France. ⟨hal-03205368⟩
77 View
42 Download

Share

Gmail Mastodon Facebook X LinkedIn More