×

通过抽象解释缓存行为预测。 (英语) Zbl 0948.68049号

摘要:抽象解释是一种静态检测程序动态属性的技术。它是基于语义的,也就是说,它计算程序语义的近似属性。在此基础上,它允许对分析进行正确性证明。它用系统的、可证明的技术取代了常用的即席技术,并允许根据程序分析器生成器中的规范自动生成分析器。本文将抽象解释应用于预测程序的缓存行为问题。定义了机器程序的抽象语义,它决定了缓存的内容。对于过程间分析,研究了现有的方法,并提出了一种专门针对缓存分析的新方法。这允许对程序的内存引用的缓存行为进行静态分类。计算出的信息可用于锐化最坏情况下的执行时间估计。可以分析指令、数据和组合指令/数据缓存的常见(重新)放置和写入策略。实验结果证明了该分析的适用性。

MSC公司:

68N99型 软件理论

软件:

PAG公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部