Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem

In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a 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: Journal
• Year: 2009
• Where: ICPPW
• Authors: Liliana Cucu-Grosjean, Olivier Buffet
• Keywords: Constraint Satisfaction Problem, Distributed And Parallel Computing, Heterogeneous Multiprocessor Platforms, ICPPW 2009, Solutions