一种基于锁集的多线程数据竞争的动态探测算法

一种基于锁集的多线程数据竞争的动态探测算法 A Dynamic Detective Algorithm Based on Lockset to Solve Multithreaded Data Race 李克清 LI Ke\|qing 1 first-author 陈莘萌 CHEN Xin\|meng 1 郑无疾 ZHENG Wu\|ji 1 武汉大学数学与计算机科学学院、武汉大学软件工程国家重点实验室,武汉,430072 武汉大学数学与计算机科学学院、武汉大学软件工程国家重点实验室,武汉,430072 College of Mathematics and Computer science College of Mathematics and Computer science 多线程程序设计是现今广泛采用的一种程序设计技术 ,它能充分地发掘出程序中的并行性 ,使处理机得到最大限度的利用 .本文通过对多线程环境下共享变量运行状态变化的分析 ,提出了一种基于锁集的多线程数据竞争的动态探测算法 .该算法在探测共享变量间的读写冲突方面具有一定的实用价值 Multithreaded programming has been applied widely in system software and applications software. Not only can it explore the concurrent part hidden in the executing process, but also can utilize sufficiently the CPU resources. Multi\|threaded programming is not only difficult but also prone to error. In this paper, we first analyzed states of shared\|variable, then put forth a dynamic detective algorithm based on lockset to find shared\|variable data race in multithreaded programming environment.It has certain value in detecting read\|write conflict among shared variables. 锁 数据竞争 多线程程序设计 lock data race multithreaded programming 10.14188/j.1671-8836.2000.03.008 TP311 2000-03-01 2021-04-01 3