Lecture Notes in Computer Science, 2007, Volume 4763/2007, 274-289, DOI: 10.1007/978-3-540-75454-1_20

Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times

Pavel Krcal, Martin Stigge and Wang Yi

View Related Documents

Abstract

In this paper, we study schedulability analysis problems for multi-processor real-time systems. Assume a set of real-time tasks whose execution times and deadlines are known. We use timed automata to describe the non-deterministic arrival times of tasks. The schedulability problem is to check whether the released task instances can be executed within their given deadlines on a multi-processor platform where each processor has a task queue to buffer task instances scheduled to run on the processor. On the positive side, we show that the problem is decidable for systems with non-preemptive schedulers or tasks with fixed execution times. A surprising negative result is that for multi-processor systems with variable task execution times and a preemptive scheduler, the schedulability analysis problem is undecidable, which is still an open problem in the single-processor setting.

Fulltext Preview

Image of the first page of the fulltext document