Utilisation prévisible de caches d'instruction dans les systèmes temps réel strict

Les caches d'instructions sont largement utilisés afin d'améliorer les performances moyennes des systèmes informatiques généralistes. Cependant, leur utilisation dans les systèmes temps réel strict, devant respecter des contraintes temporelles sur l'éxécution de leurs tâches sous peine de graves conséquences, introduit de l'indéterminisme. Dans ce travail, une technique de verrouillage dynamique de cache est proposée afin de remédier à ce problème. Elle vise l'amélioration des performances de pire cas par rapport à un système sans cache d'instructions. Etant donné une tâche, des états du cache sont calculés hors éxécution. De plus, sont déterminées des adresses à chacune desquelles le cache est chargé avec l'un de ces états puis verrouillé. Ensuite, nous présentons une implémentation du rechargement de cache ne modifiant pas le code de la tâche. Enfin, l'impact de notre approche est évalué sur les performances de pire cas et de cas moyen d'un système éxécutant une tâche.RENNES1-BU Sciences Philo (352382102) / SudocRENNES-INRIA Rennes Irisa (352382340) / SudocSudocFranceF