并发程序路径剖析技术研究

项目名称： 并发程序路径剖析技术研究

项目编号： No.61402103

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

立项/批准年度： 2014

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

项目作者： 王璐璐

作者单位： 东南大学

项目金额： 26万元

中文摘要： 路径剖析技术通过路径编码、探针语句插装等方式获知程序执行过程中的路径频率信息，其结果广泛应用于软件的分析和优化之中。传统的剖析方法往往集中于单线程程序，随着并发程序的广泛应用，针对并发程序的剖析技术研究日益急迫。并发程序因其生成线程的特点和执行时的灵活性，导致其控制流结构较单线程程序更为复杂和难以跟踪。本课题拟在现有剖析技术的研究成果基础之上，针对如何剖析并发程序之中的路径进行思考和探索，寻找可行、高效、高价值的剖析方案，特别是针对并发程序中的循环情况、线程交互特性和实际需求进行具体分析,依据应用的特点尽可能降低剖析的耗费、提高剖析结果的参考意义，以提高效率和应用空间。 在此基础之上，我们还需要按照并发程序的特点设计可行的剖析技术实现方式，能够自动地对剖析目标进行分析、插装、信息收集和结果输出，以支持相应的实证研究。

中文关键词： 路径剖析；动态分析；并发；线程同步；插装

英文摘要： Path profiling collects the frequencies of paths during a routine of executions. It analyzes the source code of the target program, encodes all executable paths, instruments the program and collects the data during program running.Related profling techniq

英文关键词： path profiling；dynamic analysis；concurrency；thread synchronization；instrumentation