基于抽象解释技术的Cache分析方法 |
| |
引用本文: | 毛金玲.基于抽象解释技术的Cache分析方法[J].中小企业管理与科技,2015(3):269-270. |
| |
作者姓名: | 毛金玲 |
| |
作者单位: | 辽宁建筑职业学院 |
| |
摘 要: | 在WCET分析中,最重要的一类工作就是Cache分析。目前,大多数的基于抽象解释技术的Cache分析中,分析算法是作用于整个程序的,如果能够根据程序的层次结构,挖掘程序执行在Cache中的局部特性,那么就可以有效地提高WCET的分析精度。
|
关 键 词: | WCET 抽象解释 多层Cache分析 |
本文献已被 CNKI 等数据库收录! |
|