DocumentCode :
2565842
Title :
Efficient code generation from synchronous programs
Author :
Schneider, Klaus ; Brandt, Jens ; Vecchié, Eric
Author_Institution :
Dept. of Comput. Sci., Kaiserslautern Univ.
fYear :
2006
fDate :
27-30 July 2006
Firstpage :
165
Lastpage :
174
Abstract :
We present a new compilation technique for generating efficient code from synchronous programs. The main idea of our approach consists of computing for each program location an instantaneous statement (called a job) that has to be executed whenever the corresponding program location is active. Given the computed jobs, the overall execution scheme is highly flexible, very efficient, but nevertheless very simple: At each instant, it essentially consists of executing the set of active jobs according to their dynamic dependencies. Besides the required outputs, the execution of the jobs additionally yields the set of active threads for the next instant. As our translation directly follows the structure of the source code, the correctness of the translation can be easily checked by theorem provers. Furthermore, our translation scheme offers new potential for multi-processor execution, modular compilation, and multi-language code generation
Keywords :
program compilers; efficient code generation; modular compilation; multilanguage code generation; multiprocessor execution; synchronous programs; theorem provers; Automata; Computer science; Control systems; Equations; Hardware; Program processors; Size control; Synchronous generators; Vehicle dynamics; Yarn;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on
Conference_Location :
Napa, CA
Print_ISBN :
1-4244-0421-5
Type :
conf
DOI :
10.1109/MEMCOD.2006.1695922
Filename :
1695922
Link To Document :
بازگشت