摘要
多线程程序设计是现今广泛采用的一种程序设计技术 ,它能充分地发掘出程序中的并行性 ,使处理机得到最大限度的利用 .本文通过对多线程环境下共享变量运行状态变化的分析 ,提出了一种基于锁集的多线程数据竞争的动态探测算法 .
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.
出处
《武汉大学学报（自然科学版）》
CSCD
2000年第3期289-292,共4页
Journal of Wuhan University(Natural Science Edition)
