10.3778/j.issn.1673-9418.1706018
线程交互不变量的原子性违例错误并发检测
原子性违例错误是并发软件开发中多发的并发错误之一,由于并发程序运行时线程的交互是随机的, 若没有相应的同步措施,极有可能导致原子性违例错误的发生.针对现有的离线原子性违例错误检测算法踪迹记录大、冗余多和运行速度较慢等问题,对于两类特定的原子性违例错误提出了一种基于交互不变量的原子性违例错误并发检测算法.该算法首先提取程序的原始踪迹并去除冗余,并利用基于无序映射的散列表对踪迹进行分类;然后用栈提取的线程交互不变量标记线程交互,并利用多进程技术实现算法的并发;最后通过实验比较和分析了错误检测算法的效率和有效性.
并发错误检测、原子性违例、不变量、并发算法
12
TP301.6(计算技术、计算机技术)
The National Natural Science Foundation of China under Grant No. 61502123;the Science Foundation for Youths of Heilongjiang Province under Grant No. QC2015084;the Postdoctoral Science Foundation of China under Grant No. 2015M571429
2018-08-14（万方平台首次上网日期，不代表论文的发表时间）
共13页
1087-1099
