Self-Timed Periodic Scheduling For Cyclo-Static DataFlow Model

Amira Dkhil (1) , Xuankhanh Do (1) , Paul Dubrulle (1) , Stéphane Louise (1) , Christine Rochange (2)

1 CEA - Commissariat à l'énergie atomique et aux énergies alternatives
2 IRIT-TRACES - Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués

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.

Mots clés: Many-core systems; Real-Time; Scheduling; Latency; Guarantees; Data-Flow

Domaines: Réseaux et télécommunications [cs.NI]; Système d'exploitation [cs.OS]; Architectures Matérielles [cs.AR]; Systèmes embarqués

Amira Dkhil, Xuankhanh Do, Paul Dubrulle, Stéphane Louise, Christine Rochange. Self-Timed Periodic Scheduling For Cyclo-Static DataFlow Model. Workshop on Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems - ALCHEMY 2014, Jun 2014, Cairns, Australia. pp. 1134-1145. ⟨hal-01136092⟩