Skip to Main content Skip to Navigation
Conference papers

Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software

Keryan Didier 1 Albert Cohen 2 Dumitru Potop-Butucaru 3 Adrien Gauffriau 4
2 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
3 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Concurrent programming is notoriously difficult, especially in constrained embeddedcontexts. Threads, in particular, are wildly nondeterministic as a model of computation, anddifficult to analyze in the general case. Fortunately, it is often the case that multi-threaded,semaphore-synchronized embedded software implements high-level functional specifications writtenin a deterministic data-flow language such as Scade or (safe subsets of) Simulink. We claim thatin this case the implementation process should build not just the multi-threaded C code, but (firstand foremost) a richer model exposing the dataflow organization of the computations performed bythe implementation. From this model, the C code is extracted through selective pretty-printing,while knowledge of the data-flow organization facilitates analysis. We propose a language fordescribing such implementation models that expose the data-flow behavior (the sheep) hidingunder the form of a multi-threaded program (the wolf). The language allows the representationof efficient implementations featuring pipelined scheduling and optimized memory allocation andsynchronization. We show applicability on a large-scale industrial avionics case study and on acommercial many-core.
Complete list of metadatas

https://hal.inria.fr/hal-02422787
Contributor : Dumitru Potop-Butucaru <>
Submitted on : Monday, December 23, 2019 - 10:43:19 AM
Last modification on : Thursday, March 5, 2020 - 12:20:51 PM

Links full text

Identifiers

Collections

Citation

Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau. Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. ACSD 2019 - 19th International Conference on Application of Concurrency to System Design, Jun 2019, Aachen, Germany. pp.43-52, ⟨10.1109/ACSD.2019.00009⟩. ⟨hal-02422787⟩

Share

Metrics

Record views

44