Feasibility Intervals for FixedPriority Real-Time Scheduling on Uniform Multiprocessors

In this paper we study the global scheduling of periodic task systems upon uniform multiprocessor platforms. We first show two very general properties which are well-known for uniprocessor platforms and which remain for multiprocessor one: (i) under few and not so restrictive assumptions, we show that any feasible schedules of peri-odic task system are periodic from some point and (ii) for the specific case of synchronous periodic task systems, we show that the schedule repeats from the origin. We then present our main result: any feasible schedules of asyn-chronous periodic task sets using a fixed-priority sched-uler are periodic from a specific point. Moreover, we char-acterize that point and we provide a feasibility interval for those systems.