Calcul des etats atteignables de programmes Esterel partitionne ...

3.4.L’OPÉRATEUR PARALLÈLE ET LES SIGNAUX 45comportements du programme avant l’émission du signal et la deuxième concerne les comportementsdu programme après l’émission. Il s’agit ici de l’ordre des réactions et non pas de l’ordredes instructions instantanées dans l’instant. Avant l’émission de S, seuls les blocs P 1 et Q 1 sontactifs. Lorsque S est émis, seuls les blocs P 2 et Q 2 sont actifs.En partitionnant les programmes parallèles de cette manière, le nombre de partitions obtenuesest linéaire par rapport au nombre de signaux locaux. L’exemple suivant présente unparallèle à trois branches synchronisées par deux signaux locaux :P 1 ; Q 1 ;emit S1; || await S1;P 2 Q 2 ; R 1 ;emit S2; || await S2;Q 3 R 2Ici encore, nous supposons que chaque signal émis est intercepté. L’utilisation des signaux S1 etS2 permet de partitionner ce programme en trois parties. Dans la première partie, aucun signaln’est émis. Ainsi, seuls les blocs P 1 , Q 1 et R 1 sont actifs. Dans un deuxième temps, S1 est émis.A la suite de cet événement, seuls les blocs P 2 , Q 2 et R 1 sont actifs. Enfin, le signal S2 est émiset seuls les blocs P 2 , Q 3 et R 2 sont actifs.S1S1S1S2S2S2Fig. 3.12 – Méthode de partitionnement d’un bloc parallèle. Trois blocs en parallèle sont synchroniséspar deux signaux. Notre technique vise à partitionner suivant les blocs en noir. Lesblocs en gris sont censés être supprimées automatiquement par les méthodes de cofactoring.Comme pour le partitionnement des programmes séquentiels, nous faisons grossir progressivementla fonction de transition. Le partitionnement que nous proposons est illustré par la figure3.12. La première étape consiste à saturer l’exploration du bloc [P 1 ||Q 1 ||R 1 ] avec une fonctionde transition dans laquelle nous avons enlevé toutes les transitions consécutives à l’émissionet à la réception de S1 et de S2. En pratique, cela revient à dire que nous construisons unefonction de transition qui n’encode que les comportements de P 1 , Q 1 et R 1 , soit les blocs situésen amont de toute émission et de toute réception de S1 et S2. Dans la deuxième étape, nousrajoutons à la fonction de transition les transitions consécutives à l’émission et la réception deS1 (nous rajoutons les comportements de P 2 et Q 2 à la fonction de transition). L’applicationde l’opérateur de cofacteur sur cette nouvelle partie de fonction de transition nous permet ainside ne saturer que l’exploration du bloc [P 2 ||Q 2 ||R 1 ]. Dans la dernière étape, nous rajoutons lestransitions consécutives à l’émission et la réception de S2. Nous recouvrons ainsi la fonction detransition globale qui, après utilisation de l’opérateur de cofacteur, nous permet d’achever lescalculs par l’exploration du seul bloc [P 2 ||Q 3 ||R 2 ].