多线程程序数据竞争检测与证据生成方法

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

多线程程序数据竞争检测与证据生成方法

张晓东1，郑庆华1，刘烃1，俞乐晨1，刘沛1，杨子江2

A data race detection and witness generation
method for multithreaded programs

ZHANG Xiaodong1，ZHENG Qinghua1，LIU Ting1，YU Lechen1，LIU Pei1，YANG Zijiang2

计算机工程与科学 . 2014, (11): 2047 -2053 .