Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Alain Girault Connect in order to contact the contributor
Submitted on : Friday, December 14, 2012 - 8:53:09 AM
Last modification on : Wednesday, July 6, 2022 - 4:20:10 AM
Long-term archiving on: : Friday, March 15, 2013 - 3:45:07 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads