Abstract
Multiprocessor architecture becomes increasingly common on real-time systems as computer hardware technology rapidly progresses and the workload of real-time systems increases. However, efficient solutions for many real-time multiprocessor scheduling problems are not known. Hence many researchers apply uniprocessor scheduling algorithms to multiprocessor scheduling or devise new algorithms based on these algorithms. Such algorithms are EDF (Earliest Deadline First), LLF (Least Laxity First), EDF-US[m/(2m-1)], and EDZL (Earliest Deadline Zero Laxity), and comparative studies on them are necessary. In this paper, we show the dominance relation of these algorithms with respect to schedulability, and we prove EDZL strictly dominates EDF. The simulation results show that EDZL has high processor utilization and it causes a small number of preemptions.
하드웨어 기술이 발전하고 실시간 시스템들의 작업 부하가 커지면서 다중처리기를 실시간 시스템에 사용하는 것이 요구되고 있지만, 단일처리기와는 달리 다중처리기 실시간 스케줄링 문제는 대부분 효율적인 해결 방안이 알려져 있지 않다. 따라서 단일처리기 스케줄링 알고리즘을 다중처리기에 그대로 적용하는 연구와 단일처리기 스케줄링 알고리즘을 변형한 다중처리기 스케줄링 알고리즘에 관한 연구가 활발히 이루어지고 있다. 대표적인 알고리즘으로는 EDF(Earliest Deadline First), LLF(Least Laxity First), EDF-US[m/(2m-1)], EDZL(Earliest Deadline Zero Laxity) 알고리즘 등이 있으며, 이들 간의 비교 연구가 필요하다. 본 논문에서는 스케줄 가능성 측면에서 이 알고리즘들 사이의 우월(dominance) 관계를 밝혔다. EDF, LLF, EDF-US[m/(2m-1)] 간에는 우월 관계가 없으나, EDZL은 EDF보다 우월함을 증명하였다. 또한 모의실험을 통하여 EDZL은 선점을 적게 유발하고 처리기 이용률이 높음을 보였다.