Calcul des etats atteignables de programmes Esterel partitionne ...

64 CHAPITRE 5. CALCUL DES ETATS ATTEIGNABLES PARTITIONNÉatteignables qui activent des registres situés à l’extérieur de la frontière. Si l’ouverture d’unarc-frontière permet d’inclure un de ces registres à l’intérieur de la frontière, alors l’arc-frontièredoit être ouvert :1 inner new ← Closure (N,E) (Dest(f))2 R new ← Register〈inner new 〉 R +3 si ( R new = ∅ ) alors open? ← true4 si ( pending ∩ Or(R new ) ≠ ∅ ) alors open? ← true5 sinon open? ← false6 fin siAlgorithme 5.4 – Test de franchissement d’une frontièreDans un premier temps, nous calculons l’ensemble inner new des noeuds atteignables par l’ouverturede l’ arc-frontière courant f. Cet ensemble se calcule par fermeture transitive depuis lenoeud destination de f en passant par les arcs de E (ligne 1). En réalité, nous ne nous intéressonsqu’aux nouveaux registres découverts dans inner new . Ces nouveaux registres sont placés dansl’ensemble R new (ligne 2). Trois cas peuvent alors se présenter :1. Si l’arc-frontière f ne débouche sur aucun nouveau registre, alors il peut être ouvert maisceci n’aura aucune influence sur l’élargissement de l’ensemble area (ligne 3).2. Si l’ensemble R new des nouveaux registres n’est pas vide, nous vérifions si l’ensemblepending contient des états ayant activé un ou plusieurs registres de l’ensemble R new . Dansce cas, l’arc-frontière f peut être ouvert, ce qui permettra d’élargir l’ensemble area (ligne4).3. Si nous ne sommes dans aucun des cas précédents, cela signifie que l’arc-frontière courantdébouche sur des registres non activés et qui doivent par conséquent demeurer inactifs(ligne 5). f ne doit pas être ouvert.5.1.2.2 Sélection des frontières compatiblesL’algorithme précédent est susceptible d’ouvrir des arcs-frontière qui ne sont pas “compatibles”entre eux.Un exemple. Supposons que r 1 , r 2 et r 3 sont trois registres inactifs dont l’accès est maintenufermé par trois arcs-frontière distincts. L’ensemble pending contient deux états : le premier danslequel seuls r 1 et r 3 sont actifs et le second dans lequel seuls r 2 et r 3 sont actifs. Nous ouvronsune première frontière qui nous permet d’activer r 1 . A cette étape de l’algorithme, rien ne nousinterdit alors d’activer r 2 avant r 3 alors que nous préférerions activer seulement r 3 .La solution consiste à effectuer une copie de l’ensemble pending appelée pending ′ avant decommencer à analyser et à ouvrir nos arcs-frontière (ligne 2). Chaque fois qu’un arc est ouvert,nous réduisons l’ensemble pending ′ afin de ne conserver que les états “compatibles” c’est à direles états dont les registres actifs font aussi partie de l’ensemble R new des registres que noussommes sur le point d’activer (ligne 6) :