并发程序数据竞争检测方法研究和分析

摘要

cqvip:随着计算机硬件多核处理器的发展,多线程并发程序的设计也变得更加重要,同时并发程序设计带来的缺陷问题也越来越多。数据竞争是并发缺陷中最普遍的问题,数据竞争会导致程序的执行违反预期,情况严重的可能导致软件的崩溃。本文主要介绍了目前的数据竞争检测现状,同时对已有的检测方法的原理和效果进行了分析和研究,最后展望了未来数据竞争检测方法的发展方向。