Exécution de codes irréguliers par migration de tâches
Résumé
L'exécution de codes irréguliers sur une architecture parallèle à mémoire distribuée est un problème difficile. Plusieurs solutions sont étudiées actuellement. Certaines de ces solutions se basent sur la distribution des données sur les mémoires, et les compilateurs ont à leur charge la génération des ordres de communication. D'autres solutions se basent sur l'existence d'un espace d'adressage partagé par l'ensemble des processeurs, ce qui réduit la charge des compilateurs à l'optimisation des mouvements de pages mémoire et à la gestion de la cohérence des pages recopiées. Dans ce document, nous traitons de l'utilisation des tâches migrantes pour effectuer des calculs sur des données distribuées. Avec ce modèle, l'exécution de chaque itération d'une boucle parallèle est interprétée par une tâche. Lorsqu'une tâche tente d'accéder à une donnée non locale, elle migre sur le processeur qui possède cette donnée, et continue son exécution sur ce processeur. Les données parallèles distribuées ne sont jamais déplacées dans notre modèle. Les tâches migrantes sont produites automatiquement par la compilation de langages classiques comme Fortran. Des expérimentation montrent que l'exécution de codes irréguliers peut être accélérée par ce système, même dans le cas de mauvaise localité des données.