*banner
 

A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Gang Zhou, Man-Kit Leung, Edward A. Lee

Citation
Gang Zhou, Man-Kit Leung, Edward A. Lee. "A Code Generation Framework for Actor-Oriented Models with Partial Evaluation". Proceedings of International Conference on Embedded Software and Systems 2007, LNCS 4523, Y.-H. Lee et al. (ed.), 786-799, May, 2007.

Abstract
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstraction for composing concurrent components. However, high level abstraction often introduces overhead and results in slower system. We address the problem of generating efficient implementation for the systems with such a high level description. We use partial evaluation as an optimized compilation technique for actor-oriented models. We use a helper-based mechanism, which results in flexible and extensible code generation framework. The end result is that the benefit offered by high level abstraction comes with (almost) no performance penalty. The code generation framework has been released in open source form as part of Ptolemy II 6.0.1.

Electronic downloads

Citation formats  
  • HTML
    Gang Zhou, Man-Kit Leung, Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/251.html"
    >A Code Generation Framework for Actor-Oriented Models
    with Partial Evaluation</a>, Proceedings of
    International Conference on Embedded Software and Systems
    2007, LNCS 4523, Y.-H. Lee et al. (ed.), 786-799, May, 2007.
  • Plain text
    Gang Zhou, Man-Kit Leung, Edward A. Lee. "A Code
    Generation Framework for Actor-Oriented Models with Partial
    Evaluation". Proceedings of International Conference on
    Embedded Software and Systems 2007, LNCS 4523, Y.-H. Lee et
    al. (ed.), 786-799, May, 2007.
  • BibTeX
    @inproceedings{ZhouLeungLee07_CodeGenerationFrameworkForActorOrientedModelsWithPartial,
        author = {Gang Zhou and Man-Kit Leung and Edward A. Lee},
        title = {A Code Generation Framework for Actor-Oriented
                  Models with Partial Evaluation},
        booktitle = {Proceedings of International Conference on
                  Embedded Software and Systems 2007, LNCS 4523},
        editor = {Y.-H. Lee et al.},
        pages = {786-799},
        month = {May},
        year = {2007},
        abstract = {Embedded software requires concurrency formalisms
                  other than threads and mutexes used in traditional
                  programming languages like C. Actor-oriented
                  design presents a high level abstraction for
                  composing concurrent components. However, high
                  level abstraction often introduces overhead and
                  results in slower system. We address the problem
                  of generating efficient implementation for the
                  systems with such a high level description. We use
                  partial evaluation as an optimized compilation
                  technique for actor-oriented models. We use a
                  helper-based mechanism, which results in flexible
                  and extensible code generation framework. The end
                  result is that the benefit offered by high level
                  abstraction comes with (almost) no performance
                  penalty. The code generation framework has been
                  released in open source form as part of Ptolemy II
                  6.0.1. },
        URL = {http://chess.eecs.berkeley.edu/pubs/251.html}
    }
    

Posted by Gang Zhou on 14 May 2007.
Groups: chess chesslocal ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess