[논문 리뷰] IRQ Coloring: Mitigating Interrupt-Generated Interference on ARM Multicore Platforms

Ralf Ramsauer, Jan Kiszka외 7명|arXiv (Cornell University)|2017. 05. 19.

Real-Time Systems Scheduling참고 문헌 12인용 수 54

한 줄 요약

이 논문은 ARM 및 x86 다중코어 플랫폼에서 하드웨어를 정적 분할할 수 있도록 하는 최소 크기의 오픈소스 Linux 기반 하이퍼바이저인 Jailhouse을 제시한다. 하이퍼바이저 활성화를 Linux가 하드웨어를 초기화한 후로 연기함으로써, 별도의 파라바이오팅이나 스케줄링 없이 물리적 자원을 고립된 게스트 도메인에 직접 할당함으로써 근사 제로 수준의 하이퍼바이저 오버헤드를 달성한다. 이로 인해 결정론적 저지연 인터럽트 처리(평균 810ns, 최대 약 5µs)를 갖는 실시간 워크로드를 실행할 수 있으며, 비핵심 구성 요소에 대해서는 전체 Linux 호환성을 유지한다.

ABSTRACT

Mixed-criticality systems, which consolidate workloads with different criticalities, must comply with stringent spatial and temporal isolation requirements imposed by safety-critical standards (e.g., ISO26262). This, per se, has proven to be a challenge with the advent of multicore platforms due to the inner interference created by multiple subsystems while disputing access to shared resources. With this work, we pioneer the concept of Interrupt (IRQ) coloring as a novel mechanism to minimize the interference created by co-existing interrupt-driven workloads. The main idea consists of selectively deactivating specific ("colored") interrupts if the QoS of critical workloads (e.g., Virtual Machines) drops below a well-defined threshold. The IRQ Coloring approach encompasses two artifacts, i.e., the IRQ Coloring Design-Time Tool (IRQ DTT) and the IRQ Coloring Run-Time Mechanism (IRQ RTM). In this paper, we focus on presenting the conceptual IRQ coloring design, describing the first prototype of the IRQ RTM on Bao hypervisor, and providing initial evidence about the effectiveness of the proposed approach on a synthetic use case.

연구 동기 및 목표

• 임베디드 시스템에서 안전 기준이 요구되는 워크로드와 비핵심 워크로드를 공유 하드웨어에 통합하는 데 도전 과제를 해결하기 위해.
• 스케줄링, 가상 CPU, 파라바이오팅을 피하여 하이퍼바이저 복잡성과 인증 작업을 줄이기 위해.
• 수정되지 않은 레거시 애플리케이션을 고립된 실시간 핵심 도메인에서 최소 성능 오버헤드로 실행할 수 있도록 하기 위해.
• 최근의 다중코어 플랫폼에서 직접 하드웨어 할당과 함께 연기된 하이퍼바이저 활성화가 결정론적 실시간 동작을 달성할 수 있음을 보여주기 위해.

제안 방법

• Linux가 완전히 부팅된 후 커널 모듈을 통해 Jailhouse 하이퍼바이저를 활성화하여 Linux를 루트 셀 게스트로 전환하기.
• 각 게스트 도메인에 대해 고립되고 겹치지 않는 물리적 메모리 및 I/O 영역을 확보하기 위해 하드웨어 가상화 확장 기능(예: ARM MMU, x86 VMX)을 사용하기.
• 장치 에뮬레이션 또는 파라바이오티드 드라이버가 필요 없도록 게스트에 직접 하드웨어를 할당하기.
• 하이퍼바이저 활성화를 연기하여 분할 전에 Linux의 광범위한 하드웨어 초기화 및 드라이버 지원 기능을 활용하기.
• 핵심 기능 외에는 구성 및 모니터링을 위한 최소한의 관리 하이퍼콜만을 제공하는 것으로 하이퍼바이저 코드를 3.4k SLOC 이하로 최소화하기.
• 스케줄링 및 가상 CPU 관리를 피하여 컨텍스트 스위치와 스케줄링 오버헤드를 제거하고, 고립 및 인터럽트 라우팅에만 집중하기.

실험 결과

연구 질문

• RQ1 최소 크기의 스케줄링이 없는 하이퍼바이저가 파라바이오팅 없이도 현대의 다중코어 플랫폼에서 실시간 결정론을 달성할 수 있는가?
• RQ2 하이퍼바이저 활성화를 연기함으로써 시스템 초기화 및 실시간 성능에 어떤 영향을 미치는가?
• RQ3 최소 크기의 하이퍼바이저가 혼합 비중요성 환경에서 실제로 인터럽트 지연 오버헤드를 얼마나 유발하는가?
• RQ4 수정되지 않은 Linux 및 레거시 애플리케이션이 고립된 도메인에서 실시간 워크로드와 얼마나 잘 공존할 수 있는가?
• RQ5 직접 하드웨어 할당이 복잡한 가상화 계층이 필요 없더라도 강력한 고립성과 성능 보장을 확보할 수 있는가?

주요 결과

• Jailhouse 환경에서의 평균 인터럽트 지연은 약 810ns이며, 편차가 매우 작아 높은 결정론성을 보여준다.
• 인터럽트 지연의 이질적 값들은 주로 인접한 게스트와의 공유 시스템 버스 경쟁으로 인해 최대 약 5µs까지 도달한다.
• 하이퍼바이저에 의한 인터럽트 지연은 인터럽트 빈도에 크게 영향을 받지 않으며, 주로 이웃한 게스트 도메인의 자원 활용도에 따라 버스 경쟁으로 인해 영향을 받는다.
• 하이퍼바이저 코어는 모든 지원 아키텍처에서 3.4k SLOC 미만으로, 공격 표면과 인증 부담을 크게 줄였다.
• 이 방법은 수정되지 않은 Linux와 레거시 애플리케이션을 고립된 비핵심 도메인에서 거의 영향을 받지 않는 성능 오버헤드로 실행할 수 있도록 한다.
• 디자인은 스케줄링 및 가상 CPU 관리를 피함으로써 고비용의 컨텍스트 스위치를 제거하고 실시간 동작을 단순화한다.