Topic description

Les mémoires caches sont des composants clefs pour la performance des systèmes multi-coeurs.

Cependant, modéliser leur comportement devient une tâche complexe quand on considère des caches partagés, comme les caches L2, car plusieurs programmes accèdent en parallèle à cette même ressource.

Le sujet de cette thèse porte sur comment bien combiner deux méthodes existantes de modélisation de mémoires cache.

1. Simulation : Pour aider le dévelopement de plus en plus rapide de nouvelles plateformes, le protypage de plateforme utilise la simulation logicielle (comme QEMU ou gem5). Cela permet de commencer le dévelopement des programmes avant même que le dévelopement de la plateforme matérielle soit terminée (par exemple, tester de nouvelles politiques de cohérence de cache avant leur dévelopement matériel). Des travaux précédents à TIMA ont montré que la simulation de cache de niveau 2 par un plugin QEMU est un problème complexe d...