Dissertation (Metadaten)
Titel:Removing cycles in esterel programs
 
Autor:Jan Lukoschus
 
URN:NBN:urn:nbn:de:gbv:8-diss-20159
 
Fakultät:Technische Fakultät
DDC Sachgebiet:004 Informatik
 
Datum der mdl. Prüfung:20.07.2006
 
Referent(in):Prof. Dr. Reinhard von Hanxleden
Korreferent(en) Korreferentin:Prof. Dr. Stephen A. Edwards
 
Beschreibung:Esterel belongs to the family of synchronous programming languages, which are affected by cyclic signal dependencies. This prohibits a static scheduling, limiting the choice of available compilation techniques for programs with such cycles. This work proposes an algorithm that, given a constructive synchronous Esterel program, performs a semantics-preserving source-level code transformation that removes cyclic signal dependencies. The transformation is divided into two parts: Detection of cycles and iterative resolution of these cycles. It is based on the replacement of cycle signals by a signal expression involving no other cycle signals, thereby breaking the cycle. This transformation of cyclic Esterel programs enables the use of efficient compilation techniques, which are only available for acyclic programs. Furthermore, experiments indicate that the code transformation can even improve code quality produced by compilers that can already handle cyclic programs.
 
Schlagworte:Reactive Systems, Cyclic Dependencies, Synchronous Languages, Cyclic Circuits, Esterel, Resynthesis, Lustre, Compilation, Constructiveness
 
Dokumente:
d2015.pdf (1.171 kB)    ZIP generieren   Details >>