Authors: Vincenzo Bonifaci Alberto MarchettiSpaccamela Sebastian Stiller
Publish Date: 2011/02/05
Volume: 62, Issue: 3-4, Pages: 1034-1049
Abstract
We devise an approximate feasibility test for multiprocessor realtime scheduling in the sporadic task model We give an algorithm that given a task system and ε0 correctly decides either that the task system can be scheduled using the Earliest Deadline First algorithm on m speed2−1/m+ε machines or that the system is not schedulable by any algorithm on m unit speed machines This speedup bound is known to be the best possible for EDF The running time of the algorithm is polynomial in the size of the task system and 1/ε We also provide a generalized tight bound that trades off speed with additional machines
Keywords: