Predictability of earliest deadline zero laxity algorithm for multiprocessor real-time systems

• Published in: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06) p. 6 pp.
• Main Authors: Xuefeng Piao, Sangchul Han, Heeheon Kim, Minkyu Park, Yookun Cho, Seongje Cho
• Format: Conference Proceeding
• Language: English
• Published: IEEE 2006
• Subjects: Cellular phones; Computer science; Embedded system; Heuristic algorithms; Multimedia systems; Prediction algorithms; Processor scheduling; Real time systems; Scheduling algorithm; System-on-a-chip
• ISBN: 9780769525617; 076952561X
• ISSN: 1555-0885; 2375-5261
• DOI: 10.1109/ISORC.2006.64

Validation methods for hard real-time jobs are usually performed based on the maximum execution time. The actual execution time of jobs are assumed to be known only when the jobs arrive or not known until they finish. A predictable algorithm must guarantee that it can generate a schedule for any set of jobs such that the finish time for the actual execution time is no later than the finish time for the maximum execution time. It is known that any job-level fixed priority algorithm (such as earliest deadline first) is predictable. However, job-level dynamic priority algorithms (such as least laxity first) may or may not. In this paper, we investigate the predictability of a job-level dynamic priority algorithm EDZL (earliest deadline zero laxity). We show that EDZL is predictable on the domain of integers regardless of the knowledge of the actual execution times. Based on this result, furthermore, we also show that EDZL can successfully schedule any periodic task set if the total utilization is not greater than (m + 1)/2, where m is the number of processors