Mod\`eles markoviens de transfert de charges

Une architecture parall\`ele est vue comme un graphe non orient\'e $(V,E)$, dont les sommets sont des processeurs, connect\'es par des lignes de communication (les ar\^etes). Chaque processeur a une capacit\'e limit\'ee \`a $K$. L'espace d'\'etats du mod\`ele est l'ensemble des configurations $\{0,\ldots,K\}^V$, sur lequel nous d\'efinissons un syst\`eme de particules interactives. Nous supposons des transferts imm\'ediats, d\`es que la diff\'erence de charges entre deux voisins d\'epasse $2$. Cette hypoth\`ese conduit \`a des majorations sur les b\'en\'efices que l'on peut attendre du transfert dans une architecture r\'eelle. Notre objectif est de calculer les valeurs des crit\`eres de performance classiques (charge moyenne, temps de r\'eponse moyen\ldots) quand le syst\`eme est \`a l'\'equilibre. Le mod\`ele est \'etudi\'e sur les types usuels d'architectures (cycles, tores, hypercubes). Des r\'esultats de simulation seront pr\'esent\'es. Nous montrerons \'egalement comment l'approche heuristique du champ moyen permet d'approcher les caract\'eristiques du mod\`ele \`a l'\'equilibre.