多重中断C程序中数据竞争及原子性检测

吴学光, 文艳军, 王戟, 傅秀涛, 綦艳霞, 顾斌

Data Race and Atomicity Checking for C Programs with Multiple Interruptions

WU Xueguang, WEN Yanjun, WANG Ji, FU Xiutao, QI Yanxia, GU Bin

计算机科学与探索 . 2011, (12): 1085 -1093 .