Alexandre Isoard, Compsys<\/p>\n
R\u00e9sum\u00e9:<\/strong><\/p>\n \nLe retour r\u00e9cent vers le parall\u00e9lisme pour la programmation des acc\u00e9l\u00e9rateurs mat\u00e9riels fait resurgir de vieux probl\u00e8mes sous de nouvelles formes. L\u2019allocation m\u00e9moire sur des programmes comportant une part de s\u00e9mantique parall\u00e8le en est un exemple, la d\u00e9pendance vis \u00e0 vis de l\u2019ordonnancement \u00e9tant diff\u00e9rente de celle d\u2019un programme s\u00e9quentiel ou \u00e0 parall\u00e9lisme synchrone. En effet, un ordonnancement non d\u00e9terministe (c\u2019est-\u00e0-dire qui n\u2019induit pas un ordre total sur les op\u00e9rations), que ce soit pour des raisons mat\u00e9rielles (parall\u00e9lisme \u00e0 l\u2019ex\u00e9cution), des raisons s\u00e9mantiques (ordonnancement non totalement d\u00e9termin\u00e9), ou des raisons d\u2019optimisation (permettre un r\u00e9ordonnancement a posteriori), pose le probl\u00e8me d\u2019optimisation de l\u2019allocation m\u00e9moire dans un cadre plus g\u00e9n\u00e9ral.<\/p>\n On se propose d\u2019\u00e9tudier le probl\u00e8me de l\u2019allocation m\u00e9moire de taille minimale pour un ordonnancement partiel. Ce probl\u00e8me peut aussi bien s\u2019appliquer \u00e0 l\u2019allocation de registres dans des blocs de base concurrents, au double buffering de tableaux avec communications asynchrones sur un code tuil\u00e9 (logiciel Chuba), ou \u00e0 l\u2019allocation m\u00e9moire dans un code parall\u00e8le (un programme X10 par exemple). L\u2019ordonnancement sera repr\u00e9sent\u00e9 par un ordre partiel de type “happens before” sur les instructions, dont on extraira une relation de conflits m\u00e9moire qui permettra d\u2019effectuer l\u2019allocation m\u00e9moire de taille minimale (autant que faire se peut) et ne pr\u00e9sentant aucun conflit sous toutes les traces d\u2019ex\u00e9cution possibles.<\/p>\n Si le temps le permet, nous montrerons \u00e9galement comment les principes mis en \u00e9vidence s\u2019applique au cas de Chuba (pipeline logiciel de tuiles) et ce, m\u00eame dans le cas de tuiles dont la taille est param\u00e9tr\u00e9e.\n<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":" Allocation m\u00e9moire et ordonnancement partiel Vendredi 29 mars 2013 14h, B1, LIP Alexandre Isoard, Compsys R\u00e9sum\u00e9: Le retour r\u00e9cent vers le parall\u00e9lisme pour la programmation des acc\u00e9l\u00e9rateurs mat\u00e9riels fait resurgir de vieux probl\u00e8mes sous de nouvelles formes. L\u2019allocation m\u00e9moire sur … Continue reading