一种精确程序最坏执行时间分析方法

doi:10.3778/j.issn.1002-8331.2010.18.020

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (18): 60-64.DOI: 10.3778/j.issn.1002-8331.2010.18.020

一种精确程序最坏执行时间分析方法

吴国伟，李张

大连理工大学软件学院，辽宁大连 116024

收稿日期:2009-05-13 修回日期:2009-06-29 出版日期:2010-06-21 发布日期:2010-06-21
通讯作者: 吴国伟

Precise program worst-case execution time analysis method

WU Guo-wei，LI Zhang

Software College，Dalian University of Technology，Dalian，Liaoning 116024，China

Received:2009-05-13 Revised:2009-06-29 Online:2010-06-21 Published:2010-06-21
Contact: WU Guo-wei

摘要/Abstract

摘要： Java语言的动态特性使程序的最坏执行时间分析较悲观和难以预测，提出一种精确最坏执行时间分析方法，在高层分析中，引入一种标记方法，对带有标记的Java类文件进行反编译提取控制流程，得到每一个基本块中的Java 字节码指令的最坏情况下的执行次数，在底层分析中，建立结合流水线和高级缓存影响的时间模型，得到每条指令所对应的执行时间，最后结合高层分析和底层分析的结果得到程序的最坏情况下的执行时间。实验表明，该方法可以使对实时Java 程序的最坏情况执行时间预测更加安全和精确。

关键词: 最坏执行时间, Java字节码, 实时Java

Abstract: The dynamic character of Java language makes it pessimistic and hard to predict for program worst-case execution time analysis，a precise program worst-case execution time analysis method is proposed.In high level analysis，an annotation method is introduced，through decompiling Java class file with the introduced annotation，the approach extract control flow and get execution times of the Java bytecode instruction of every basic block in the worst case，in low level analysis，time model combining pipeline and Cache effect is built and execution time of corresponding instruction is gotten.By combining the result of high level and low level，the approach get the program execution time in the worst case.Experiments show that the method makes it more safe and precise for real-time Java program worst-case execution time prediction.

Key words: worst-case execution time, Java bytecode, real-time Java

中图分类号:

TP311

吴国伟，李张. 一种精确程序最坏执行时间分析方法[J]. 计算机工程与应用, 2010, 46(18): 60-64.

WU Guo-wei，LI Zhang
. Precise program worst-case execution time analysis method[J]. Computer Engineering and Applications, 2010, 46(18): 60-64.

[1]	曾棕根. 源程序在线评测系统技术改进[J]. 计算机工程与应用, 2011, 47(4): 68-71.
[2]	覃遵跃¹，汤庸²，徐洪智¹，卓月明³. 一种新的XML文档更新计算[J]. 计算机工程与应用, 2011, 47(4): 121-123.
[3]	刘雨露¹，方　刚¹，唐曙光². 位序互补的空间关联规则挖掘算法[J]. 计算机工程与应用, 2011, 47(4): 134-137.
[4]	程转流^1，2，胡为成². 滑动窗口模型下的概率数据流聚类[J]. 计算机工程与应用, 2011, 47(4): 141-145.
[5]	王扶东，马玉芳. 基于数据挖掘的客户细分方法的研究[J]. 计算机工程与应用, 2011, 47(4): 215-218.
[6]	温国锋^1，2，陈立文¹. 已完建筑工程数据仓库的建立与应用研究[J]. 计算机工程与应用, 2011, 47(4): 245-248.
[7]	覃华，徐燕子. 用路径跟踪法和核距离矩阵优化大规模SVM[J]. 计算机工程与应用, 2011, 47(3): 160-162.
[8]	宁静¹，诸昌钤²，高品贤¹，林建辉³. EMD分解中端点数据的延长方法问题研究[J]. 计算机工程与应用, 2011, 47(3): 125-128.
[9]	张磊，李锐，陶亮. VC++快速实现一维离散Gabor变换软件的研究[J]. 计算机工程与应用, 2011, 47(3): 67-69.
[10]	曾敏，黄颖. 基于自学习控制算法优化软件测试用例的研究[J]. 计算机工程与应用, 2011, 47(3): 70-73.
[11]	付雅芳，刘晓东，李延杰. 基于改进FPA的软件规模估算方法[J]. 计算机工程与应用, 2011, 47(1): 22-25.
[12]	袁漪，田小林，夏绍玮. 关于能量比较的数字音频盲水印方案 [J]. 计算机工程与应用, 2011, 47(1): 131-134.
[13]	朱颖雯¹，吉根林²，孙勤红¹. 基于频繁子树模式的GML文档结构聚类算法[J]. 计算机工程与应用, 2011, 47(1): 144-146.
[14]	牟永敏，姜智荧，张志华. 面向C程序插装的路径提取[J]. 计算机工程与应用, 2011, 47(1): 67-69.
[15]	郑良¹，朱立谷¹，赵廷涛¹，易奇²，鄢楚平²，胡怀湘²，杨帆³. 存储虚拟化测评方法设计[J]. 计算机工程与应用, 2010, 46(36): 98-100.

一种精确程序最坏执行时间分析方法

Precise program worst-case execution time analysis method

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics