[论文解读] WCET analysis of multi-level set-associative instruction caches

Damien Hardy, Isabelle Puaut|ArXiv.org|Jul 7, 2008

Real-Time Systems Scheduling参考文献 18被引用 5

一句话总结

本文提出了一种针对实时嵌入式系统中多级集合关联指令缓存的安全、静态最坏情况执行时间（WCET）分析方法。与以往对集合关联缓存不安全的方法不同，该方法采用抽象解释技术，对多级缓存行为进行建模，通过考虑所有可能的访问模式，确保了安全性和紧致性。实验结果表明，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，受限于代码可用性。