[논문 리뷰] Static extraction of memory access profiles for multi-core interference analysis of real-time tasks

Thomas Carle, Hugues Cassé|arXiv (Cornell University)|2021. 03. 31.

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

한 줄 요약

이 논문은 이식성 있는 바이너리 코드 분석을 통해 다중 코어 프로세서에서 실행되는 실시간 작업의 최악 수행 시간 및 메모리 접근 프로파일을 추출하는 정적 분석 프레임워크를 제시한다. 이 프레임워크는 추상화된 세그먼트 시퀀스와 타임스탬프가 부여된 추적을 생성함으로써 간섭 인식 최악 응답 시간(WCRT) 분석을 정확하게 수행할 수 있도록 하며, 기존의 WCRT 및 실시간 미적분 백엔드에 입력으로 사용할 수 있어, 다중 코어 실시간 시스템에 대해 신뢰성 있고 정확하며 재사용 가능한 입력 파이프라인을 제공한다.

ABSTRACT

We present a static analysis framework for real-time task systems running on multi-core processors. Our method analyzes tasks in isolation at the binary level and generates worst-case timing and memory access profiles. These profiles can then be combined to perform an interference analysis at the task system level, as part of a multi-core Worst-Case Response Time (WCRT) analysis. In this paper we introduce a formal description of the models and algorithmic building blocks composing our framework. We also discuss how the memory access profiles generated by our method could be used to feed existing state-of-the-art WCRT frameworks. To the best of our knowledge, it is the first time that a method is documented on how to produce sound, safe and precise inputs for interference analysis methods.

연구 동기 및 목표

• 실시간 시스템에서 공유 메모리 버스로 인해 병렬 실행 중에 예측할 수 없는 지연이 발생하는 다중 코어 타이밍 간섭 문제를 해결하기 위해.
• 소스 코드 수정 없이도 신뢰성 있고 안전하며 정확한 최악의 경우 메모리 접근 및 시간 프로파일을 생성하는 방법을 제공하기 위해.
• 세그먼트 시퀀스 및 타임스탬프 추적과 같은 표준화된 추상화된 입력을 생성함으로써 기존 WCRT 분석 프레임워크와의 통합을 가능하게 하기 위해.
• 최소한의 코드 변환으로 바이너리 수준에서 작동함으로써 레거시 및 COTS 기반 시스템을 지원하기 위해.
• 최신 WCRT 및 실시간 미적분 백엔드에 일반 목적의 입력 생성 파이프라인을 제공하여 정밀도와 재사용성을 향상시키기 위해.

제안 방법

• 실시간 작업의 바이너리 수준 정적 분석을 수행하여 시간이 부여된 명령어로 메모리 접근 패턴을 모델링하는 최악 수행 추적을 추출한다.
• 저수준 추적을 고수준 세그먼트 시퀀스로 변환하기 위한 공식적인 추상화 과정을 적용하며, 각 세그먼트는 지속 시간과 최악의 경우 메모리 접근 횟수로 특징지어진다.
• 접근 지속 시간과 접근 간 간격을 고려한 시간 순서 기반 세그먼트 분할 기법을 사용하여 겹치는 접근 패턴 동안 최악의 동작을 유지한다.
• 정밀도와 계산 비용 사이의 트레이드오프를 고려해 세분화된 추적 열거와 개략화된 세그먼트 추상화를 모두 지원한다.
• 메모리 접근 윈도우와 버스 할당 지연을 보수적으로 모델링함으로써 과대추정 안전성을 확보한다.
• 실시간 미적분 및 다중 코어 응답 시간 분석에서 사용하는 간섭 모델과 호환되는 입력을 제공함으로써 기존 WCRT 백엔드와의 통합을 가능하게 한다.

실험 결과

연구 질문

• RQ1 최소한의 가정으로 바이너리 코드에서 다중 코어 실시간 작업의 최악의 경우 메모리 접근 프로파일을 정적 추출할 수 있는 방법은 무엇인가?
• RQ2 시간 및 접근 정밀도를 유지하면서도 다양한 WCRT 분석 백엔드 간 재사용이 가능한 공식 모델과 추상화는 무엇인가?
• RQ3 생성된 프로파일을 어떻게 활용하여 다중 코어 시스템에서 공유 메모리 버스의 간섭을 정확히 모델링할 수 있는가?
• RQ4 메모리 접근 프로파일을 표현할 때 정밀도(추적 수준)와 효율성(세그먼트 수준) 사이의 트레이드오프는 무엇인가?
• RQ5 기존의 WCRT 및 실시간 미적분 도구의 핵심 알고리즘을 수정하지 않고도 이 프레임워크를 어떻게 통합할 수 있는가?

주요 결과

• 프레임워크는 바이너리 코드에서 신뢰성 있고 정확한 최악의 경우 메모리 접근 및 시간 프로파일을 성공적으로 생성하여 다중 코어 시스템에서의 간섭 모델링을 정확히 수행할 수 있도록 한다.
• 추적을 세그먼트 시퀀스로 추상화함으로써 복잡성을 감소시키면서도 최악의 경우 보장을 유지하여 기존 WCRT 분석 백엔드와의 통합에 적합하다.
• 세분화된 추적 열거와 개략화된 세그먼트 추상화를 모두 지원하여 정밀도와 계산 비용 사이의 조절 가능한 트레이드오프를 제공한다.
• 생성된 프로파일은 실시간 미적분 및 간섭 공식 기반의 최신 WCRT 분석 프레임워크와 호환되며, 이를 통해 정밀도를 향상시킨다.
• 소스 코드 변경 없이도 COTS 프로세서에서 정적 스케줄링 및 응답 시간 분석을 수행할 수 있도록 한다.
• 간섭 인식 분석을 위한 재사용 가능하고 표준화된 입력 파이프라인을 제공하여 현재의 다중 코어 실시간 분석 툴체인에서 핵심적인 격차를 메운다.