并发程序原子图挖掘技术

摘要：

针对当前并发程序的不确定性和复杂性,以及程序原子性质获取困难的问题,提出一种并发程序原子性质提取方法.将并发程序中的同步区域转化为与并发操作相关的并发操作图后,采用频繁子图挖掘算法自动提取程序中的原子图,使其能刻画并发程序的原子性质,包括并发操作以及操作之间的控制依赖关系.实验结果证明,该方法能以较低的误测率有效提取并发程序的原子性质.

关键词：并发程序、原子图、原子性质、多线程、频繁子图挖掘

所属期刊栏目：38

分类号：TP12(自动化基础理论)

资助基金：国家自然科学基金资助面上项目60673120

在线出版日期：2012-11-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：30-33