Deterministic, Predictable and Light-Weight Multithreading Using PRET-C - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

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


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-00765020 , version 1


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⟩
132 View
213 Download


Gmail Facebook Twitter LinkedIn More