Sonderkolloquiumsvortrag: Alain Girault, INRIA Grenoble
22.07.2014 von 14:15 bis 15:30
Institut für Informatik, Ludewig-Meyn-Str. 2, Übungsraum 2
Titel:
Parametric Dataflow Programming: Model of Computation and
Many-Core Scheduling
Abstract:
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