Calcul des etats atteignables de programmes Esterel partitionne ...

78 CHAPITRE 6. MISE EN ŒUVREInstrumentation de strlic. Pour construire notre arbre syntaxique, nous avons modifié leprogramme strlic afin qu’il construise l’arbre syntaxique en même temps que la traductionvers le format intermédiaire. Le résultat est un arbre syntaxique représentant le programmesous forme parenthésée conforme à celui présenté à la section 4.1.6.2.2 Construction du graphe à partir du format intermédiaireAprès l’édition de lien, un programme Esterel est codé par un unique module au formatlc. A partir de cette étape, les noms des signaux et des registres demeurent inchangés jusqu’àleur traduction dans le format circuit. La construction du graphe de flot de contrôle à partir duformat intermédiaire lié nous permet d’accepter n’importe quel programme Esterel compatibleavec la version v5 9x du compilateur, à l’exception des programmes cycliques.En contrepartie de cet avantage, le format intermédiaire ne décrit pas complètement la structuredu programme Esterel original. Le format intermédiaire décrit un graphe de flot de contrôledans lequel le contrôle peut se propager de trois manières différentes :– Dans les instructions comme la séquence, le test de présence ou l’opérateur parallèle,le contrôle se propage par continuation. Le contrôle se propage séquentiellement d’uneinstruction à une autre. Par exemple, dans une instruction present, le test de présenced’un signal précède l’activation de l’une de ses deux branches.– La deuxième catégorie est celle des exceptions dont nous avons choisi de ne pas parlerdans la construction du graphe. De notre point de vue, nous pouvons considérer que lesexceptions se comportent comme les instructions précédentes.– Dans les instructions de suspension ou de préemption comme suspend ou abort (voirsection 2.1), le contrôle se propage par sélection. Le format intermédiaire décrit égalementun arbre appelé arbre de sélection dont les noeuds sont des instructions du programme.Dans l’arbre de sélection, le contrôle se propage instantanément des feuilles vers la racinede l’arbre. Par exemple, une instruction abort est codée comme un noeud de l’arbre desélection dont les feuilles sont des instructions appartenant au corps du abort. L’instructionabort est active dès qu’une de ces instructions est active.A partir d’une telle représentation des programmes, il est parfois difficile de construire notregraphe de flot de contrôle tel que nous l’avons défini. Par exemple, la construction de notregraphe autour des instructions present génère des frontières à la fin de chaque branche. Dansle format intermédiaire, la fin de chaque branche n’est pas mentionnée explicitement. Pourcontourner cette difficulté, nous avons tout simplement considéré que chaque noeud ayant plusieursprédécesseurs était un noeud marquant la fin d’un test. Les relations d’ordre sur lesfrontières (voir section 4.3) sont également plus difficiles à obtenir. L’ordre induit par la séquenceest donc préservé mais nous n’avons pas été en mesure d’implémenter complètement l’ordre permettantd’ordonner les frontières à l’intérieur des instructions present.Nous avons implémenté la construction du graphe à partir du format intermédiaire en respectantautant que possible les définitions du chapitre 4. Les détails de cette construction nesont pas d’un grand intérêt et ne sont pas donnés dans ce document. Le graphe ainsi construitrespecte ces définitions pour toutes les instruction du langage excepté l’instruction present :l’ordre que nous imposons ne permet pas d’ouvrir toutes les frontières dans une branche avantles frontières dans la deuxième. Cette simplification est néanmoins assez satisfaisante pour nousprocurer de bons résultats expérimentaux.