Control-Driven Data Flow

Antoniu Pop 1 Albert Cohen 1
1 Parkas - Parallélisme de Kahn Synchrone
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
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 metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-00717906
Contributor : Antoniu Pop <>
Submitted on : Tuesday, February 19, 2013 - 12:00:48 PM
Last modification on : Thursday, February 7, 2019 - 3:49:43 PM
Long-term archiving on : Monday, May 20, 2013 - 4:01:05 AM

File

RR-8015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00717906, version 2

Collections

Citation

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

Share

Metrics

Record views

508

Files downloads

404