Calcul des etats atteignables de programmes Esterel partitionne ...

50 CHAPITRE 3.PRÉSENTATION INTUITIVEsur le calcul partitionné des états atteignables. La solution consiste à débloquer uniquementles frontières qui permettent de faire progresser les calculs. Ces frontières sont de fait assezfacilement identifiables car nous aurons stocké les états en attente dans notre algorithme (voirfigure 3.5 ou 3.13). Dans l’exemple précédent, le fait de débloquer la réception de S2 avantla réception de S1 ne permet pas de faire progresser les calculs. Pour débloquer les bonnesfrontières, nous nous appuyons sur l’ensemble des états situés à la frontière entre les blocs actifset les blocs inactifs. Il s’agit en réalité d’états accessibles depuis un bloc actif en une réactioninstantanée, mais qui “débordent” dans un bloc inactif.3.5.3 Débordement des états atteignablesL’état d’un programme Esterel est caractérisé par l’état de tous les registres booléensqui le constituent. Plus particulièrement, l’ensemble des registres actifs permet de déterminerl’ensemble des blocs actifs du programme. Lorsque l’algorithme partitionné produit des étatsqui débordent à l’extérieur d’une frontière, nous savons déterminer précisément l’ensemble desblocs activés par ce débordement. A partir de cette information et à l’aide du graphe de flot decontrôle il est alors facile de déterminer les frontières qui ont été franchies. Cette technique estillustrée par la figure 3.13.F 1F 3S 1S 3F 2Fig. 3.13 – Débordement des états atteignables. Les frontières F 1 , F 2 et F 3 sont situées autourdes blocs actifs courants. La frontière F 2 n’a pas été franchie et doit demeurer fermée. Ladécouverte des états S 1 et S 3 en dehors des blocs actifs indique que les frontières F 1 et F 3peuvent être ouvertes.Ainsi, le débordement des états permet de guider l’algorithme partitionné et de n’ouvrir queles frontières qui permettent de faire progresser l’exploration des états atteignables. De cettemanière, nous évitons d’ouvrir des frontières prématurément.