多線程的可見(jiàn)性

sf190404 發(fā)布于2019-08-14 12:51 / 2622人閱讀

摘要：線程和進(jìn)程的區(qū)別可見(jiàn)性一個(gè)線程對(duì)共享變量值的修改，能夠及時(shí)的被其他線程看到。共享變量如果一個(gè)變量在多個(gè)線程的工作內(nèi)存中都存在副本，那么這個(gè)變量就是這幾個(gè)線程的共享變量。

線程和進(jìn)程的區(qū)別

可見(jiàn)性
一個(gè)線程對(duì)共享變量值的修改，能夠及時(shí)的被其他線程看到。
共享變量
如果一個(gè)變量在多個(gè)線程的工作內(nèi)存中都存在副本，那么這個(gè)變量就是這幾個(gè)線程的共享變量。
java內(nèi)存模型
Java memory model 描述了java程序中各種變量（線程共享變量）的訪問(wèn)規(guī)則，
以及在JVM中將變量存儲(chǔ)到內(nèi)存，以及從內(nèi)存中讀取變量的底層細(xì)節(jié)。

所有的變量都存儲(chǔ)在主內(nèi)存中
每個(gè)線程都有自己獨(dú)立的工作內(nèi)存，里面保存了該線程使用到的變量副本(主內(nèi)存中該變量的一個(gè)拷貝)

線程對(duì)共享變量的所有的操作都必須在自己的工作內(nèi)存中進(jìn)行，不能直接從主內(nèi)存中讀取

不同線程之間無(wú)法直接訪問(wèn)其他線程工作內(nèi)存中的變量，線程間變量值的傳遞需要通過(guò)住內(nèi)存來(lái)完成。
線程1對(duì)共享變量的修改要想被線程2及時(shí)的看到，必須要經(jīng)過(guò)2個(gè)步驟:
把工作內(nèi)存1中更新過(guò)的共享變量刷新到主內(nèi)存中。
將主內(nèi)存中最新的共享變量的值更新到工作內(nèi)存2中

可見(jiàn)性的實(shí)現(xiàn)方式:
synchronized
原子性(同步)
可見(jiàn)性
JMM關(guān)于synchronized的兩條規(guī)定
解鎖之前，必須把共享變量的最新值刷新到主內(nèi)存中
線程加鎖時(shí)，將清空工作內(nèi)存中共享變量的值，從而使用共享變量時(shí)需要從主內(nèi)存中重新讀取最新值(枷鎖和解鎖需要是同一把鎖)

線程解鎖前對(duì)共享變量的修改在下次加鎖的時(shí)候?qū)ζ渌€程可見(jiàn)。

線程執(zhí)行互斥代碼的過(guò)程:
1,獲得互斥鎖
2，清空工作內(nèi)存
3，從主內(nèi)存拷貝變量的最新副本到工作內(nèi)存
4，執(zhí)行代碼
5，將更改后的共享變量值刷新到主內(nèi)存
6，釋放互斥鎖
重排序
代碼書寫的順序與實(shí)際執(zhí)行的順序不同，指令重排序是編譯器或是處理器為提高程序的性能而做的優(yōu)化
1，編譯器優(yōu)化的重排序(編譯器優(yōu)化)
2，指令級(jí)并行重排序(處理器優(yōu)化)
3，內(nèi)存系統(tǒng)重排序(處理器優(yōu)化)

as-if-serial:無(wú)論如何重排序，程序執(zhí)行的結(jié)果應(yīng)該與代碼順序執(zhí)行的結(jié)果一致
volatile