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

基于抽象解释技术的多层Cache分析的设计与实现
毛金玲
【期刊名称】《计算机光盘软件与应用》
【年(卷),期】2014(000)024
【摘要】在WCET分析中，最重要的一类工作就是Cache分析。

目前，大多数的基于抽象解释技术的Cache分析中，分析算法是作用于整个程序的，如果能够根据程序的层次结构，挖掘程序执行在Cache中的局部特性，那么就可以有效的提高WCET的分析精度。

基于这一需求，本文主要研究基于抽象解释技术的多层Cache分析，研究的主要内容包括：程序层次结构的分析，基于抽象解释技术的多层Cache分析和整数线性规划问题的建模与WCET求解，采用多层Cache分析能有效的提高WCET的分析精度。

【总页数】3页(P106-108)
【作者】毛金玲
【作者单位】辽宁建筑职业学院，辽宁辽阳 111000
【正文语种】中文
【中图分类】TP311.1
【相关文献】
1.基于生产测井的多层试井解释技术 [J], 梁倚维;王东;田发国;邱永利;贾永辉
2.基于抽象解释技术的Cache分析方法 [J], 毛金玲
3.多层Cache的需求分析与总体设计 [J], 毛金玲
4.多层Cache分析模块的设计与测试 [J], 毛金玲
5.基于抽象解释的嵌入式软件模块化Cache行为分析框架 [J], 喻垚慎; 黄志球; 沈国华; 王飞; 崔少轩
因版权原因，仅展示原文概要，查看原文内容请购买。