Execution de taches asynchrones depuis esterel

摘要: De nombreux systemes informatiques sont consideres comme des reactifs car ils maintiennent une interaction synchrone permanente avec leur environnement. Le langage parallele esterel est specialement concu pour programmer de tels systemes. L'hypothese synchronisme parfait d'esterel s'enonce ainsi: les sorties d'un programme delivrees en meme temps que entrees, reactions se faisant idealement nul. Cette hypothese utilisee par le compilateur engendrer l'automate represente la source et doit etre validee a posteriori lors l'implementation. Cependant cette validation pose probleme lorsque realiser calculs qui durent. Dans these, nous presentons extension permet lancer actions duree non nulle: taches asynchrones. La presentation s'appuie sur semantique formelle incluant nouvelle primitive exec mais excluant variables signaux values raisons simplicite l'expose. illustree exemples d'execution programmes. Ensuite, modifications realisees dans traiter primitive. A occasion, decrivons codes intermediaires chaine compilation esterel-v3. Les traitent complet: montrons ici comment resoudre problemes d'atomicite entre retour arguments asynchrones interruption ces gardes temporelles. Finalement, producteur code developpe simplifier l'implementation automate utilisant exec.