基于回放机制的并发程序中的错误重现方法  

Approach to failure reproduce of concurrent programs based on replay mechanism

作　　者：罗清宙[1] 

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

出　　处：《计算机工程与设计》2010年第13期3029-3031,3035,共4页Computer Engineering and Design

基　　金：国家自然科学基金项目(60673120)

摘　　要：为了帮助程序员检测并发程序中的错误,提出了一种重现错并发误场景的方法。使用对Java字节码插装的方法,生成记录和回放版本的程序。在记录程序运行时,自动记录下线程间执行的逻辑循序,同时在程序发生崩溃后自动生成测试用例,这些测试用例运行在回放版本上具有确定性地重现并发错误的能力。实现了一个基于Java程序的原型工具,实验结果表明,该原型具有重现并发程序错误的能力,并且性能开销在一个可接受的范围内。To help programmers to detect errors in concurrent programs,a method for reproducing erroneous？ scenarios is presented.The record and replay version of program are generated using Java byte code instrumentation.When record program is running,logical execution order among threads will be recorded and test cases will be automatically generated after program crashes.Test cases,which are running on replay version program,have the ability to deterministically reproduce concurrent failures.A prototype tool for java is implemented.Experiments show that the prototype is capable of reproducing concurrent failures within an acceptable overhead.

关 键 词：并发程序 错误重现 确定性回放 字节码插装 测试 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]