Algorithmes Front d'Onde Et Acc s Transparent Aux Donn es

Cette thčse introduit deux outils pour l'accčs performant aux données d'un algorithme ŕ front d'onde dans un contexte d'exécution out-of-core. Ces algorithmes sont facilement parallélisables en utilisant des techniques de macro-pipelining, qui permettent un recouvrement des calculs et des communications. Le premier outil part du constat que les performances des opérations de lecture/écriture dans une telle situation sont désastreuses: les données sont éclatées sur disque et leur rapatriement en mémoire est long et coűteux. Le nouvel agencement de données sur disque proposé permet de résoudre ces problčmes en accédant aux données uniquement de maničre contiguë. Si ce premier outil décrit comment accéder aux données, le deuxičme est un modčle de synchronisation qui décrit quand y accéder. En effet, l'exécution parallčle et concurrente des algorithmes ŕ front d'onde nécessite un contrôle strict des temps d'accčs et des temps d'attente. Le modčle présenté dans cette thčse remplit ce rôle, tout en donnant des garanties de propriétés intéressantes pour les applications itératives : verrouillage pro-actif, évolution sans interblocages, progression homogčne des tâches.