基于锁信息的多线程软件原子性错误检测方法

作     者：王云飞 刘剑 马越 Wang Yunfei;Liu Jian;Ma Yue

作者机构：中国科学院软件研究所北京100190 

基　　金：核高基项目(2012ZX01039-004) 中国科学院知识创新工程项目(KGCX2-YW-125) 

出 版 物：《计算机应用与软件》 (Computer Applications and Software)

年 卷 期：2014年第31卷第6期

页      码：1-4,94页

摘      要：原子性错误是多线程软件开发中常见的并发错误之一。传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题。针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错误的方法,据此减少程序的回溯次数和运行时间。通过对一系列开源程序的测试,实验数据证明此方法可以大大提高原子性错误检测的效率。

主 题 词：多线程软件 原子性错误 锁信息 模型检测 动态优化 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-386x.2014.06.001

馆 藏 号：203350723...