4.2.2 Manager de threads

Le thread manager est un acteur particulier. Il doit être initialisé avant tous les autres acteurs l'utilisant (c'est le cas de l'univers).

Cet acteur a deux rôles :

• la gestion des threads; pour l'instant il s'agit simplement du suivit des threads actives (vivantes) au niveau système. La gestion des threads a proprement parler, c'est à dire le scheduling n'a pas semblé utile pour l'instant.
• la prise en compte de la synchronisation des accès locaux aux ressources.

Pour l'instant, scheduler une action dans l'univers a pour effet de faire un appel implicite à des méthodes de xyzTM (l'instance du thread manager; les méthodes en question sont décrites ci-après). Le thread manager doit être appellé explicitement, si nécessaire, dans tous les autres cas.