The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

Eugene Yip 1 Alain Girault 2, 3 Partha Roop 1 Morteza Biglari-Abhari 1
1 ECE - Department of Electrical and Computer Engineering [Auckland ]
2 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes
3 UGA - Université Grenoble Alpes
Abstract : Cyber-physical systems (CPSs) are embedded systems that are tightly integrated with their physical environment. The correctness of a CPS depends on the output of its computations and on the timeliness of completing the computations. This paper proposes the ForeC language for the deterministic parallel programming of CPS applications on multi-core execution platforms. ForeC's synchronous semantics is designed to greatly simplify the understanding and debugging of parallel programs. ForeC allows programmers to express many forms of parallel patterns while ensuring that programs are amenable to static timing analysis. One of ForeC's main innovation is its shared variable semantics that provides thread isolation and deterministic thread communication. Through benchmarking, we demonstrate that ForeC can achieve better parallel performance than Esterel, a widely used synchronous language for concurrent safety-critical systems, and OpenMP, a popular desktop solution for parallel programming. We demonstrate that the worst-case execution time of ForeC programs can be estimated precisely.
Type de document :
Communication dans un congrès
IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC'16, Sep 2016, Lyon, France. IEEE, 2016
Liste complète des métadonnées

https://hal.inria.fr/hal-01412102
Contributeur : Alain Girault <>
Soumis le : jeudi 8 décembre 2016 - 00:39:53
Dernière modification le : mardi 13 décembre 2016 - 17:21:33
Document(s) archivé(s) le : mardi 21 mars 2017 - 04:43:35

Fichier

mcsoc16-PID4352145.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01412102, version 1

Collections

INRIA

Citation

Eugene Yip, Alain Girault, Partha Roop, Morteza Biglari-Abhari. The ForeC Synchronous Deterministic Parallel Programming Language for Multicores. IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC'16, Sep 2016, Lyon, France. IEEE, 2016. <hal-01412102>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

95

Téléchargements du document

66

Contact


archive-ouverte@inria.fr