PRET-C: A new language for programming precision timed architectures
| Autor: | Andalam, Sidharta, Roop, Partha, Girault, Alain, Traulsen, Claus |
|---|---|
| Přispěvatelé: | Department of Electrical and Computer Engineering [Auckland ] (ECE), University of Auckland [Auckland], Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Department of Computer Science, Christian-Albrechts-Universität zu Kiel (CAU), INRIA, Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF) |
| Jazyk: | angličtina |
| Rok vydání: | 2009 |
| Předmět: |
Synchronous Languages
ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.1: Concurrent distributed and parallel languages [INFO.INFO-ES]Computer Science [cs]/Embedded Systems Precision Timed (PRET) Architectures Real-time systems ACM: B.: Hardware/B.1: CONTROL STRUCTURES AND MICROPROGRAMMING |
| Zdroj: | [Research Report] RR-6922, INRIA. 2009, pp.38 |
| Popis: | Precision Timed Architectures (PRET) are a recent proposal for designing processors for real-time embedded systems. These processors must guarantee precise worst case reaction time (WCRT) of applications without sacrificing throughput, and must allow the WCRT of programs to be computed simply as well as efficiently. The ob jective of this paper is to propose a new synchronous language based on C, called PRET-C, for programming PRET machines. PRET-C supports synchronous concurrency, preemption, and a high-level construct for logical time. In contrast to existing synchronous languages, PRET-C offers C-based shared memory communications between concurrent threads, that are guaranteed to be thread safe via the proposed semantics. Preemption is also semantically simpler. Programmer can freely mix both logical time (though the notion of logical ticks) and physical time by controlling hardware timers thanks to C libraries. Mapping of logical time to physical time is achieved thanks to the WCRT analyzer and the associated compiler. We also propose the Auckland Reactive PRET processor (ARPRET) that customizes the Xilinx MicroBlaze processor, a general purpose processor (GPP). Together, PRET-C and ARPRET offer an easy, scalable, and efficient solution to the design of precision timed embedded systems. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|