GENERATION D'EXECUTIFS

L'exécutif a pour rôle d'allouer les ressources de l'architecture matérielle au programme d'application qui code l'algorithme.

Les exécutifs peuvent être classés en fonction de leur manière d'arbitrer l'allocation des ressources.

Les ressources sont de trois types, les unités de calcul, de mémoire et de communication.

L'allocation des ressources par l'exécutif est à la fois spatiale (distribution) et temporelle (ordonnancement).

Si les optimisations et les décisions (arbitrages) que doit prendre l'exécutif sont effectuées pendant l'exécution (avec l'aide de l'horloge temps réel) on dit que l'allocation est dynamique, si cela est fait avant l'exécution (à la compilation, en ayant connaissance a priori des durées d'exécution) l'allocation est dite statique.

Un exécutif distribué temps réel, permettant l'exécution de l'algorithme sur l'architecture, est construit par assemblage d'éléments d'un noyau générique d'exécutif à partir d'une distribution et d'un ordonnancement.

Un exécutif distribué temps réel offre des services tels que la gestion des ressources de calcul, de communication et de mémoire et la gestion du temps.

Il y a deux niveaux d'exécutif :

• Exécutif de communication inter-processeur
  La gestion des ressources de calcul, de communication interne et de mémoire est faite statiquement par la distribution-ordonnancement des opérations de calcul et de contrôle de l'application et des communications inter-processeurs. La mémoire application correspond aux retards SIGNAL. La mémoire système correspond aux tampons de communication intra- et inter-processeurs.
  La gestion du temps est faite statiquement par la distribution-ordonnancement des opérations de calcul (booléen) des horloges produites par le compilateur SIGNAL.
• Exécutif d'entrée-sortie
  La gestion des communications externes (avec le monde physique) qui permet le passage asynchrone/synchrone est faite dynamiquement.

Pour chaque processeur, l'exécutif est construit à patir d'un noyau d'exécutif générique.

Exemples de noyau :

Il offre les primitives suivantes :
allocation des macro-registres (déclaration de variables)
exécution des opérations (appels de sous-programmes) : les opérations de calcul et d'E/S sont fournies par le ``programmeur applicatif'', les opérations de communication ( ComPut, ComGet) sont fournies par le ``programmeur système''
séquencement opérations : direct ( ;), conditionnel ( if, else), itératif ( while), synchronisé ( Prec, Succ)
allocation des séquences aux unités : sur un même processeur ( Parallel), sur des processeurs différents (configuration).

GENERATION D'EXECUTIF SUR UN MULTI-PROCESSEUR

 
Figure: Exécutif SynDEx V3

PES accède à une liaison physique de communication
PE formate les messages
PR déformate les messages
BL=(RT, ARB) arbitre et route les messages
RT routeur de message
ARB arbitre quand plusieurs messages sont concurrents

 
Figure: Exécutif SynDEx V4