Calcul des etats atteignables de programmes Esterel partitionne ...

5.1. ALGORITHME PARTITIONNÉ 635.1.2 Elargissement des blocs actifs (calcul de area ′ )Lorsque l’ensemble area des blocs actifs a besoin d’être élargi, nous voulons ouvrir les “bonnes”frontières. Nous ne voulons ouvrir que les frontières qui nous permettent d’inclure des étatsen attente de l’ensemble pending à l’intérieur de l’ensemble area des blocs actifs. Les frontièrespermettant de faire progresser l’algorithme ne peuvent se trouver qu’à la surface des blocs actifs,c’est à dire parmi les arcs de l’ensemble F dont l’origine appartient à l’ensemble surfacedes noeuds situés à la surface de inner. Par ailleurs, il peut être nécessaire d’ouvrir plus d’unefrontière avant que area ne soit suffisamment élargi pour inclure des états en attente. Le castypique est celui de deux branches parallèles qui attendent la réception d’un même signal :||P 1 ; await S ; P 2Q 1 ; await S ; Q 2Si nous supposons que S est toujours reçu dans chacune des branches de ce programme, alors lesdeux frontières générées par les deux instructions await S doivent être ouverte en même temps.De ce fait, tant qu’aucun état en attente ne se situe à l’intérieur de l’ensemble area, une nouvellefrontière est analysée afin de décider si elle doit être ouverte ou pas. Dans cet algorithmne, lafonction Sort ≺ (E) permet de trier topologiquement un ensemble d’arcs E suivant la relation“≺” :1 surface ← Surface (N,E∪F) (inner)2 frontier ← Sort ≺ (Trans (N,F) (surface))3 i ← 14 tantque ( (pending ∩ area) = ∅ ) faire5 f ← frontier[i]6 −− Vérifier si f doit être ouverte (variable open?) voir algorithme 5.47 si ( open? ) alors8 −− Ouvrir f voir algorithme 5.69 fin si10 i ← i + 111 fin tantqueAlgorithme 5.3 – Calcul de area ′L’ensemble de noeuds surface représente la surface des blocs situés à l’intérieur de la frontière(ensemble inner à la ligne 1). Les arcs-frontière dont l’origine appartient à surface sont les seulsque nous pouvons ouvrir. Ces arcs-frontière sont triés d’après la relation d’ordre “≺” décriteà la section 4.3 et placés dans l’ensemble frontier (ligne 2). Chaque arc-frontière est ensuiteanalysé un à un dans l’ordre jusqu’à ce que l’ensemble area soit suffisamment élargi (lignes 4 à11). Cet ordonnancement nous permet d’analyser et d’ouvrir chaque frontière dans l’ordre quenous jugeons a priori le meilleur.5.1.2.1 Franchissement des frontièresPour déterminer si un arc-frontière doit être ouvert, nous nous focalisons sur les nouveauxregistres actifs de l’ensemble pending. Les états situés dans l’ensemble pending sont des états