IVD

摘要： 数据竞争检测基本原理 happens-before 事件 a 发生在 b 之前定义为 a → b。以下三种条件都满足 a → b: a和b是同一个进程内的事件，a发生在b之前，则 a → b。 a和b在不同的进程中，a是发送进程内的发送事件，b是同一消息接收进程内的接收事件，则 a → b。 如果a 阅读全文