Conjecture about global fixed-priority preemptive multiprocessor scheduling of implicit-deadline sporadic tasks: the utilization bound of SM-US(sqrt(2)-1) is sqrt(2)-1

摘要

Consider global fixed-priority preemptive multiprocessorscheduling of implicit-deadline sporadic tasks. I conjecturethat the utilization bound of SM-US(√2−1) is √2-1.