Calcul des etats atteignables de programmes Esterel partitionne ...

More documents

Recommendations

Info

86 CHAPITRE 7. EXPÉRIMENTATIONS3000035000noeuds dans le BDD des états atteignables250002000015000100005000noeuds dans le BDD des états en attente3000025000200001500010000500000 2e+06 4e+06 6e+06 8e+06 1e+07 1.2e+07# états atteints00 2e+06 4e+06 6e+06 8e+06 1e+07 1.2e+07# états atteints(a)(b)Fig. 7.10 – Graphes représentant la taille des BDDs en fonction du nombre des états atteintsdans le programme mmid. Les rectangles correspondent à l’algorithme de base et les traits pleinsépais correspondent à l’algorithme partitionné. Le graphe (a) représente l’évolution de la tailledu BDD des états atteignables. Le graphe (b) représente l’évolution de la taille du BDD desétats en attente (les nouveaux états pour l’algorithme de base).pic de consommation mémoire (en Ko)2200002000001800001600001400001200001000008000060000400002000000 2e+06 4e+06 6e+06 8e+06 1e+07 1.2e+07# états atteintsFig. 7.11 – Evolution du pic de la consommation mémoire en fonction des états atteints lors del’analyse du programme mmid. Les rectangles correspondent à l’algorithme de base et les traitspleins épais correspondent à l’algorithme partitionné.7.3.1 chorusBinLe tableau 7.12 présente les résultats de l’analyse du programme chorusBin. L’algorithmede base n’est capable de produire que 12% de l’espace des états atteignables total. Dans cetexemple, l’analyse complète du programme est très coûteuse en temps puisque les calculs ontduré 238 heures. Nous ne pouvons pas savoir quelle aurait été la durée des calculs de l’algorithmede base si la mémoire avait été suffisante. Toutefois, nous pouvons remarquer que l’algorithmepartitionné passe 99% de son temps dans les calculs d’image. Nous avons donc de bonnes raisonsde croire que la durée des calculs provient de la nature du programme chorusBin et non pasdes calculs supplémentaires nécessaires au partitionnement.
7.3. EXPLORATION EXHAUSTIVE 87Algorithme défaut partitionnéNombre d’itérations 6 79Nombre d’états découverts 16 928 480 136 329 824Nombre d’états analysés 441 417 tousMémoire nécessaire > 900Mo 851 369KoDurée totale des calculs d’image 5h27m44s 237h01m40sTemps d’exécution 5h39m35s 238h10m45sFig. 7.12 – chorusBin (92 registres)7.3.2 cdtmicaLe tableau 7.13 présente les résultats de l’analyse du programme cdtmica. L’algorithme debase ne permet de produire que 54% de l’espace des états atteignables total. Dans cet exemple,le temps de calcul de l’algorithme partitionné semble raisonnable : l’algorithme partitionné met2 fois plus de temps à converger que l’algorithme de base à échouer. D’autre part, la courbe7.14 représentant le nombre d’états atteints au cours du temps semble indiquer que l’algorithmepartitionné est un peu plus rapide que l’algorithme de base.Algorithme défaut partitionnéNombre d’itérations 10 185Nombre d’états découverts 12 538 388 785 23 384 736 769Nombre d’états analysés 10 651 674 353 tousMémoire nécessaire > 900Mo 748 971KoDurée totale des calculs d’image 15h17m50s 35h38m10sTemps d’exécution 15h24m46s 36h31m23sFig. 7.13 – cdtmica (208 registres)2.5e+102e+10# états atteints1.5e+101e+105e+0900 20000 40000 60000 80000 100000 120000 140000temps de calculFig. 7.14 – Nombre d’états découverts au cours du temps lors de l’analyse du programmecdtmica. Le temps en abscisse est exprimé en secondes. Les rectangles correspondent à l’algorithmede base et les traits pleins épais correspondent à l’algorithme partitionné.
Page 1:
Université de Nice - Sophia Antipo
Page 7 and 8:
RemerciementsJe remercie le monde e
Page 9:
Thèse1
Page 13 and 14:
1.2. NOTRE APPROCHE 51.2 Notre appr
Page 15 and 16:
1.4. TRAVAUX RELIÉS 7l’hypothès
Page 17 and 18:
Chapitre 2Contexte de l’EtudeCe c
Page 19 and 20:
2.1. ESTEREL 11- abort p when S : p
Page 21 and 22:
2.1. ESTEREL 132.1.1.1 Réincarnati
Page 23 and 24:
2.1. ESTEREL 15#B?B.!Oelse !O#B.?S.
Page 25 and 26:
2.1. ESTEREL 172.1.4.1 Interface de
Page 27 and 28:
2.2. LA MACHINE SÉQUENTIELLE 19- L
Page 29:
2.4. CALCUL SYMBOLIQUE DES ÉTATS A
Page 33 and 34:
2.5. LES DIAGRAMMES DE DÉCISION BI
Page 36 and 37:
28 CHAPITRE 2. CONTEXTE DE L’ETUD
Page 38 and 39:
30 CHAPITRE 2. CONTEXTE DE L’ETUD
Page 41:
3.1. DESCRIPTION GÉNÉRALE DE LA M
Page 46: 38 CHAPITRE 3.PRÉSENTATION INTUITI
Page 49 and 50: 3.3. PARTITIONNEMENT DES BOUCLES 41
Page 51 and 52: 3.4.L’OPÉRATEUR PARALLÈLE ET LE
Page 57 and 58: 3.5. EXPLORATION PARTITIONNÉE DES
Page 59 and 60: Chapitre 4NotationsCe chapitre à p
Page 61: 4.2. LE GRAPHE DE CONTRÔLE 53Deux
Page 64 and 65: 56 CHAPITRE 4. NOTATIONSabortloop p
Page 66 and 67: 58 CHAPITRE 4. NOTATIONSalors Surfa
Page 68 and 69: 60 CHAPITRE 4. NOTATIONSrien ne per
Page 70 and 71: 62 CHAPITRE 5. CALCUL DES ETATS ATT
Page 84 and 85: 76 CHAPITRE 6. MISE EN ŒUVRESource
Page 86 and 87: 78 CHAPITRE 6. MISE EN ŒUVREInstru
Page 88 and 89: 80 CHAPITRE 6. MISE EN ŒUVRE
Page 90 and 91: 82 CHAPITRE 7. EXPÉRIMENTATIONSPro
Page 92 and 93: 84 CHAPITRE 7. EXPÉRIMENTATIONSson
Page 96 and 97: 88 CHAPITRE 7. EXPÉRIMENTATIONS7.3
Page 98 and 99: 90 CHAPITRE 7. EXPÉRIMENTATIONS
Page 100 and 101: 92 CHAPITRE 8. CONCLUSION ET PERSPE
Page 102 and 103: 94 BIBLIOGRAPHY[16] K. S. Brace, R.
Page 104 and 105: 96 BIBLIOGRAPHY[47] Alan J. Hu and
Page 106: 98 BIBLIOGRAPHY[77] Herve J. Touati
show all

Calcul des etats atteignables de programmes Esterel partitionne ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?