基于抽象解释技术的多层Cache分析的设计与实现

摘要

在WCET分析中，最重要的一类工作就是Cache分析。目前，大多数的基于抽象解释技术的Cache分析中，分析算法是作用于整个程序的，如果能够根据程序的层次结构，挖掘程序执行在Cache中的局部特性，那么就可以有效的提高WCET的分析精度。基于这一需求，本文主要研究基于抽象解释技术的多层Cache分析，研究的主要内容包括：程序层次结构的分析，基于抽象解释技术的多层Cache分析和整数线性规划问题的建模与WCET求解，采用多层Cache分析能有效的提高WCET的分析精度。