Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem

Liliana Cucu 1 Olivier Buffet 2
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 MAIA - Autonomous intelligent machine
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a {\em constraint satisfaction problem} that we prove equivalent to the multiprocessor problem. A solution has to satisfy a set of constraints and there is no performance criterion to optimize. We propose two different CSP formulations. The first one is a basic encoding allowing to use state of the art CSP solvers. The second one is a more complex encoding designed to obtain solutions faster. With these encodings, we then study the resolution of the scheduling problem using systematic search algorithms based on backtracking.
Type de document :
Communication dans un congrès
Gerhard Fohler and Sanjoy Baruah. ICPP'09 Workshop on Real-time systems on multicore platforms: Theory and Practice (XRTS'09), Sep 2009, Vienne, Austria. 2009, Proceedings of the ICPP'09 Workshop on Real-time systems on multicore platforms: Theory and Practice (XRTS'09)
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00429506
Contributeur : Olivier Buffet <>
Soumis le : mercredi 18 novembre 2009 - 07:00:06
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05
Document(s) archivé(s) le : mardi 16 octobre 2012 - 13:06:17

Fichier

cucBuf09xrts.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00429506, version 1

Collections

Citation

Liliana Cucu, Olivier Buffet. Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem. Gerhard Fohler and Sanjoy Baruah. ICPP'09 Workshop on Real-time systems on multicore platforms: Theory and Practice (XRTS'09), Sep 2009, Vienne, Austria. 2009, Proceedings of the ICPP'09 Workshop on Real-time systems on multicore platforms: Theory and Practice (XRTS'09). 〈inria-00429506〉

Partager

Métriques

Consultations de la notice

327

Téléchargements de fichiers

283