[논문 리뷰] Real-Time scheduling: from hard to soft real-time systems

Giuseppe Lipari, Luigi Palopoli|arXiv (Cornell University)|2015. 12. 07.

Real-Time Systems Scheduling참고 문헌 6인용 수 4

한 줄 요약

이 논문은 하드 실시간 및 소프트 실시간 시스템 사이의 격차를 해소하기 위해 자원 예약 프레임워크—특히 일정 대역폭 서버(CBS)—를 주장함으로써 혼합 중요도 환경에서 시간적 격리와 강건성을 제공한다. CBS가 과부하 상황에서도 예산 할당 실행을 통해 마감 시간 준수를 보장함으로써 하드 스케줄러블성을 확보하고 시스템 성능을 향상시킬 수 있음을 보여주며, Linux에 SCHED_DEADLINE를 통해 성공적으로 통합된 바를 제시한다.

ABSTRACT

Real-time systems are traditionally classified into hard real-time and soft real-time: in the first category we have safety critical real-time systems where missing a deadline can have catastrophic consequences, whereas in the second class we find systems or which we need to optimise the Quality of service provided to the user. However, the frontier between these two classes is thinner than one may think, and many systems that were considered as hard real-time in the past should now be reconsidered under a different light. In this paper we shall first recall the fundamental notion of time-predictability and criticality, in order to understand where the real-time deadlines that we use in our theoretical models come from. We shall then introduce the model of a soft real-time system and present one popular method for scheduling hard and soft real-time tasks, the resource reservation framework. Finally, we shall show how resource reservation techniques can be successfully applied to the design of classical control systems, thus adding robustness to the system and increasing resource utilisation and performance.

연구 동기 및 목표

• 하드 실시간 및 소프트 실시간 시스템 간의 경계가 흐려지는 현상을 분석하고, 기존 분류 체계의 재고를 주장하기.
• 안전 중심 시스템에서 마감 시간 위반의 위험을 다루며, 시스템 일관성과 강건성을 유지하기 위한 메커니즘을 제안하기.
• 특히 일정 대역폭 서버(CBS)를 포함한 자원 예약 기법이 시간적 격리 제공 및 자원 활용도 향상에 어떻게 기여할 수 있는지 보여주기.
• 클래식 제어 시스템에서 CBS의 실용적 적용 가능성과 SCHED_DEADLINE를 통한 주류 Linux 운영체제 통합을 보여주기.

제안 방법

• 논문은 실시간 마감 시간 모델을 물리적 및 시스템 수준의 제약 조건에 기반시키기 위해 시간 예측 가능성과 중요도 개념을 도입한다.
• 각 작업에 고정된 실행 예산 Q와 주기 P를 가진 스케줄링 서버를 할당하는 자원 예약 프레임워크를 제시한다.
• 일정 대역폭 서버(CBS) 알고리즘을 상세히 설명한다: 예산은 주기적으로 재충전되고 실행 중에 감소하며, 예산이 소진되면 작업이 지연되거나 일시정지된다.
• Q가 작업의 최악 수행 시간(WCET)을 초과하고 P가 작업 주기보다 작거나 같을 경우 하드 스케줄러블성이 보장된다.
• 세 개의 작업을 포함한 사례 연구를 통해 CBS가 고우선도 작업이 저우선도 작업으로부터 격리되는 방식을 보여준다.
• Linux에서 SCHED_DEADLINE의 사용을 강조하며, 이는 각 스레드에 대해 예산과 주기를 할당할 수 있도록 하여 CBS를 실환경에서 사용 가능하게 한다.

실험 결과

연구 질문

• RQ1 마감 시간 위반이 발생할 경우, 특히 안전 중심 응용 분야에서 실시간 시스템이 어떻게 강건성과 일관성을 유지할 수 있는가?
• RQ2 CBS와 같은 자원 예약 기법이 혼합 중요도 시스템에서 작업 간 시간적 격리를 어느 정도 제공할 수 있는가?
• RQ3 서버 주기 설정(P = T/k 등)의 차이가 작업의 시간 동작 특성과 시스템 오버헤드에 어떤 영향을 미치는가?
• RQ4 CBS 모델은 주류 운영체제인 Linux에 어떻게 효과적으로 통합되어 실시간 워크로드를 지원할 수 있는가?
• RQ5 자원 예약은 클래식 제어 시스템에서 스케줄러블성과 성능을 동시에 향상시킬 수 있는가?

주요 결과

• 일정 대역폭 서버(CBS)는 할당된 예산 Q가 작업의 최악 수행 시간(WCET)보다 크거나 같을 경우 하드 스케줄러블성을 보장한다.
• 자원 예약은 시간적 격리를 제공한다: 작업의 마감 시간 준수 여부는 다른 작업의 동작에 영향을 받지 않고 오직 자신의 예산과 주기와만 관련된다.
• Linux에서 SCHED_DEADLINE를 사용하면 개발자가 각 스레드의 예산과 주기를 할당할 수 있어 CBS가 실사용 환경에서 활용 가능해진다.
• 서버 주기 P = T/k 선택은 작업 실행 시간 조절에 세밀한 제어를 가능하게 하며, 더 작은 k 값은 더 예측 가능한 출력 시간을 가능하게 한다.
• CBS를 통해 고우선도 작업은 과부하 상황에서도 저우선도 작업의 간섭으로부터 보호받으며, 시간적 격리의 형태를 달성한다.
• 논문은 예산이 부족하여 τ₁과 같은 작업이 마감 시간을 위반하더라도, τ₂ 및 τ₃와 같은 다른 작업들은 영향을 받지 않음을 보여주며 강건성을 입증한다.