Aide à la décision pour le choix et le paramétrage de protocoles de cohérence des données - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

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.
Fichier principal
Vignette du fichier
78.pdf (238.89 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01273631 , version 1 (12-02-2016)

Identifiants

  • HAL Id : hal-01273631 , version 1

Citer

Safae Dahmani, Loïc Cudennec, Guy Gogniat. Aide à la décision pour le choix et le paramétrage de protocoles de cohérence des données. Roadef, Feb 2015, Marseille, France. ⟨hal-01273631⟩
72 Consultations
164 Téléchargements

Partager

Gmail Facebook X LinkedIn More