-
题名线程交互不变量的原子性违例错误并发检测
- 1
-
-
作者
李兰英
孙建达
朱素霞
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机科学与探索》
CSCD
北大核心
2018年第7期1087-1099,共13页
-
基金
国家自然科学基金No.61502123
黑龙江省青年科学基金No.QC2015084
中国博士后科学基金No.2015M571429~~
-
文摘
原子性违例错误是并发软件开发中多发的并发错误之一,由于并发程序运行时线程的交互是随机的,若没有相应的同步措施,极有可能导致原子性违例错误的发生。针对现有的离线原子性违例错误检测算法踪迹记录大、冗余多和运行速度较慢等问题,对于两类特定的原子性违例错误提出了一种基于交互不变量的原子性违例错误并发检测算法。该算法首先提取程序的原始踪迹并去除冗余,并利用基于无序映射的散列表对踪迹进行分类;然后用栈提取的线程交互不变量标记线程交互,并利用多进程技术实现算法的并发;最后通过实验比较和分析了错误检测算法的效率和有效性。
-
关键词
并发错误检测
原子性违例
不变量
并发算法
-
Keywords
concurrency bug detection
atomicity violation
invariant
concurrency algorithm
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名一种基于异常处理的并发程序容错机制
被引量：1
- 2
-
-
作者
牛如美
陈雨亭
-
机构
上海交通大学软件学院
-
出处
《计算机工程》
CAS
CSCD
2012年第13期44-47,共4页
-
基金
国家自然科学基金资助面上项目(60970009)
-
文摘
当前并发程序容错机制处理方式单一、效率较低。为此,提出一种适用于多种并发程序错误处理的容错机制。通过在编译及运行过程中对程序进行异常处理,并在异常发生时根据设置的检查点对程序进行回滚和防错误处理,以实现并发程序容错。实验结果表明,该容错机制可有效检测并发程序中的错误,在不增加程序总体运行时间的情况下达到比较理想的容错效果。
-
关键词
异常处理
容错
并发程序
多线程
原子性违例
回滚
检查点
-
Keywords
exception handling
fault-tolerance
concurrent program
multi-threaded
atomicity violation
rollback
checkpoint
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
