Deterministic, Predictable and Light-Weight Multithreading Using PRET-C - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Deterministic, Predictable and Light-Weight Multithreading Using PRET-C

Résumé

We present a new language called Precision Timed C called PRET-C, for predictable and lightweight multithreading in C. 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, which is guaranteed to be thread safe via the proposed semantics. Mapping of logical time to physical time is achieved by a Worst Case Reaction Time (WCRT) analyser. To improve throughput while maintaining predictability, a hardware accelerator specifically designed for PRET-C is added to a soft-core processor. We then demonstrate through extensive benchmarking that the proposed approach not only achieves complete predictable execution, but also improves overall throughput when compared to the software execution of PRET-C. The PRET-C software approach is also significantly more efficient in comparison to two other light-weight concurrent C variants called SC and Protothreads, as well as the well-known synchronous language Esterel.
Fichier principal
Vignette du fichier
IP_0439.pdf (170.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00765020 , version 1 (14-12-2012)

Identifiants

  • HAL Id : hal-00765020 , version 1

Citer

Sidharta Andalam, Partha Roop, Alain Girault. Deterministic, Predictable and Light-Weight Multithreading Using PRET-C. Design Automation and Test in Europe Conference, DATE'10, Mar 2010, Dresden, Germany. ⟨hal-00765020⟩
139 Consultations
224 Téléchargements

Partager

Gmail Facebook X LinkedIn More