多线程并发程序数据竞争修复方法的研究.docxVIP

多线程并发程序数据竞争修复方法的研究 　　摘要：针对多线程并发程序中的数据竞争问题，本文提出了一种基于java抽象语法树的数据竞争修复办法。首先利用抽象语法树对需要进行插锁的ast节点进行查找，这一过程包括：寻找发生数据竞争的变量所在方法;对发生数据竞争的变量所在的语句进行搜索;对需要加锁的位置进行确定。找到加锁位置后，对需要加锁的位置进行自动加锁操作，从而实现对数据竞争问题的自动修复。 　　关键词：并发程序;数据竞争;抽象语法树;重构 　　中图分类号：tp311.53文献标识码：a文章编号：1007-9416（2019）03-0058-02 　　0引言 　　多线程并发程序设计随着多核处理器的出现而普及，它能够显著提高系统的资源利用率，是现代程序设计中不可或缺的重要技术[1]。但并发程程序内部固有的并发性和不确定性仍然会带来一些难以避免的问题。数据竞争在所有种类的并发缺陷中占有较大的比例，而且常常是引起其他非死锁类缺陷的根本原因。数据竞争是指多个线程同时访问一个共享内存位置，并且至少有一个线程执行写操作[2]。 　　当开发人员面对大量缺陷无从入手的时候，自动修复数据竞争问题，可以有效减少开发人员的程序调试时间，因此数据竞争的修复逐渐成为当前软件维护领域中的一个研究热点，目前，并发编程的数据竞争修复问题已经引起国内外研究人员的重视，虽然