注意,兩個(gè)操作之間具有 happens-before 關(guān)系,并不意味著前一個(gè)操作必須要在后一個(gè)操作之前執(zhí)行!happens-before 僅僅要求前一個(gè)操作(執(zhí)行的結(jié)果)對(duì)后 一個(gè)操作可見,且前一個(gè)操作按順序排在第二個(gè)操作之前(the first is visible to and ordered before the second)。happens- before 的定義很微妙,后文會(huì)具 體說明 happens-before 為什么要這么定義。
——引用自《深入理解JAVA內(nèi)存模型》
這本書后邊有一個(gè)重排序的例子,說明沒有依賴關(guān)系的兩個(gè)語句可以重排,所以“并不意味著前一個(gè)操作必須要在后一個(gè)操作之前執(zhí)行”。那“且前一個(gè)操作按順序排在第二個(gè)操作之前”這句話的含義又是什么呢
黑色斜體兩段字所要表明的意思區(qū)別究竟在哪,感覺這兩句話是矛盾的呢?能否舉例說明一下
java內(nèi)存模型的happens-before語義順序問題
繁華開滿天機(jī)
2019-03-01 11:16:46