問(wèn)題描述

注意,兩個(gè)操作之間具有 happens-before 關(guān)系,并不意味著前一個(gè)操作必須要在后一個(gè)操作之前執(zhí)行!happens-before 僅僅要求前一個(gè)操作(執(zhí)行的結(jié)果)對(duì)后 一個(gè)操作可見(jiàn),且前一個(gè)操作按順序排在第二個(gè)操作之前(the first is visible to and ordered before the second)。happens- before 的定義很微妙,后文會(huì)具 體說(shuō)明 happens-before 為什么要這么定義。

——引用自《深入理解JAVA內(nèi)存模型》

這本書(shū)后邊有一個(gè)重排序的例子，說(shuō)明沒(méi)有依賴關(guān)系的兩個(gè)語(yǔ)句可以重排，所以“并不意味著前一個(gè)操作必須要在后一個(gè)操作之前執(zhí)行”。那“且前一個(gè)操作按順序排在第二個(gè)操作之前”這句話的含義又是什么呢

黑色斜體兩段字所要表明的意思區(qū)別究竟在哪，感覺(jué)這兩句話是矛盾的呢？能否舉例說(shuō)明一下

問(wèn)題解答

可以反著理解一下，hf是指物理上按照順序的兩條指令第一個(gè)對(duì)第二個(gè)可見(jiàn)，但是不是一定第一條先執(zhí)行的呢，不一定，因?yàn)榭赡馨l(fā)生重拍，順序上第一條不一定先執(zhí)行