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

https://hal.inria.fr/hal-00765020
Contributor : Alain Girault <>
Submitted on : Friday, December 14, 2012 - 8:53:09 AM
Last modification on : Tuesday, February 9, 2021 - 3:24:16 PM
Long-term archiving on: : Friday, March 15, 2013 - 3:45:07 AM

File

IP_0439.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00765020, version 1

Collections

CNRS | INRIA | LIG | UGA

Citation

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⟩

Share

Metrics

Record views

373

Files downloads

366