你已經(jīng)知道，導(dǎo)致可見(jiàn)性的原因是緩存，導(dǎo)致有序性的原因是編譯優(yōu)化，那解決可見(jiàn)性、有序性最直接的辦法就是禁用緩存和編譯優(yōu)化，但是這樣問(wèn)題雖然解決了，我們程序的性能可就堪憂了。

　　合理的方案應(yīng)該是按需禁用緩存以及編譯優(yōu)化。那么，如何做到“按需禁用”呢?對(duì)于并發(fā)程序，何時(shí)禁用緩存以及編譯優(yōu)化只有程序員知道，那所謂“按需禁用”其實(shí)就是指按照程序員的要求來(lái)禁用。所以，為了解決可見(jiàn)性和有序性問(wèn)題，只需要提供給程序員按需禁用緩存和編譯優(yōu)化的方法即可。

　　Java 內(nèi)存模型是個(gè)很復(fù)雜的規(guī)范，可以從不同的視角來(lái)解讀，站在我們這些程序員的視角，本質(zhì)上可以理解為，Java 內(nèi)存模型規(guī)范了 JVM 如何提供按需禁用緩存和編譯優(yōu)化的方法。具體來(lái)說(shuō)，這些方法包括 volatile、synchronized 和 final 三個(gè)關(guān)鍵字。

　　Java 的內(nèi)存模型是并發(fā)編程領(lǐng)域的一次重要?jiǎng)?chuàng)新，之后 C++、C#、Golang 等高級(jí)語(yǔ)言都開(kāi)始支持內(nèi)存模型。Java 內(nèi)存模型里面，最晦澀的部分就是 Happens-Before 規(guī)則，接下來(lái)我們?cè)敿?xì)介紹一下。

　　Happens-Before 規(guī)則

　　在了解完Java 內(nèi)存模型之后，我們?cè)賮?lái)具體學(xué)習(xí)一下針對(duì)于這些問(wèn)題提出的Happens-Before 規(guī)則。如何理解 Happens-Before 呢?如果望文生義(很多網(wǎng)文也都愛(ài)按字面意思翻譯成“先行發(fā)生”)，那就南轅北轍了，Happens-Before 并不是說(shuō)前面一個(gè)操作發(fā)生在后續(xù)操作的前面，它真正要表達(dá)的是：前面一個(gè)操作的結(jié)果對(duì)后續(xù)操作是可見(jiàn)的。就像有心靈感應(yīng)的兩個(gè)人，雖然遠(yuǎn)隔千里，一個(gè)人心之所想，另一個(gè)人都看得到。Happens-Before 規(guī)則就是要保證線程之間的這種“心靈感應(yīng)”。所以比較正式的說(shuō)法是：Happens-Before 約束了編譯器的優(yōu)化行為，雖允許編譯器優(yōu)化，但是要求編譯器優(yōu)化后一定遵守 Happens-Before 規(guī)則。

　　Happens-Before 規(guī)則應(yīng)該是 Java 內(nèi)存模型里面最晦澀的內(nèi)容了，和程序員相關(guān)的規(guī)則一共有如下六項(xiàng)，都是關(guān)于可見(jiàn)性的，具體如下：

　　程序的順序性規(guī)則：指在一個(gè)線程中，按照程序順序，前面的操作 Happens-Before 于后續(xù)的任意操作。

　　volatile 變量規(guī)則：指對(duì)一個(gè) volatile 變量的寫(xiě)操作， Happens-Before 于后續(xù)對(duì)這個(gè) volatile 變量的讀操作。

　　傳遞性規(guī)則：指如果 A Happens-Before B，且 B Happens-Before C，那么 A Happens-Before C。

　　管程中鎖的規(guī)則：指對(duì)一個(gè)鎖的解鎖 Happens-Before 于后續(xù)對(duì)這個(gè)鎖的加鎖。管程是一種通用的同步原語(yǔ)，在 Java 中指的就是 synchronized，synchronized 是 Java 里對(duì)管程的實(shí)現(xiàn)。管程中的鎖在 Java 里是隱式實(shí)現(xiàn)的，在進(jìn)入同步塊之前，會(huì)自動(dòng)加鎖，而在代碼塊執(zhí)行完會(huì)自動(dòng)釋放鎖，加鎖以及釋放鎖都是編譯器幫我們實(shí)現(xiàn)的。

　　線程 start() 規(guī)則：關(guān)于線程啟動(dòng)的。它是指主線程 A 啟動(dòng)子線程 B 后，子線程 B 能夠看到主線程在啟動(dòng)子線程 B 前的操作。換句話說(shuō)就是，如果線程 A 調(diào)用線程 B 的 start() 方法(即在線程 A 中啟動(dòng)線程 B)，那么該 start() 操作 Happens-Before 于線程 B 中的任意操作。

　　線程 join() 規(guī)則：關(guān)于線程等待的。它是指主線程 A 等待子線程 B 完成(主線程 A 通過(guò)調(diào)用子線程 B 的 join() 方法實(shí)現(xiàn))，當(dāng)子線程 B 完成后(主線程 A 中 join() 方法返回)，主線程能夠看到子線程的操作。當(dāng)然所謂的“看到”，指的是對(duì)共享變量的操作。換句話說(shuō)就是，如果在線程 A 中，調(diào)用線程 B 的 join() 并成功返回，那么線程 B 中的任意操作 Happens-Before 于該 join() 操作的返回。

　　在 Java 語(yǔ)言里面，Happens-Before 的語(yǔ)義本質(zhì)上是一種可見(jiàn)性，A Happens-Before B 意味著 A 事件對(duì) B 事件來(lái)說(shuō)是可見(jiàn)的，無(wú)論 A 事件和 B 事件是否發(fā)生在同一個(gè)線程里。例如 A 事件發(fā)生在線程 1 上，B 事件發(fā)生在線程 2 上，Happens-Before 規(guī)則保證線程 2 上也能看到 A 事件的發(fā)生。

　　Java 內(nèi)存模型主要分為兩部分，一部分面向你我這種編寫(xiě)并發(fā)程序的應(yīng)用開(kāi)發(fā)人員，另一部分是面向 JVM 的實(shí)現(xiàn)人員的，我們可以重點(diǎn)關(guān)注前者，也就是和編寫(xiě)并發(fā)程序相關(guān)的部分，這部分內(nèi)容的核心就是 Happens-Before 規(guī)則。

　　更多關(guān)于“java培訓(xùn)”的問(wèn)題，歡迎咨詢千鋒教育在線名師。千鋒教育多年辦學(xué)，課程大綱緊跟企業(yè)需求，更科學(xué)更嚴(yán)謹(jǐn)，每年培養(yǎng)泛IT人才近2萬(wàn)人。不論你是零基礎(chǔ)還是想提升，都可以找到適合的班型，千鋒教育隨時(shí)歡迎你來(lái)試聽(tīng)。