Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem

Liliana Cucu
  • Function : Author
  • PersonId : 844766
Olivier Buffet

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.
Fichier principal
Vignette du fichier
cucBuf09xrts.pdf (126.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00429506 , version 1 (18-11-2009)

Identifiers

  • HAL Id : inria-00429506 , version 1

Cite

Liliana Cucu, Olivier Buffet. Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem. ICPP'09 Workshop on Real-time systems on multicore platforms: Theory and Practice (XRTS'09), Sep 2009, Vienne, Austria. ⟨inria-00429506⟩
134 View
399 Download

Share

Gmail Facebook X LinkedIn More