一种基于异常处理的并发程序容错机制  

Concurrent Program Fault-tolerant Mechanism Based on Exception Handling

作　　者：牛如美[1] 陈雨亭[1] 

机构地区：[1]上海交通大学软件学院,上海200240

出　　处：《计算机工程》2012年第13期44-47,共4页Computer Engineering

基　　金：国家自然科学基金资助面上项目(60970009)

摘　　要：当前并发程序容错机制处理方式单一、效率较低。为此,提出一种适用于多种并发程序错误处理的容错机制。通过在编译及运行过程中对程序进行异常处理,并在异常发生时根据设置的检查点对程序进行回滚和防错误处理,以实现并发程序容错。实验结果表明,该容错机制可有效检测并发程序中的错误,在不增加程序总体运行时间的情况下达到比较理想的容错效果。Currently most concurrent program fault-tolerant mechanisms can not handle multi-bugs in programs and are also of low effectiveness. This paper presents a concurrent program fault-tolerant framework based on exception handling, which can be used to handle different concurrent program bugs by supporting from compile-time and runtime work and rollbacking program status to certain checkpoints in order to achieve the objective of fault-tolerance of concurrency bugs. Experimental results show that this framework can help to detect concurrency bugs effectively and recover program states from exceptions to normal states.

关 键 词：异常处理 容错 并发程序 多线程 原子性违例 回滚 检查点 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]