HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Résumé : 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é.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03205368
Contributor : Matthieu Perrin Connect in order to contact the contributor
Submitted on : Thursday, April 22, 2021 - 11:44:46 AM
Last modification on : Wednesday, April 27, 2022 - 3:51:27 AM
Long-term archiving on: : Friday, July 23, 2021 - 6:25:38 PM

File

algotel.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03205368, version 1

Citation

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⟩

Share

Metrics

Record views

31

Files downloads

19