Calcul des etats atteignables de programmes Esterel partitionne ...

5.3. ANALYSE DES CARACTÉRISTIQUES 73Le partitionnement mobilise aussi des opérations d’intersection ou de soustraction avec l’ensemblearea représentant l’intérieur de notre frontière. L’ensemble area possède une représentationBDD très simple puisqu’il s’agit d’une conjonction de négation de registres. Le BDD dearea est donc linéaire par rapport au nombre de registres inactifs et peut se traduire en uneCBF de taille constante. En pratique, les opérations combinant un BDD U avec area produisentdes BDDs plus petits que U mais le temps de calcul qui dépend principalement de la taille deU n’est en pratique pas négligeable. Notre méthode de partitionnement est donc assez coûteuseen temps mais peu coûteuse en mémoire.5.3.2 PerformancesLes performances de notre algorithme dépendent du programme Esterel source. Etantdonné que notre technique de partitionnement repose sur la réception des signaux, le partitionnementsera d’autant plus performant que le programme contiendra de nombreuses constructionspresent ou abort et de taille suffisamment grande. A l’inverse, un programme contenantde nombreuses boucles combinées en parallèle présentera plus de risque de donner desrésultats médiocres. Plus précisément, le problème apparait lorsqu’une instruction loop produitde nouveaux états à chaque tour de boucle et lorsque ces nouveaux ensembles d’états ontune représentation BDD irrégulière.Il est important de remarquer que notre partitionnement ne permet pas de simplifier l’expressiondes BDDs des registres situés juste derrière la frontière. En effet, la frontière nous permetde restreindre le domaine de définition des fonctions booléennes mais en aucun cas leur image.Seuls les registres situés à une profondeur supérieure ou égale à 2 au delà de la frontière voientleur expression simplifiée.5.3.3 Encodage des programmesNous pensons que notre technique de partitionnement est particulièrement adaptée au casdu langage Esterel : il s’agit d’un langage impératif dans lequel les zones actives et inactivesdu programme sont clairement définies par la valeur des registres. Le codage des programmessous forme de circuit qui produit un registre booléen par instruction pause est également trèsadapté à notre problème. Cela nous permet de représenter simplement l’ensemble des blocsactifs par une simple conjonction de registres.On peut imaginer adapter notre technique pour le cas où le codage des pauses serait plus compliquécomme par exemple un codage hiérarchique : dans un programme P ;Q où les exécutionsde P et de Q sont mutuellement exclusives, il est possible d’encoder les états de P et de Qpar un même vecteur de registre. La séquence serait alors encodée par un registre booléensupplémentaire valant 0 lorsque P est actif et 1 lorsque Q est actif. Notre technique de partitionnementpourrait être appliquée à de tels circuits mais le codage des blocs actifs, c’est à direde l’ansemble area perdrait en simplicité. Ceci permettrait d’adapter notre technique au calculde l’espace d’états de circuits optimisés [71].