嵌入式系统同步进程的竞态条件分析与推理学习方法
张晶,潘有顺
Analysis and Reasoning of Race Condition in Embedded System Synchronization Process
ZHANG Jing and PAN You-shun
计算机科学 . 2014, (2): 141 -144 .