Aide à la décision pour le choix et le paramétrage de protocoles de cohérence des données
Résumé
L’introduction des systèmes massivement parallèles manycores promet de très hautes per-
formances à basse consommation d’énergie. Afin de mieux profiter de telles performances de
calcul, il est important de garantir des techniques de parallélisation efficaces. Parmi les modèles
de programmation dédiés aux contextes hautement parallèles, le modèle à mémoire partagée
a l’avantage de faciliter la parallélisation via l’accès à un espace d’adressage global. Le choix
d’un tel paradigme de programmation repose sur l’efficacité du système à gérer les accès aux
données partagées. Dans un tel système, les règles de gestion de la synchronisation, la localité
et le transfert des données sont mises en œuvre par des protocoles de cohérences. Le choix
de ces derniers représente une partie de la capacité du système à améliorer les performances
de l’application à l’exécution. De précédents travaux ont montré qu’il n’y a pas un unique
protocole adapté aux différents contextes. Nous considérons que le choix d’un protocole adapté
doit prendre en compte les caractéristiques de l’application mais aussi les propriétés de la
plate-forme cible. Pour répondre à la question sur le choix des protocoles de cohérence, nous
proposons un modèle de plate-forme à protocoles multiples. Ce modèle permet d’affecter à
chaque accès à une variable partagée un protocole approprié. Nous nous intéressons dans ce
travail à la problématique de prise de décision pour un choix de protocole efficace et adapté
au contexte de l’application. La définition et la configuration des protocoles choisis sont réa-
lisées à travers un processus de compilation itérative. Ce processus est constitué de plusieurs
étapes allant de la caractérisation de l’application à la définition des paramètres des protocoles
choisis. Le travail présenté met en avant les deux phases liées aux choix de protocoles et à la
définition de leurs paramètres. La phase d’évaluation des protocoles paramétrés est basée sur
un processus analytique haut niveau nous permettant d’esquisser le comportement général du
protocole à un bas coût de calcul et avec un niveau de précision suffisant. Dans les travaux
que nous présentons, le choix du protocole et sa configuration sont effectués en deux phases
différentes utilisant des techniques de Recherche opérationnelle.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)