Titre : Étude et évaluation de politiques d’ordonnancement temps réel multiprocesseur avec prise en considération du cache

Conférencier : Pierre-Emmanuel Hladik, Maître de Conférence à l’INSA de Toulouse

Résumé :
Un très grand nombre d’algorithmes ont été proposés pour traiter de
l’ordonnancement de tâches temps réel dans un contexte multiprocesseur.
A titre d’exemple, sans être exhaustif, nous en avons recensé plus d’une
cinquantaine. Cela rend difficile une analyse comparée de leurs
comportements et performances. Dans le cadre du travail de thèse de
Maxime Chéramy, nous avons abordé cette problématique afin d’offrir des
méthodes et des outils pour permettre l'étude et l'évaluation des
principales politiques d’ordonnancement existantes. Ce séminaire
présentera les principaux résultats obtenus.

La première contribution est SimSo, un nouvel outil de simulation dédié
à l'évaluation des politiques d’ordonnancement temps réel. Grâce à cet
outil, les performances d’une vingtaine d’algorithmes ont ainsi été
comparée de manière systématique.

La seconde contribution est la prise en compte, dans la simulation, des
surcoûts temporels liés à l’exécution du code de l’ordonnanceur et à
l'influence des mémoires caches sur la durée d’exécution des travaux par
l’introduction de modèles statistiques évaluant les échecs d’accès à ces
mémoires.

Bio :

Pierre-Emmanuel Hladik est Maître de Conférence à l’INSA de Toulouse,
France, au département de Génie Electrique et Informatique depuis 2007
et mène sa recherche au LAAS-CNRS dans l'équipe Vertics sur la
vérification des propriétés temporelles des systèmes critiques avec une
attention particulière pour l’ordonnancement des systèmes temps réel,
leur conception et les problèmes d’optimisation des architectures
logicielles.

Bienvenue à tous!