Publisher's Synopsis
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.
