Processes and actors: Translating Kahn processes to dataflow with firing

Gustav Cedersjö, Jörn Janneck

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

2 Citations (SciVal)

Abstract

Dataflow programming is a paradigm for describing stream processing algorithms in a manner that naturally exposes their concurrency and makes the resulting programs readily implementable on highly parallel architectures. Dataflow programs are graph structured, with nodes representing computational kernels that process the data flowing over the edges. There are two major families of languages for the kernels: process languages and languages for dataflow with firing. While processes tend to be easier to write, the additional structure provided by the dataflow-with-firing style increases the analyzability of dataflow programs and supports more efficient implementation techniques. This paper seeks to combine these benefits in a principled manner by constructing a family of translations from a process language to dataflow with firing. In order to formally relate these descriptions, we first introduce a notion of firing to the semantics of Kahn processes, which allows us to give a precise definition of equivalence between programs written in these different styles. Then we introduce a family of translations between them and and show that they retain meaning of a program. The presented language and its translation has been implemented in a compiler for the dataflow programming language CAL.
Original languageEnglish
Title of host publication2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS)
PublisherIEEE - Institute of Electrical and Electronics Engineers Inc.
Pages21-30
ISBN (Electronic)978-1-5090-3076-7
ISBN (Print)978-1-5090-3077-4
DOIs
Publication statusPublished - 2016 Jul 17
EventInternational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XVI) - Samos, Greece
Duration: 2017 Jul 172017 Jul 21

Conference

ConferenceInternational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XVI)
Country/TerritoryGreece
CitySamos
Period2017/07/172017/07/21

Subject classification (UKÄ)

  • Computer Science

Fingerprint

Dive into the research topics of 'Processes and actors: Translating Kahn processes to dataflow with firing'. Together they form a unique fingerprint.

Cite this