Skip to Main content Skip to Navigation

Control-Driven Data Flow

Antoniu Pop 1 Albert Cohen 1 
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : This paper presents CDDF, a model of computation underpinning the formal semantics of a number of parallel programming languages. CDDF integrates control flow elements for the dynamic construction of task graphs, and data flow elements to express dependent computations and to decouple these using unbounded streams (Kahn process networks). It is a common ground to define the formal semantics of imperative programming languages with dynamic task creation, as well as data-flow or concurrent functional languages, as a special case of more general dependent task languages with channels or streams. We prove essential properties for languages fitting this model of computation, including deadlock-freedom, functional and deadlock determinism, and serializability. We also compare the model's hypotheses with Cilk's strictness and the Kahn principle.
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Antoniu Pop Connect in order to contact the contributor
Submitted on : Tuesday, February 19, 2013 - 12:00:48 PM
Last modification on : Thursday, April 28, 2022 - 4:26:24 PM
Long-term archiving on: : Monday, May 20, 2013 - 4:01:05 AM


Files produced by the author(s)


  • HAL Id : hal-00717906, version 2



Antoniu Pop, Albert Cohen. Control-Driven Data Flow. [Research Report] RR-8015, INRIA. 2012, pp.48. ⟨hal-00717906v2⟩



Record views


Files downloads