Modèles temporels d'évaluation des protocoles de gestion des données

Résumé : Les modèles et protocoles de cohérence des données sont responsables de la gestion des accès aux données partagées, et leur choix peut influencer les performances générales du système. Nous avons proposé dans des travaux précédents une chaîne de compilation permettant d'au-tomatiser le processus du choix des protocoles. Le système est chargé de la prise de décision hors-ligne sur le choix et le paramétrage des protocoles. Dans ce processus, la phase d'évalua-tion des différentes solutions est une des principales briques de décision. L'analyse des performances doit être suffisamment précise pour orienter au mieux la prise de décision tout en étant rapide pour pouvoir s'intégrer dans la chaîne de compilation proposée. Afin de répondre à ces besoins, nous proposons deux modèles temporels d'évaluation des protocoles de cohérence. Le premier modèle permet de calculer les temps d'accès aux données en nombre de cycles. Le deuxième modèle est une extension basée sur un modèle TLM ($Transaction\ Level\ Modeling$) de réseau sur puce ($NoC$) qui permet d'estimer les temps d'accès, de prendre en charge l'ef-fet de contention du réseau et de faire varier les paramètres de l'architecture (ex. différentes topologies du $NoC$).