基于Java字节码的多线程数据竞争检测方法研究及工具实现-计算机技术专业论文.docxVIP

Classified Index: TP311.1 U.D.C: 004.4 Dissertation for the Masters Degree of Engineering DATA RACE DETECTION FOR JAVA BYTECODE IN MULTITHREAD PROGRAMS AND TOOL IMPLEMENTATION Candidate： Pengzhou Shi Supervisor： Prof. Hejiao Huang Academic Degree Applied for： Masters Degree of Engineering Speciality： Computer Technology Affiliation： Shenzhen Graduate School Date of Defence： December, 2014 Degree-Conferring-Institution： Harbin Institute of Technology 摘 要 随着计算机系统规模 逐步扩大，用户数量 不断增加，越来越多的软件系 统需要考虑并发程序设计，而多线程技术是实现软件程序并发的常用方法。 但是，由于多线程程序开发难度大，程序运行期间线程调度的不确定性，使 得多线程程序很容易发生问题。数据竞争就是多线程程序中 一种常见的并发 问题。在多线程环境下 的数据竞争是指多个线程同时访问同一块内存资源 时， 没有采取正确的同步方式，而且其中至少存在一个写操作。数据竞争问题会 给软件程序带来很大的隐患，可能造成很大的危害。为了解决数据竞争问题， 国内外研究者采用形式化的方法进行数据竞争检测。通常的数据竞争检测方 法分为静态检测和动态检测两种。然而，静态检测方法存在错误预报，动态 检测方法执行效率较低，而且不能覆盖全部的程序执行路径。本文 针对 Java 多线程程序，提出了一种基于 Java 字节码的数据竞争检测方法，主要完成了 以下工作： 通过字节码解析，建立了抽象程序模型，并提取出与程序分析相关的关 键信息集合。在字节码指令的基础上，采用数据流分析方法，提出了基于字 节码指令的控制流程图和函数调用图的构建方法。 根据数据竞争产生的条件，总结出基于字节码的检测数据竞争方法。通 过使用别名分析方法，建立数据竞争检测步骤，即可达性计算、别名分析和 锁集合计算，有效地发现数据竞争问题。 为验证方法的有效性，使用编程语言实现了基于字节码的数据竞争检测 方法。通过实验证明，相比基于源代码的数据竞争检测方法，该方法具有较 高的检测效率，并且能够准确地发现数据竞争问题。 关键词：程序分析；数据竞争；多线程；静态检测；字节码 Abstract With the gradual expansion of the size of computer systems, the number of users is increasing continuously, and many software systems need to consider the concurrency. Nowadays, the multithreading technology is a common way to realize the concurrency. However, the multithreaded application developoment is difficult, and the programs run randomly during the thread switching. It is more prone to have problems. Data race is a common concurrency problem in multithreaded programmi - ng. The data race means many threads access a shared memory resource at the same time without ordering constraints enforced between them, and at least one access is a write. Data race problem can bring a lot of bugs in software, and sometimes it will be a huge disaster. In order to solve the data race problem, many researchers use the formal method to detect the