Politiques de gestion de protections pour l'implémentation de sections critiques

L’exploitation des architectures multicœurs repose sur une bonne gestion du parallélisme à l’intérieur des applications. Une telle gestion nécessite notamment d’éviter les conflits d’accès (ou race conditions) aux variables partagées entre plusieurs processus. Ceci peut se faire par l’introduction de sections critiques destinées à protéger les accès à ces variables. L’exécution atomique de ces sections est alors garantie soit par des mémoires transactionnelles, soit par des primitives de synchronisation de type mutex. Il apparait toutefois que, dans ce deuxième cas, ces verrous de synchronisation ne sont pas toujours utilisés de manière optimale par les applications. Nous proposons dans ce travail différentes politiques de gestion des verrous qui ont pour objectif d’améliorer les temps d’exécution. Nous présentons également une bibliothèque de gestion de verrous dédiée, qui permet l’acquisition simultanée de plusieurs objets de synchronisation, et qui offre de meilleures performances que des implémentations bien établies comme les pthreads. Ces résultats sont validés expérimentalement.