[논문 리뷰] WCET analysis of multi-level set-associative instruction caches

Damien Hardy, Isabelle Puaut|ArXiv.org|2008. 07. 07.

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

한 줄 요약

이 논문은 실시간 임베디드 시스템에서 다중 레벨 세트-연관성 명령어 캐시에 대해 안전하고 정적 최악 수행 시간(WCET) 분석 방법을 제안한다. 기존의 세트-연관성 캐시에 대해 안전하지 못했던 이전 연구들과는 달리, 이 방법은 추상 해석을 사용하여 다중 레벨의 캐시 동작을 모델링함으로써 모든 가능한 액세스 패턴을 고려하여 안전성과 날카움(tightness)을 확보한다. 실험 결과, 실제 응용 프로그램에서 상당히 날카운 WCET 추정치와 합리적인 분석 시간을 확보하였다.

ABSTRACT

With the advent of increasingly complex hardware in real-time embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores), many processors now have a set-associative L2 cache. Thus, there is a need for considering cache hierarchies when validating the temporal behavior of real-time systems, in particular when estimating tasks' worst-case execution times (WCETs). To the best of our knowledge, there is only one approach for WCET estimation for systems with cache hierarchies [Mueller, 1997], which turns out to be unsafe for set-associative caches. In this paper, we highlight the conditions under which the approach described in [Mueller, 1997] is unsafe. A safe static instruction cache analysis method is then presented. Contrary to [Mueller, 1997] our method supports set-associative and fully associative caches. The proposed method is experimented on medium-size and large programs. We show that the method is most of the time tight. We further show that in all cases WCET estimations are much tighter when considering the cache hierarchy than when considering only the L1 cache. An evaluation of the analysis time is conducted, demonstrating that analysing the cache hierarchy has a reasonable computation time.

연구 동기 및 목표

• 기존의 다중 레벨 캐시 WCET 분석 방법에서 세트-연관성 캐시에 대해 안전성 결함을 규명하는 것.
• 세트-연관성 및 완전 연관성 캐시를 모두 지원하는 다중 레벨 캐시 계층에서 안전하고 정밀한 정적 분석 기법을 개발하는 것.
• WCET 추정치가 안전(상한선)이면서도 실제 최악 수행 시간에 가까운 날카운 값이 되도록 보장하는 것.
• 실세계 벤치마크를 대상으로 이 방법의 정밀도와 계산 비용을 평가하여 임베디드 실시간 시스템에서의 실용성을 입증하는 것.

제안 방법

• 기존의 추상 해석 기반 캐시 분석을 다중 레벨 캐시 계층을 다룰 수 있도록 확장하여, 각 레벨을 별도의 분석으로 모델링하고, 필터링된 메모리 참조 스트림을 사용한다.
• 불확실한 액세스(U)를 추적하여 고위 레벨 캐시에서 히트 또는 미스가 될 수 있는 모든 가능한 액세스 행동을 유지하는 안전한 필터링 메커니즘을 도입한다.
• 고정점 계산을 사용하여 캐시 동작을 분석함으로써 모든 캐시 레벨에서 종료 가능성과 타당성을 보장한다.
• 기존의 단일 레벨 캐시 분석 프레임워크를 기반으로 하되, 참조 스트림 전파를 통해 계층적 캐시 구조를 다룰 수 있도록 적응시킨다.
• 임의의 연관성 정도와 교체 정책(LRU 등)을 지원하여 광범위하게 적용 가능하도록 한다.
• L1 캐시에서 미스가 발생하는 메모리 참조의 부분집합을 기반으로 L2 캐시 분석을 모델링하여 보수적이지만 정밀한 추정을 보장한다.

실험 결과

연구 질문

• RQ1 기존의 다중 레벨 캐시 WCET 분석 방법이 세트-연관성 캐시에 대해 안전하지 않은 조건은 무엇인가?
• RQ2 세트-연관성 및 완전 연관성 다중 레벨 캐시에 대해 안전성을 보장하는 정적 분석 방법을 설계할 수 있는가?
• RQ3 전체 캐시 계층을 분석할 때와 L1 캐시만 분석할 때의 WCET 추정 정밀도는 어떻게 비교되는가?
• RQ4 단일 레벨 분석 대비 다중 레벨 분석의 계산 오버헤드는 얼마나 되는가?

주요 결과

• 이 방법은 세트-연관성 캐시에 대해 안전한 WCET 추정치를 생성하며, 기존 연구에서 발견된 심각한 안전성 결함을 해결하였다 [10].
• 전체 캐시 계층을 고려할 경우 L1 캐시만 분석하는 것보다 WCET 추정치가 상당히 날카워지며, 이는 L2 캐시 히트로 인한 낙관적 추정 감소 덕분이다.
• 대부분의 경우 정밀도가 높으며, 날카움 수준은 초기 단일 레벨 캐시 분석의 품질에 크게 의존한다.
• 다중 레벨 분석의 계산 시간은 합리적인 수준을 유지하며, L1 캐시 크기가 커질수록 메모리 참조가 효과적으로 필터링되어 L2 분석 시간이 감소한다.
• 이 방법은 교체 정책에 대해 강건하며, 임의의 연관성 수준(완전 연관성 캐시 포함)을 지원한다.
• 이 방법은 L1과 L2를 초과하는 다중 레벨 계층으로도 확장 가능하지만, 코드 가용성의 한계로 인해 실험은 주로 L1과 L2에 국한되었다.