본 논문에서는 유니폼 멀티프로세서 환경에서 단순 주기성 태스크 시스템을 성공적으로 스케줄 할 수 있는 알고리즘을 제안한다. 멀티프로세서 환경에서 주기성 태스크를 스케줄하기 위한 파티션드(partitioned) 스케줄링 알고리즘은 bin-packing 문제와 같은 문제로써 해결하는 게 불가능하다고 알려져 있다. 본 논문에서는 "task-splitting"기법을 이용하여 단순 주기성 태스크 시스템을 다른 단순 주기성 태스크 시스템으로 변환하는 글로벌(global) 스케줄링 알고리즘을 제시하고, 변환과정을 거친 단순 주기성 태스크 시스템은 유니폼 멀티프로세서에서 파티션드 스케줄링 알고리즘에 의해 성공적으로 스케줄 된다. 그리고 유니폼 멀티프로세서 환경에서 제안한 알고리즘이 이론적으로 최대 이용률 범위(utilization bound)까지 성공적으로 스케줄 할 수 있음을 증명한다.
The problem of scheduling simply periodic task systems upon a uniform multiprocessor is considered. Partitioning of periodic task systems requires solving the bin-packing problem, which is known to be intractable (NP-hard in the strong sense). This paper presents a global scheduling algorithm which transforms a given simply periodic task system into another using a "task-splitting" technique. Each transformed simply periodic task system is guaranteed to be successfully scheduled upon any uniform multiprocessor using a partitioned scheduling algorithm. It is proven that the proposed algorithm achieves the theoretical maximum utilization bound upon any uniform multiprocessor platform.
