Partitioned Fixed-Priority Preemptive Scheduling for Multi-Core Processors

Energy and thermal considerations are increasingly driving system designers to adopt multi-core processors. In this paper, we consider tire problem of scheduling periodic real-time tasks oil multi-core processors using fixed-priority preemptive scheduling. Specifically, we focus oil the partitioned (static binding) approach, which statically allocates tasks to processing cores. The well-established 50% bound for partitioned multiprocessor scheduling [10] can be overcome by task-splitting (TS) [19], which allows a task to be split across more than one core. We prove that a utilization bound of 60% per core can be achieved by the partitioned deadline-monotonic scheduling (PDMS) class of algorithms on implicit-deadline tasksets, when tire highest-priority task on each processing core is allowed to be split (HPTS). Given tire widespread usage of fixed-priority scheduling in commercial real-time and non real-time operating systems (e.g. VxWorks, Linux), establishing such utilization bounds is both relevant and useful. We also show that a specific instance of PDMS_HPTS, where tasks are allocated in the decreasing order of size, called PDMS_HPTS_DS, has a utilization bound of 65% on implicit-deadline task-sets. The PDMS_HPTS_DS algorithm also achieves a utilization bound of 69% oil lightweight implicit-deadline task-sets where no single task utilization exceeds 41.4%. The average-case behavior of PDMS_HPTS_DS is studied using randomly generated task-sets, and it is seen to have an average schedulable utilization of 88%. We also characterize the overhead of task-splitting using measurements on art Intel Core 2 Duo processor.