Sonderkolloquiumsvortrag: Alain Girault, INRIA Grenoble

22.07.2014 von 14:15 bis 15:30

Institut für Informatik, Ludewig-Meyn-Str. 2, Übungsraum 2


Parametric Dataflow Programming: Model of Computation and Many-Core Scheduling



Dataflow models, such as SDF, have been effectively used to program

streaming applications while ensuring their liveness and boundedness.

Yet, industrials are struggling to design the next generation

of high definition video applications using these models.

Such applications demand new features such as parameters to express

dynamic input/output rate and topology modifications.

Their implementation on modern many-core platforms is a major challenge.


We tackle these problems by proposing a generic and flexible

framework to schedule streaming applications designed in a parametric

dataflow model of computation. We generate parallel as soon as

possible (ASAP) schedules targeted to the new STHORM many-core platform

of STMicroelectronics. Furthermore, these schedules can be customized

using user-defined ordering and resource constraints.


The parametric dataflow graph is associated with generic or

user-defined specific constraints aimed at minimizing timing,

buffer sizes, power consumption, or other criteria. The scheduling

algorithm executes with minimal overhead and can be adapted to

different scheduling policies just by adding some constraints.

The safety of both the dataflow graph and constraints can be

checked statically and all schedules are guaranteed to be bounded

and deadlock free. We illustrate the scheduling capabilities of

our approach using a real world application: the VC-1 video decoder

for high definition video streaming.


Prof. Dr. Reinhard von Hanxleden

Diesen Termin meinem iCal-Kalender hinzufügen