Equivalence between Schedule Representations: Theory and Applications

Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order to overcome these difficulties, by allowing processors to be fractionally allocated. We prove that these representations are equivalent to the standard representations when preemptive scheduling is allowed. This allows the creation of scheduling algorithms and the study of feasibility in the simpler representations. We apply this method throughout the paper. Then, we use it to provide new simple solutions to the previously solved implicit-deadline periodic scheduling problem. We also tackle the more general problem of scheduling arbitrary time-triggered tasks, and thus in particular solve the open multiprocessor general periodic tasks scheduling problem. Contrary to previous solutions like the PFair class of algorithms, the proposed solution also works when processors have different speeds. We complete the m...

• Type: Conference
• Year: 2008
• Where: RTAS
• Authors: Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
• Keywords: Multiprocessor Scheduling Problems, Real-Time Technology, RTAS 2008, Scheduling Algorithms, Scheduling Problem