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

第38卷 第 13期 计 算 机 工 程 20l2年 7月 Vol_38 NO．13 ComputerEngineering July 2012 · 软件技术与数据库 · 文章编号：lo0_3428(20l2)l3—_0044—04 文献标识码：A 中圈分类号：TP391 一 种基于异常处理的并发程序容错机制 牛如美，陈雨亭 (上海交通大学软件学院，上海 200240) ● 摘 要：当前并发程序容错机制处理方式单一、效率较低。为此，提出一种适用于多种并发程序错误处理的容错机制。通过在编译及运行 过程中对程序进行异常处理，并在异常发生时根据设置的检查点对程序进行回滚和防错误处理，以实现并发程序容错。实验结果表明，该 容错机制可有效检测并发程序中的错误，在不增加程序总体运行时间的情况下达到比较理想的容错效果。 关奠诃：异常处理；容错；并发程序；多线程；原子性违例；回滚；检查点 ConcurrentProgram Fault--tolerantM echanism Based0nExceptionHandling NIURu-mei，CHEN Yu—ring (SchoolofSoftware，ShanghaiJiaotongUniversity，Shanghai200240，China) [Abstract]Currentlymostconcurrentprogramfault—tolerantmechanismscannothandlemulti—bugsinprogramsandarealsoofloweffectiveness． Thispaperpresentsaconcurrentprogram faulttolerantframeworkbasedonexceptionhandling，whichcanbeusedtohandledifferentconcurrent program bugsbysupportingfrom compile—timeandruntimeworkandrollbackingprogram statustocertaincheckpointsinordertoachievethe objectiveoffault—toleranceofconcurrencybugs．Experimentalresultsshowthatthisframeworkcanhelptodetectconcurrencybugseffectivelyand recoverprogram statesfrom exceptionstonormalstates． [Keywords]exceptionhandling；fault-tolerance；concurrentprogram；multi--threaded；atomicityviolation；rollback；checkpoint DOI：10．3969~．issn．1000—3428．2012．13．0l2 1 概述 2．1 并发程序错误检测 随着多核处理器的广泛应用，程序设计中并发技术的研 与并发程序的同步机制和内存模型相对应，并发错误可 究得到了极大的推动。由于并发程序本身的非确定性性质， 分为同步操作相关和数据存取相关 2类。其中，常见同步操 检测、处理并发错误非常困难，因此其正确性很难得到保证。 作错误包括死锁(deadlock)、活锁(1ivelock)等，常见数据存取 一 般来说 ，在编译时检测并发错误并在程序运行时防止并发 错误包括原子性违例 (atomicityviolation)、时