并发程序数据竞争检测方法研究和分析
操旺根
东南大学软件学院 江苏南京 211189
摘要：随着计算机硬件多核处理器的发展,多线程并发程序的设计也变得更加重要,同时并发程序设计带来的缺陷问题也越来越多.数据竞争是并发缺陷中最普遍的问题,数据竞争会导致程序的执行违反预期,情况严重的可能导致软件的崩溃.本文主要介绍了目前的数据竞争检测现状,同时对已有的检测方法的原理和效果进行了分析和研究,最后展望了未来数据竞争检测方法的发展方向.
关键词：并发程序数据竞争检测方法
论文发表日期：2019-12-28
在线出版日期：2026-05-22（本平台首次上网日期，不代表文献的发表时间）
页数：3( 171-173 )
英文信息