[논문 리뷰] Sufficient FTP Schedulability Test for the Non-Cyclic Generalized Multiframe Task Model

Vandy Berten, Joël Goossens|arXiv (Cornell University)|2011. 10. 26.

Real-Time Systems Scheduling참고 문헌 8인용 수 3

한 줄 요약

이 논문은 고정 우선순위 스케줄링(FTP) 하에서 비순환 일반 다중프레임(nc-gmf) 작업에 대한 충분한 스케줄 가능성 테스트를 제안한다. 이는 임계 순간 분석과 요청-bound 함수 기반 알고리즘을 활용한다. 주요 기여는 최대 요청-bound 함수(mrbf)를 사용해 워크로드를 제한함으로써 타당성을 보장하는 의사다항식 시간 알고리즘으로, 낙관적 추정의 이론적 한계를 제공하며 주기적 패턴 탐지를 통한 최적화 가능성을 제시한다.

ABSTRACT

Our goal is to provide a sufficient schedulability test -ideally polynomial- for the scheduling of Non-Cyclic Generalized Multiframe Task Model using Fixed-Task-Priority schedulers. We report two first results: (i) we present and prove correct the critical instant for the Non-Cyclic Generalized Multiframe Task Model then (ii) we propose an algorithm which provides a sufficient (but pseudo-polynomial) schedulability test.

연구 동기 및 목표

• 고정 우선순위 스케줄링(FTP) 하에서 비순환 일반 다중프레임(nc-gmf) 작업에 대한 충분한 스케줄 가능성 테스트가 부족한 문제를 해결하기 위해.
• 디자인 시점에 사전에 알려지지 않은 비순환적이고 비주기적인 작업 구성이 있는 nc-gmf 모델로 임계 순간 개념을 확장하기 위해.
• 모든 작업이 FTP 하에서 마감 시간을 지키도록 보장하는 다항식 시간 복잡도를 갖는 의사다항식 스케줄 가능성 테스트를 개발하기 위해.
• 고정 우선순위 모델이 다이나믹 우선순위 접근 방식에 비해 유발하는 낙관적 추정의 정도를 정량화하고 제한하기 위해.
• 다이그래프 실시간 작업 모델로의 향후 확장을 탐색하고, 워크로드 함수 내 주기적 패턴 탐지를 통해 알고리즘 효율성을 향상시키기 위해.

제안 방법

• 모든 고우선순위 작업이 동시에 출시되고 가능한 한 일찍 출시될 때, nc-gmf 작업의 최악의 반응 시간이 발생함을 보여주는 임계 순간 분석을 제안한다.
• 각 작업 τ_i에 대해 가능한 구성 시퀀스 전역에서 계산되는 워크로드 상한으로서 최대 요청-bound 함수(mrbf_i(t))를 도입한다.
• 초기 출시 시간에 의존하지 않는 시나리오 모델을 정의하여, 작업 시퀀스가 초기 시간에 영향을 받지 않도록 하여 최악의 경우 분석을 가능하게 한다.
• 시간 t까지의 모든 유효한 구성 시퀀스를 탐색하여 mrbf_i(t)를 계산하는 알고리즘을 개발하며, 하한 및 상한 워크로드 기반의 절단 기법을 사용한다.
• 절단 조건을 적용: t′ × U_max < v′ + C_max 이고 (t′, v′)가 큐에 없을 경우, 해당 점은 무시하여 탐색 공간을 줄인다.
• 선형 U_max × t를 하한(lower bound, lb_i(t))로 사용하고, U_max × t + (C_max − C_U_max)를 개선된 하한으로 사용하여 탐색을 안내하고 낙관적 추정을 줄인다.

실험 결과

연구 질문

• RQ1 고정 우선순위 스케줄링 하에서 비순환 일반 다중프레임 작업 모델의 최악의 반응 시간 시나리오는 무엇인가?
• RQ2 FTP 하에서 nc-gmf 작업에 대해 정확하고 계산적으로 실현 가능한 충분한 스케줄 가능성 테스트를 구성할 수 있는가?
• RQ3 임의의 구성 시퀀스를 고려한 최대 요청-bound 함수(mrbf)를 사용해 nc-gmf 작업의 워크로드를 어떻게 제한할 수 있는가?
• RQ4 FTP 기반 스케줄 가능성 테스트에서 발생하는 낙관적 추정의 원인은 무엇이며, 이를 정량화하거나 줄일 수 있는가?
• RQ5 mrbf_i(t)의 주기적 구조를 활용하여 스케줄 가능성 테스트의 시간 복잡도를 향상시킬 수 있는가?

주요 결과

• 모든 nc-gmf 작업의 최악의 반응 시간은 모든 고우선순위 작업이 동시에 출시되고 가능한 한 일찍 출시될 때 발생한다.
• 최대 요청-bound 함수 mrbf_i(t)는 항상 U_max × t 선 위에 있으며, 이는 모든 가능한 워크로드 시나리오에 대해 유효한 하한으로 기능한다.
• mrbf_i(t)를 계산하는 알고리즘은 시간 및 공간 복잡도가 의사다항식이며, Δ 및 n_i에 의해 제한되며, 워크로드 한계 기반의 절단 기법을 통해 탐색 공간을 줄인다.
• t′ × U_max < v′ + C_max 이고 (t′, v′)가 큐에 없을 경우, 점 (t′, v′)는 안전하게 무시할 수 있어 계산을 크게 줄인다.
• 워크로드 함수 mrbf_i(t)는 결국 크기가 C_i^{U_max} × T_i^{U_max} 인 주기적 패턴을 따르며, 이는 패턴 탐지를 통한 최적화 가능성을 시사한다.
• 다이나믹 우선순위 모델에 비해 낙관적 추정이 유발되지만, 이는 향후 개선을 통해 정량화되고 가능하게 제한될 수 있다.