Abstract FR:

Les applications massivement parallèles dans lesquelles le partage d'informations se fait sans mémoire commune rendent difficiles la gestion manuelle de la synchronisation et de la communication, du fait du grand nombre de processus mis en jeu. La programmation directe des processus communicants, la parallélisation automatique des programmes séquentiels, et l'utilisation de langages à parallélisme des données sont les réponses apportées à l'heure actuelle à ce problème. Les deux dernières approches, bien que très répandues, ont des difficultés à prendre en compte des problèmes mettant en jeu des données irrégulières. Dans ce document nous présentons un mode d'expression oriente parallélisme des données dans lequel le graphe est utilisé comme structure de données de base. Nous restreignons ce mode d'expression de façon à produire un langage compilable, base sur une expression en termes de graphes. Nous décrivons ensuite un schéma de compilation dans lequel les communications introduites ne peuvent provoquer aucun inter blocage des processus de l'application parallèle, même dans le cas ou les communications sont bloquantes. Nous proposons enfin une optimisation portant sur le nombre des communications