Cyclo-static DataFlow Phases Scheduling Optimization for Buffer Sizes Minimization - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

Cyclo-static DataFlow Phases Scheduling Optimization for Buffer Sizes Minimization

Résumé

Cyclo-Static DataFlow (CSDF) is a powerful model for the specification of DSP applications. However, as in any asynchronous model, the synchronization of the different communicating tasks (processes) is made through buffers that have to be sized such that timing constraints are met. In this paper, we want to determine buffer sizes such that the throughput constraint is satisfied. This problem has been proved to be of exponential complexity. Exact techniques to solve this problem are too time and/or space consuming because of the self-timed schedule needed to evaluate the maximum throughput. Therefore, a periodic schedule is used. Each CSDF actor is associated with a period that satisfies the throughput constraint and sufficient buffer sizes are derived in polynomial time. However, within a period, an actor phases can be scheduled in different manners which impacts the evaluation of sufficient buffer sizes. This paper presents a Min-Max Linear Program that derives an optimized periodic phases scheduling per CSDF actor in order to minimize buffer sizes. It is shown through different applications that this Min-Max Linear Program allows to obtain close to optimal values while running in polynomial time.
Fichier non déposé

Dates et versions

hal-01216562 , version 1 (16-10-2015)

Identifiants

Citer

Mohamed Benazouz, Alix Munier-Kordon. Cyclo-static DataFlow Phases Scheduling Optimization for Buffer Sizes Minimization. The 16th International Workshop on Software and Compilers for Embedded Systems, Jun 2013, St. Goar, Germany. pp.3-12, ⟨10.1145/2463596.2463602⟩. ⟨hal-01216562⟩
77 Consultations
0 Téléchargements

Altmetric

Partager

More