Happens-before、Sequentially consistent

Happens-before 粗暴的來說，data race發生在衝突訪問沒有happens-before 的地方 When a program contains two conflicting accesses (§17.4.1) that are not ordered by a happens-before relationship, it is said to contain a data

>>阅读原文<<