Self-Timed Periodic Scheduling For Cyclo-Static DataFlow ModelReport as inadecuate

Self-Timed Periodic Scheduling For Cyclo-Static DataFlow Model - Download this document for free, or read online. Document in PDF available to download.

1 Commissariat à l-Énergie Atomique et aux Énergies Alternatives CEA - Grenoble 2 IRIT - Institut de recherche en informatique de Toulouse

Abstract : Real-time and time-constrained applications programmed on many-core systems can suffer from unmet timing constraints even with correct-by-construction schedules. Such unexpected results are usually caused by unaccounted for delays due to resource sharing e.g. the communication medium. In this paper we address the three main sources of unpredictable behaviors: First, we propose to use a deterministic Model of Computation MoC, more specifically, the well-formed CSDF subset of process networks; Second, we propose a run-time management strategy of shared resources to avoid unpredictable timings; Third, we promote the use of a new scheduling policy, the so-said Self-Timed Periodic STP scheduling, to improve performance and decrease synchronization costs by taking into account resource sharing or resource constraints. This is a quantitative improvement above state-of-the-art scheduling policies which assumed fixed delays of inter-processor communication and did not take correctly into account subtle effects of synchronization.

Keywords : Data-Flow Scheduling Latency Guarantees Many-core systems Real-Time

Author: Amira Dkhil - Xuankhanh Do - Paul Dubrulle - Stéphane Louise - Christine Rochange -



Related documents