并发程序原子图挖掘技术
Atom Graph Mining Technology in Concurrent Program作者机构：上海交通大学软件学院上海200240
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2012年第38卷第18期
页 面：30-33页
核心收录：
学科分类：0711[理学-系统科学] 07[理学] 08[工学] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 071102[理学-系统分析与集成] 081103[工学-系统工程]
摘 要：针对当前并发程序的不确定性和复杂性,以及程序原子性质获取困难的问题,提出一种并发程序原子性质提取方法。将并发程序中的同步区域转化为与并发操作相关的并发操作图后,采用频繁子图挖掘算法自动提取程序中的原子图,使其能刻画并发程序的原子性质,包括并发操作以及操作之间的控制依赖关系。实验结果证明,该方法能以较低的误测率有效提取并发程序的原子性质。
维普期刊数据库
同方期刊数据库