Symbolic Analyses of Dataflow Graphs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Design Automation of Electronic Systems Année : 2017

Symbolic Analyses of Dataflow Graphs

Résumé

The synchronous dataflow model of computation is widely used to design embedded stream-processing applications under strictquality-of-service requirements (e.g., buffering size, throughput, input-output latency). The required analyses can either be performedat compile time (for design space exploration) or at run-time (for resource management and reconfigurable systems). However, theseanalyses have an exponential time complexity, which may cause a huge run-time overhead or make design space exploration unacceptably slow.In this paper, we argue that symbolic analyses are more appropriate since they express the system performance as a function ofparameters (i.e., input and output rates, execution times). Such functions can be quickly evaluated for each different configuration orchecked w.r.t. different quality-of-service requirements. We provide symbolic analyses for computing the maximal throughput of acyclicsynchronous dataflow graphs, the minimum required buffers for which as soon as possible scheduling achieves this throughput, and finally the corresponding input-output latency of the graph. The paper first investigates these problems for a single parametric edge. The results are extended to general acyclic graphs using linear approximation techniques. We assess the proposed analyses experimentally on both synthetic and real benchmarks.
Fichier non déposé

Dates et versions

hal-01417146 , version 1 (15-12-2016)

Identifiants

Citer

Adnan Bouakaz, Pascal Fradet, Alain Girault. Symbolic Analyses of Dataflow Graphs. ACM Transactions on Design Automation of Electronic Systems, 2017, ⟨10.1145/3007898⟩. ⟨hal-01417146⟩
218 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More