预竞争检测相关论文
随着多核硬件的广泛普及,多线程编程技术也被应用到计算机领域的各个方面,多线程编程技术能够更加充分的利用多核众核设备的超强计......
数据竞争是多线程程序并发错误的主要来源,目前已有许多静态和动态程序分析技术用于检测数据竞争,但这些检测器或者会产生巨大的检......