基于回放分析的并发错误重现与检测-计算机应用技术专业论文.docxVIP

上海交通大学工程硕士学位论文摘要 上海交通大学工程硕士学位论文 摘要 第 第 PAGE VII 页 CONCURRENT BUG REPRODUCTION AND DETECTION BASED ON REPLAY ANALYSIS Abstract With the development of multi-thread techniques, multi-thread programming has been much more widely applied in practice. Through the improvement of CPU utilization rate and the reduced waste of resources, multi-thread techniques could greatly improve the execution efficiency of programs. Programming languages, like C++ and Java, propose their own concurrency programming models. These models are also widely used in real applications and proved to be a great help to increase programs’ execution speed. But in the meantime, due to concurrent programs’ un-deterministic behaviors, developers would hardly to spot an error after it happened; it will also require a lot of time of programmers’ to reproduce such an erroneous scenario. Typical concurrent bugs such as Data Race, Deadlock and Atomicity Violation, these concurrent programs specific bugs largely make the test and correction process harder. Based on above points, a large part of traditional program testing techniques are not applicable for concurrent programs. And the un-determinism of thread scheduling also issue new requests for concurrent program testing. To aid in testing concurrent programs, Record Replay techniques are employed in concurrent program testing. There are two methods concerning record and replay for concurrent programs: Content-based method and Order-based method. Content-based method could accurately reproduce read and write operations of memory, while Order-based method cares about the execution order of inter-thread events. These two methods both have advantages and limitations: Content-based method would generate huge size record file for the frequent read and write operations of memory; on the other hand, Order-based method requires the precise recording of execution order of inter-thread events in the executing process. Existing methods use long time S