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é.
Origine | Fichiers produits par l'(les) auteur(s) |
---|