Requirements on the execution of Kahn process networks

Authors:
Marc Geilen;Twan Basten
Affiliations:
Dept. of Elec. Eng., Eindhoven University of Technology, The Netherlands;Dept. of Elec. Eng., Eindhoven University of Technology, The Netherlands
Venue:
ESOP'03 Proceedings of the 12th European conference on Programming
Year:
2003

Citing 5
Cited 14

Concurrent transition system semantics of process networks

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Bounded scheduling of process networks

Bounded scheduling of process networks
YAPI: application modeling for signal processing systems

Proceedings of the 37th Annual Design Automation Conference
An Operational Semantics for Pure Dataflow

Proceedings of the 9th Colloquium on Automata, Languages and Programming
Scheduling dynamic dataflow graphs with bounded memory using the token flow model

Scheduling dynamic dataflow graphs with bounded memory using the token flow model

Reactive process networks

Proceedings of the 4th ACM international conference on Embedded software
CCML: A Novel Service Composition Language

WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Generating Multi-Threaded code from Polychronous Specifications

Electronic Notes in Theoretical Computer Science (ENTCS)
Modern development methods and tools for embedded reconfigurable systems: A survey

Integration, the VLSI Journal
Deadlock avoidance for streaming computations with filtering

Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
CA-MPSoC: An automated design flow for predictable multi-processor architectures for multiple applications

Journal of Systems Architecture: the EUROMICRO Journal
Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms

Proceedings of the Conference on Design, Automation and Test in Europe
Buffered communication analysis in distributed multiparty sessions

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
MPSoC programming using the MAPS compiler

Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Behavioral types for embedded software: a survey

Component-Based Software Development for Embedded Systems
Buffer sizing for self-timed stream programs on heterogeneous distributed memory multiprocessors

HiPEAC'10 Proceedings of the 5th international conference on High Performance Embedded Architectures and Compilers
Communication-aware mapping of KPN applications onto heterogeneous MPSoCs

Proceedings of the 49th Annual Design Automation Conference
Model checking of scenario-aware dataflow with CADP

DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Efficient communication support in predictable heterogeneous MPSoC designs for streaming applications

Journal of Systems Architecture: the EUROMICRO Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Kahn process networks (KPNs) are a programming paradigm suitable for streaming-based multimedia and signal-processing applications. We discuss the execution of KPNs, and the criteria for correct scheduling of their realisations. In [12], Parks shows how process networks can be scheduled in bounded memory; the proposed method is used in many implementations of KPNs. However, it does not result in the correct behaviour for all KPNs. We investigate the requirements for a scheduler to guarantee both correct and bounded execution of KPNs and present an improved scheduling strategy that satisfies them.