Mapping esterel onto a multi-threaded embedded processor

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2006, Pages 303-314

  Li, Xin ^a   Boldt, Marian ^a   Von Hanxleden, Reinhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Concurrency; Esterel; Low power processing; Multi threading; Reactive systems

Indexed keywords

EXCEPTION HANDLING; LOW POWER PROCESSING; MULTITHREADING; REACTIVE SYSTEMS;

CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; SOFTWARE DESIGN; SUPERVISORY AND EXECUTIVE PROGRAMS;

PROGRAM PROCESSORS;

EID: 34250882132     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1168857.1168896     Document Type: Conference Paper

References (23)

1. C. André. SyncCharts: A Visual Representation of Reactive Behaviors. Technical Report RR 95-52, rev. RR (96-56), I3S, Sophia-Antipolis, France, Rev. April 1996.
2. F. Balarin, P. Giusto, A. Jurecska, C. Passerone, E. M. Sentovich, B. Tabbara, M. Chiodo, H. Hsieh, L. Lavagno, A. Sangiovanni-Vincentelli, and K. Suzuki. Hardware-Software Co-Design of Embedded Systems, The POLIS Approach. Kluwer Academic Publishers, Apr. 1997.
3. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The Synchronous Languages Twelve Years Later. In Proceedings of the IEEE, Special Issue on Embedded Systems, volume 91, pages 64-83, Jan. 2003.
4. G. Berry. The Constructive. Semantics of Pure Esterel. Draft Book, 1999.
5. G. Berry. The Esterel v5 Language Primer, Version v5.91. Centre de Mathématiques Appliquées Ecole des Mines and INRIA, 06565 Sophia-Antipolis, 2000.
6. G. Berry. The Foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000. Editors: G. Plotkin, C. Stirling and M. Tofte.
7. M. Boldt, X. Li, and R. v. Hanxleden. Compiling Esterel for a multithreaded reactive processor. Technischer Bericht 0603, Christian-Albrechts- Universität Kiel, Institut für Informatik und Praktische Mathematik, May 2006. http://www.informatik.uni-kiel.de/reports/2006/0603.html.
8. Estbench Esterel Benchmark Suite, http://www1.es.columbia.edu/~sedwards/ software/estbench-1.0.tar.gz.
9. E. Closse, M. Poize, J. Pulou, P. Venier, and D. Weil. SAXO-RT: Interpreting Esterel semantic on a sequential execution, structure. In F. Maraninchi, A. Girault, and E. Rutten, editors, Electronic Notes in Theoretical Computer Science, volume 65. Elsevier, July 2002.
10. S. A. Edwards. CEC: The Columbia Esterel. Compiler, http://www1.cs. columbia.edu/~sedwards/cec/.
11. S. A. Edwards. An. Esterel compiler for large control-dominated systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 21(2), Feb. 2002.
12. S. A. Edwards. Tutorial: Compiling concurrent languages for sequential processors. ACM Transactions on Design Automation of Electronic Systems, 8(2): 141-187, Apr. 2003.
13. S. A. Edwards, V. Kapadia, and M. Halas. Compiling Esterel into static discrete-event code. In International Workshop on Synchronous Languages, Applications, and Programming (SLAP'04), Barcelona, Spain, Mar. 2004.
14. Esterel Technologies. Company homepage. http://www.esterel-technologies. com.
15. S. Gädtke, X. Li, M. Boldt, and R. von. Hanxleden. HW/SW Co-Design, for a Reactive Processor. In Proceedings of the Student Poster Session at the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Canada, June 2006.
16. X. Li, J. Lukoschus, M. Boldt, M. Harder, and R. v. Hanxleden. An Esterel Processor with Full Preemption Support and its Worst Case Reaction Time Analysis. In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), pages 225-236, New York, NY, USA, Sept. 2005. ACM Press.
17. X. Li and R. von Hanxleden. A. concurrent reactive Esterel processor based on multi-threading. In Proceedings of the 21st ACM Symposium on Applied Computing (SAC06), Special Track Embedded Systems: Applications, Solutions, and Techniques, Dijon, France, April 23-27 2006.
18. J. Lukoschus. Removing Cycles in Esterel Programs. PhD thesis, Christian-Albrechts-Universität Kiel, Institut für Informatik und Praktische Mathematik, July 2006.
19. M. D. Natale, A. Sangiovanni-Vincentelli, and F. Balarin. Task scheduling with RT constraints. In DAC '00: Proceedings of the 37th Conference on Design Automation, pages 483-488, New York, NY, USA, 2000. ACM. Press.
20. B. Plummer, M. Khajanchi, and S. A. Edwards. An Esterel virtual machine forembedded systems. In International Workshop on Synchronous Languages, Applications, and Programming (SLAP'06), Vienna, Austria, Mar. 2006.
21. D. Potop-Butucara and R. de Simone. Optimization for faster execution of Esterel programs, pages 285-315. Kluwer Academic Publishers, Norwell, MA, USA, 2004.
22. P. S. Roop, Z. Salcic, and M. W. S. Dayaratne. Towards Direct Execution of Esterel Programs on Reactive Processors. In 4th ACM International Conference on Embedded Software (EMSOFT 04), Pisa, Italy, Sept. 2004.
23. L. H. Yoong, P. Roop, Z. Salcic, and F. Gruian. Compiling Esterel for distributed execution. In International Workshop on Synchronous Languages, Applications, and Programming (SLAP'06), Vienna, Austria, Mar. 2006.