A concurrent reactive Esterel processor based on multi-threading

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2006, Pages 912-917

  Li, Xin ^a   Von Hanxleden, Reinhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Esterel; Multithreading; Processor architecture; Synchronous languages

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; PROGRAM COMPILERS;

ESTEREL; MULTITHREADING; PROCESSOR ARCHITECTURE; SYNCHRONOUS LANGUAGES;

PROGRAM PROCESSORS;

EID: 33751067016     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141489     Document Type: Conference Paper

References (20)

1. 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.
2. 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.
3. G. Berry. Esterel on Hardware. Philosophical Transactions of the Royal Society of London, 339:87-104, 1992.
4. G. Berry. The Esterel v5 Language Primer. Draft Book, 1999.
5. 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.
6. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
7. CEC: The Columbia Esterel Compiler. http://www1.cs.columbia.edu/ ~sedwards/cec/.
8. Estbench Esterel Benchmark Suite. http://www1.cs.columbia.edu/~sedwards/ software/estbench-1.0.tar.gz.
9. C. Chow, J. S.Y.Tong, M. Dayaratne, P. S. Roop, and Z. Salcic. RePIC - A New Processor Architecture Supporting Direct Esterel Execution. School of Engineering Report No. 612, University of Auckland, 2004.
10. 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.
11. M. W. S. Dayaratne, P. S. Roop, and Z. Salcic. Direct Execution of Esterel Using Reactive Microprocessors. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP), Apr. 2005.
12. 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.
13. Esterel web. http://www-sop.inria.fr/esterel.org/.
14. A. Girault. A survey of automatic distribution method for synchronous programs. In F. Maraninchi, M. Pouzet, and V. Roy, editors, International Workshop on Synchronous Languages, Applications and Programs (SLAP'05), Electronic Notes in Theoretical Computer Science, Edinburgh, UK, Apr. 2005. Elsevier Science.
15. X. Li and R. v. Hanxleden. A concurrent reactive esterel processor based on multi-threading. Technischer Bericht 0509, Christian-Albrechts- Universitä Kiel, Institut für Informatik und Praktische Mathematik, Nov. 2005. http://www.iformatik.uni-kiel.de/reports/2005/0509.html.
16. X. Li and R. v. Hanxleden. The Kiel EsterelProcessor - a semi-custom, configurable reactive processor. In S. A. Edwards, N. Halbwachs, R. v. Hanxleden, and T. Stauner, editors, Synchronous Programming-SYNCHRON'04, number 04491 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005. http://drops. dagstuhl.de/opus/volltexte/2005/159.
17. 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.
18. J. Lukoschus and R. v. Hanxleden. Removing cycles in Esterel programs. In F. Maraninchi, M. Pouzet, and V. Roy, editors, International Workshop on Synchronous Languages, Applications and Programming (SLAP'05), Edinburgh, Apr. 2005.
19. 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.
20. Z. Salcic, P. S. Roop, M. Biglari-Abhari, and A. Bigdeli. REFLIX: A Processor Core with Native Support for Control Dominated Embedded Applications. Elsevier Journal of Microprocessors and Microsystems, 28:13-25, 2004.