|
|||||
|
|
| 基于锁信息的多线程软件原子性错误检测方法 | |
| 作者单位： | ;1.中国科学院软件研究所 |
| 摘 要： | 原子性错误是多线程软件开发中常见的并发错误之一。传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题。针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错误的方法,据此减少程序的回溯次数和运行时间。通过对一系列开源程序的测试,实验数据证明此方法可以大大提高原子性错误检测的效率。 |
| 关 键 词： | 多线程软件 原子性错误 锁信息 模型检测 动态优化 |
ATOMICITY VIOLATIONS DETECTION METHOD FOR MULTI-THREADED SOFTWARE BASED ON LOCK INFORMATION |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |