基于微分方程的程序性能分析  

Performance analysis of programs using ordinary differential equations

作　　者：吴正志[1] 章靠[1] 丁佐华[1] 

机构地区：[1]浙江理工大学数学计算与软件工程中心,杭州310018

出　　处：《计算机工程与应用》2009年第13期78-80,共3页Computer Engineering and Applications

基　　金：国家高技术研究发展计划(863)No.2006AA01Z165~~

摘　　要：基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度。该方法的好处在于在做程序分析时,可避开状态爆炸问题。Based on continuous Petri net,build differential equation model for programs.The program behavior can be analyzed from the curves of the solutions of the differential equations.Each equation describes the program state change and the state can be measured by a number between 0 and 1,indicating how much the state can be reached while the program is in execution. The advantage of our method is that we can avoid state explosion program while doing program analysis.

关 键 词：性能分析 连续PETRI网 微分方程 

分 类 号：TP302.7[自动化与计算机技术—计算机系统结构]