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.
Type de document :
Communication dans un congrès
Design Automation and Test in Europe Conference, DATE'10, Mar 2010, Dresden, Germany. 2010
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00765020
Contributeur : Alain Girault <>
Soumis le : vendredi 14 décembre 2012 - 08:53:09
Dernière modification le : mercredi 11 avril 2018 - 01:52:52
Document(s) archivé(s) le : vendredi 15 mars 2013 - 03:45:07

Fichier

IP_0439.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00765020, version 1

Collections

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. 2010. 〈hal-00765020〉

Partager

Métriques

Consultations de la notice

258

Téléchargements de fichiers

147