[논문 리뷰] Automatic Parameter Derivations in k2U Framework

Jian-Jia Chen, Wen-Hung Huang외 1명|arXiv (Cornell University)|2016. 04. 30.

Real-Time Systems Scheduling참고 문헌 9인용 수 5

한 줄 요약

이 논문은 k²U 프레임워크에 필요한 핵심 매개변수—αᵢ 및 βᵢ—를 자동으로 유도하는 방법을 제시하며, 다양한 실시간 시스템에서 다항시간 복잡도의 스케줄 가능성 분석을 가능하게 한다. 작업의 방출 패턴과 지터(jitter)를 기반으로 효과적인 테스트 포인트를 체계적으로 식별함으로써, 수작업 매개변수 조정이 필요 없는 복잡한 의사다항시간 스케줄 가능성 테스트를 효율적인 k포인트 테스트로 전환한다.

ABSTRACT

We have recently developed a general schedulability test framework, called k2U, which can be applied to deal with a large variety of task models that have been widely studied in real-time embedded systems. The k2U framework provides several means for the users to convert arbitrary schedulability tests (regardless of platforms and task models) into polynomial-time tests with closed mathematical expressions. However, the applicability (as well as the performance) of the k2U framework relies on the users to index the tasks properly and define certain constant parameters. This report describes how to automatically index the tasks properly and derive those parameters. We will cover several typical schedulability tests in real-time systems to explain how to systematically and automatically derive those parameters required by the k2U framework. This automation significantly empowers the k2U framework to handle a wide range of classes of real-time execution platforms and task models, including uniprocessor scheduling, multiprocessor scheduling, self-suspending task systems, real-time tasks with arrival jitter, services and virtualizations with bounded delays, etc.

연구 동기 및 목표

• 이전에 수작업 설정이 필요로 했던 k²U 프레임워크 내 αᵢ 및 βᵢ 계수의 자동 유도 부족 문제를 해결하기 위해.
• k²U 프레임워크가 다양한 실시간 작업 모델과 플랫폼에 자동으로 적용될 수 있도록 하기 위해.
• 고정 우선순위 스케줄 가능성 테스트에서 매개변수 선택의 복잡성과 주관성을 줄이기 위해.
• 도착 지터, 자기 일시정지 작업, 가상화된 서비스를 포함한 시스템에 대해 효율적이고 다항시간 분석을 지원하기 위해.
• 지수시간 또는 의사다항시간 스케줄 가능성 테스트를 k포인트 효과적 테스트로 변환하는 체계적이고 반복 가능한 절차를 수립하기 위해.

제안 방법

• 대상 작업 τₖ의 디드라인 간격 (0, Dₖ] 내에서 추가 작업을 최소 한 개 이상 방출할 수 있는 작업을 식별한다.
• 각 고우선순위 작업 τᵢ의 주기와 지터를 기반으로 Dₖ 이전의 마지막 방출 시각을 효과적인 테스트 포인트로 정의한다.
• 조건 ⌈(Dₖ + Jᵢ)/Tᵢ⌉ = ⌈Jᵢ/Tᵢ⌉를 사용하여 고우선순위 작업을 두 그룹으로 분류한다: (0, Dₖ] 내에서 추가 작업이 있는지 여부에 따라.
• 닫힌 형태의 식을 사용해 αᵢ 및 βᵢ 매개변수를 유도한다: αᵢ = σ·gᵢ / (gᵢ - Jᵢ/Tᵢ) 및 βᵢ = σ / (gᵢ - Jᵢ/Tᵢ), 여기서 gᵢ = ⌊(Dₖ + Jᵢ)/Tᵢ⌋이다.
• k포인트 스케줄 가능성 테스트를 적용하여, 시간 순서대로 정렬된 k개의 임계 시점 tᵢ = gᵢ·Tᵢ - Jᵢ만 평가한다.
• 최악의 간섭이 유도된 매개변수에 통합되어 있어 올바른 조건을 유지함으로써 정확성을 확보한다.

실험 결과

연구 질문

• RQ1 어떤 임의의 스케줄 가능성 테스트에 대해 k²U 프레임워크에서 요구하는 αᵢ 및 βᵢ 매개변수를 자동으로 유도할 수 있는가?
• RQ2 도착 지터가 존재하는 상황에서 간섭 분석에 가장 중요한 시점들을 식별하는 데 사용할 수 있는 체계적인 기준은 무엇인가?
• RQ3 자기 일시정지 작업과 경계가 있는 지연을 가진 가상화된 시스템을 다룰 수 있도록 k²U 프레임워크를 일반화할 수 있는가? 자동 매개변수 유도를 통해.
• RQ4 다양한 매개변수 구성 방식이 결과 스케줄 가능성 테스트의 보수성과 효율성에 미치는 영향은 무엇인가?
• RQ5 제안된 방법보다 더 날카운 경계를 제공하는 k포인트 테스트의 대안적 구성 방식은 존재하는가?

주요 결과

• 이 방법은 단일 프로세서, 다중프로세서, 자기 일시정지, 지터 인식 작업 모델을 포함한 다양한 실시간 시스템에 대해 αᵢ 및 βᵢ 매개변수를 자동으로 유도할 수 있다.
• 도착 지터가 있는 작업의 경우, 프레임워크는 tᵢ = gᵢ·Tᵢ - Jᵢ에서 효과적인 테스트 포인트를 식별하며, 여기서 gᵢ = ⌊(Dₖ + Jᵢ)/Tᵢ⌋이다. 이는 최악의 간섭이 포괄됨을 보장한다.
• 유도된 매개변수 αᵢ = σ·gᵢ / (gᵢ - Jᵢ/Tᵢ) 및 βᵢ = σ / (gᵢ - Jᵢ/Tᵢ)는 k포인트 테스트가 여전히 충분한 스케줄 가능성 조건을 유지함을 보장한다.
• 검토할 시간 포인트 수를 k로 줄임으로써, 지수시간 또는 의사다항시간 스케줄 가능성 테스트를 다항시간 테스트로 전환한다.
• 이 방법은 자기 일시정지 작업(예: Jᵢ = Tᵢ - Cᵢ)에 대한 테스트 및 경계가 있는 지연을 가진 가상화된 시스템에 대한 기존 테스트에 적용 가능하다.
• 유도된 매개변수의 최적성은 보장하지 않지만, 체계적이고 반복 가능하며 정확한 구성 방법을 제공한다.