Calcul des etats atteignables de programmes Esterel partitionne ...

62 CHAPITRE 5. CALCUL DES ETATS ATTEIGNABLES PARTITIONNÉ1 reachable ← ι2 pending ← ι3 −− Calcul de area 0 voir algorithme 5.24 area ← area 05 tantque ( pending ≠ ∅ ) faire6 si ( (pending ∩ area) = ∅ ) alors7 −− Calcul de area ′ tel que area ′ ⊃ area voir algorithme 5.38 area ← area ′9 fin si10 domain ← pending ∩ area11 new ← Image ∆ (Υ, domain) reachable12 pending ← (pending area) ∪ new13 reachable ← reachable ∪ new14 fin tantqueAlgorithme 5.1 – Algorithme partitionnéLa valeur initiale area 0 de l’ensemble area (ligne 4) est calculée à partir du graphe de flot decontrôle comme nous le verrons par la suite. Nous pouvons remarquer que si area 0 désignel’ensemble B K alors cet algorithme est identique à l’algorithme 2.1 présenté à la section 2.3.Tant que des nouveaux états sont découverts à l’intérieur de l’ensemble area, aucune frontièren’a besoin d’être ouverte (ligne 6). Dans le cas contraire, certaines frontières du graphe sontouvertes. Un nouvel ensemble area ′ contenant strictement l’ancien ensemble area est alors calculéà partir du graphe (ligne 8).5.1.1 Initialisations dans le graphe de contrôle (calcul de area 0 )Nous supposons que l’arbre syntaxique du programme est donné dans T. La phase d’initialisationconsiste à construire le graphe de flot de contrôle afin d’obtenir un ensemble d’arcsfrontièrefermés initial. A partir de ces conditions initiales, l’ensemble area 0 est initialisé.1 (I , O , N , E , F) ← G(T)2 R ← Register〈N〉3 inner ← Closure (N,E) (I)4 R + ← Register〈inner〉5 area 0 ← NOr(R R + )Algorithme 5.2 – Calcul de area 0La première étape consiste à construire le graphe (ligne 1). A partir du graphe, nous construisonsl’ensemble inner contenant l’ensemble des noeuds situés à l’intérieur de la frontière. Cetensemble est construit par fermeture transitive en partant des noeuds initiaux I et en passantpar les arcs de E (ligne 3). L’ensemble R contient la totalité des registres du graphe (ligne 2).Seuls les registres situés à l’intérieur de la frontière peuvent être actifs. L’ensemble R + des registresactifs est construit à partir de l’ensemble inner à la ligne 4. Finalement, area 0 est définicomme l’ensemble des états tels qu’aucun registre exceptés ceux de R + n’est actif (ligne 5).