Requirements on the Execution of Kahn Process Networks

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.

[1]  Thomas Martyn Parks,et al.  Bounded scheduling of process networks , 1996 .

[2]  Twan Basten,et al.  Efficient Execution of Process Networks , 2001 .

[3]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[4]  Arnab Basu,et al.  An Implementation of Process Networks in Java by , .

[5]  Antony A. Faustini.  An Operational Semantics for Pure Dataflow , 1982, ICALP.

[6]  B.L. Evans,et al.  Real-time sonar beamforming on a Unix workstation using process networks and POSIX threads , 1998, Conference Record of Thirty-Second Asilomar Conference on Signals, Systems and Computers (Cat. No.98CH36284).

[7]  Mudit Goel,et al.  Process Networks in Ptolemy II , 1998 .

[8]  Eugene W. Stark,et al.  Concurrent transition system semantics of process networks , 1987, POPL '87.

[9]  Stephen Brookes,et al.  On the Kahn Principle and Fair Networks , 1998 .

[10]  Edward A. Lee,et al.  Implementation of Process Networks in Java , 1997 .

[11]  Edward A. Lee,et al.  Scheduling dynamic dataflow graphs with bounded memory using the token flow model , 1993, 1993 IEEE International Conference on Acoustics, Speech, and Signal Processing.

[12]  E.A. Lee,et al.  Synchronous data flow , 1987, Proceedings of the IEEE.

[13]  Edward A. Lee,et al.  Overview of the Ptolemy project , 2001 .

[14]  Erwin A. de Kock,et al.  YAPI: application modeling for signal processing systems , 2000, Proceedings 37th Design Automation Conference.