多线程:happens-before 先行发生原则
下面就來具體介紹下happens-before原則(先行發(fā)生原則):
這8條規(guī)則中,前4條規(guī)則是比較重要的,后4條規(guī)則都是顯而易見的。
下面我們來解釋一下前4條規(guī)則:
對于程序次序規(guī)則來說,我的理解就是一段程序代碼的執(zhí)行在單個(gè)線程中看起來是有序的。注意,雖然這條規(guī)則中提到“書寫在前面的操作先行發(fā)生于書寫在后面的操作”,這個(gè)應(yīng)該是程序看起來執(zhí)行的順序是按照代碼順序執(zhí)行的,因?yàn)?span style="color:#f33b45;">虛擬機(jī)可能會對程序代碼進(jìn)行指令重排序。雖然進(jìn)行重排序,但是最終執(zhí)行的結(jié)果是與程序順序執(zhí)行的結(jié)果一致的,它只會對不存在數(shù)據(jù)依賴性的指令進(jìn)行重排序。因此,在單個(gè)線程中,程序執(zhí)行看起來是有序執(zhí)行的,這一點(diǎn)要注意理解。事實(shí)上,這個(gè)規(guī)則是用來保證程序在單線程中執(zhí)行結(jié)果的正確性,但無法保證程序在多線程中執(zhí)行的正確性。
指令重排序會導(dǎo)致在多線程情況下的有序性混亂,從而影響計(jì)算結(jié)果的正確性
第二條規(guī)則也比較容易理解,也就是說無論在單線程中還是多線程中,同一個(gè)鎖如果出于被鎖定的狀態(tài),那么必須先對鎖進(jìn)行了釋放操作,后面才能繼續(xù)進(jìn)行l(wèi)ock操作。
第三條規(guī)則是一條比較重要的規(guī)則,也是后文將要重點(diǎn)講述的內(nèi)容。直觀地解釋就是,如果一個(gè)線程先去寫一個(gè)變量,然后一個(gè)線程去進(jìn)行讀取,那么寫入操作肯定會先行發(fā)生于讀操作。
第四條規(guī)則實(shí)際上就是體現(xiàn)happens-before原則具備傳遞性。
?
總結(jié)
以上是生活随笔為你收集整理的多线程:happens-before 先行发生原则的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 二分查找算法总结
- 下一篇: JVM:JVM内存划分、主内存、工作内存