Predictable Multithreading of Embedded Applications Using PRET-C

Abstract : We propose a new language called Precision Timed C (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 that is guaranteed to be thread safe. Due to the proposed synchronous semantics, the mapping of logical time to physical time can be achieved much more easily than with plain C, thanks to a Worst Case Reaction Time (WCRT) analyzer (not presented here). Associated to the PRET-C programming language, we present a dedicated target architecture, called ARPRET, which combines a hardware accelerator associated to an existing softcore processor. This allows us to improve the throughput while preserving the predictability. With extensive benchmarking, we then demonstrate that ARPRET not only achieves completely predictable execution of PRET-C programs, but also improves the throughput when compared to the pure 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 (namely SC and Protothreads), as well as the well-known Esterel synchronous programming language.
Type de document :
Communication dans un congrès
International Conference on Formal Methods and Models for Codesign, MEMOCODE'10, Jul 2010, Grenoble, France. IEEE-ACM, pp.159-168, 2010, 〈10.1109/MEMCOD.2010.5558636〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00786378
Contributeur : Alain Girault <>
Soumis le : vendredi 8 février 2013 - 14:52:07
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03
Document(s) archivé(s) le : lundi 17 juin 2013 - 20:20:38

Fichier

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

Identifiants

Collections

Citation

Sidharta Andalam, Partha Roop, Alain Girault. Predictable Multithreading of Embedded Applications Using PRET-C. International Conference on Formal Methods and Models for Codesign, MEMOCODE'10, Jul 2010, Grenoble, France. IEEE-ACM, pp.159-168, 2010, 〈10.1109/MEMCOD.2010.5558636〉. 〈hal-00786378〉

Partager

Métriques

Consultations de la notice

492

Téléchargements de fichiers

279