首页    期刊浏览 2024年12月01日 星期日
登录注册

文章基本信息

  • 标题:Removing Cycles in Esterel Programs
  • 本地全文:下载
  • 作者:Jan Lukoschus ; Reinhard von Hanxleden
  • 期刊名称:EURASIP Journal on Embedded Systems
  • 印刷版ISSN:1687-3955
  • 电子版ISSN:1687-3963
  • 出版年度:2007
  • 卷号:2007
  • DOI:10.1155/2007/48979
  • 出版社:Hindawi Publishing Corporation
  • 摘要:

    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 code level 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.

国家哲学社会科学文献中心版权所有