Ordonnancements de threads dirigé par la mémoire sur architecture NUMA.

Abstract

Ces supports exécutifs sont destinés à faciliter l'exploitation efficace d'architectures de type "grappes de machines NUMA". L'équipe Runtime possède une bonne expérience dans le domaine de l'exploitation des machines multiprocesseurs et ses travaux ont notamment conduit à l'élaboration d'une bibliothèque (nommée Marcel) permettant d'ordonnancer de manière portable un grand nombre de processus légers. Pour guider l'ordonnancement depuis l'application, le programmeur peut former des "bulles" pour encapsuler des threads ou d'autres bulles. Ces abstractions permettent d'associer des threads possédant des caractéristiques communes telles que l'accès à des données partagées par exemple (affinité mémoire). À l'exécution, l'ordonnanceur peut alors s'aider de ces informations (contenu des bulles + attributs attachés aux bulles ) pour placer les threads de manière pertinente sur les processeurs de la machine. La plate-forme Marcel permet en outre au programmeur de définir lui-même la fonction d'ordonnancement ou d'utiliser l'un des politiques prédéfinies. Actuellement, les stratégies d'ordonnancement peuvent utiliser des propriétés d'affinités entre threads mais aucune information sur la localisation, le volume ou le taux d'accès aux données n'est disponible. L'objectif de ce mémoire est donc d'étudier l'ordonnancement de threads par bulles dans un contexte où ces informations seraient disponibles. Dans un premier temps, il s'agira d'enrichir la plate-forme Marcel de mécanismes permettant au programmeur de spécifier, pour des données statiques ou allouées dynamiquement, des liaisons pondérées entre les segments de données et les bulles y accédant (la pondération représentant typiquement un taux d'accès). À l'exécution, il devra donc être possible de déterminer à tout moment, pour une bulle donnée, la hiérarchie de ses "bassins d'attraction" sur la machine.