10.3969/j.issn.1000-386x.2014.06.001
基于锁信息的多线程软件原子性错误检测方法
原子性错误是多线程软件开发中常见的并发错误之一.传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题.针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错误的方法,据此减少程序的回溯次数和运行时间.通过对一系列开源程序的测试,实验数据证明此方法可以大大提高原子性错误检测的效率.
多线程软件、原子性错误、锁信息、模型检测、动态优化
31
TP312(计算技术、计算机技术)
核高基项目2012ZX01039-004;中国科学院知识创新工程项目KGCX2-YW-125
2014-08-20（万方平台首次上网日期，不代表论文的发表时间）
共5页
1-4,94
