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

论文摘要

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

论文目录

• 0 引言
• 1 数据竞争检测方法
•   1.1 动态检测
•   1.2 静态检测
•   1.3 动静结合的检测方法
• 2 研究方向展望

文章来源

类型: 期刊论文

作者: 操旺根

关键词: 并发程序,数据竞争,检测方法

来源: 信息技术与信息化 2019年12期

年度: 2019

分类: 信息科技

专业: 计算机软件及计算机应用

单位: 东南大学软件学院

分类号: TP311.11

页码: 171-173

总页数: 3

文件大小: 1097K

下载量: 51