程序动态执行路径剖析方法研究

项目名称： 程序动态执行路径剖析方法研究

项目编号： No.61303052

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 李建军

作者单位： 中国科学院计算技术研究所

项目金额： 25万元

中文摘要： 动态执行路径信息对深入理解程序执行行为能够起到非常重要的作用。但是如何高效地获取程序执行路径剖析，至今仍是一个开放的问题。 本项目针对目前执行路径剖析研究中存在的挑战性问题，在以下三点寻求突破：1）研究不依赖于静态分析技术的执行路径动态编码方法；2）利用动态剖析反馈信息，研究自适应的路径编码方法，以降低获取动态执行路径剖析带来的时间和空间开销；3）针对多线程程序的特点，研究获取多线程程序线程间执行路径剖析的方法。 本项目的特点在于充分结合申请人在程序分析和动态优化方面的研究基础，针对执行路径剖析方法在实际应用中存在的关键性问题，对执行路径动态编码方法、自适应路径编码方法和线程间执行路径编码方法等三项内容进行创新研究，提出并实现一个可以应用于多线程程序的、低开销的执行路径动态自适应编码方法，并将本项目的研究成果集成到一个原型系统中，为以后的相关研究工作提供一个基础平台。

中文关键词： 函数调用路径；路径编码；动态自适应算法；；

英文摘要： Path profiling is critical for understanding dynamic behaviors of large programs. It plays an important role in a wide range of software development processes and large applications such as testing, debugging and error reporting, and program analysis. However, there are still many critical issues in current path profiling methods. In our work, we will research on the following three issues: 1)dynamic path profiling method without static program analysis techniques; 2)adpative path encoding method with dynamic profiles; 3)inter-threads path profiling mehtod for multi-threaded programs. We will base on our research experience in program analysis and dynamic optimization, study dynamic path encoding method, adaptive encoding method, and inter-threads path encoding method. In our work, we will propose a dynamic and adaptive path encoding method, and implement a path profiling prototype system.

英文关键词： calling context；path encoding；adaptive algorithm；；