聲明：本章內(nèi)容摘自《深入理解Java虛擬機》第二版病苗，有需要深入學(xué)習(xí)的小伙伴請自行購買書籍蚣抗。
????????Java語言中有一個“先行發(fā)生”(happens-before)的原則辛臊，這個原則非常重要敏储，它是判斷數(shù)據(jù)是否存在競爭寡痰，線程是否安全的主要依據(jù)觉鼻，依靠這個原則俊扭，我們可以通過幾條規(guī)則一攬子地解決并發(fā)環(huán)境下兩個操作之間是否可能存在沖突的所有問題。
? ? ? ? 先行發(fā)生是Java內(nèi)存模型中定義的兩項操作之間的偏序關(guān)系坠陈，如果說操作A先行發(fā)生于操作B萨惑，其實就是說發(fā)生操作B之前，操作A產(chǎn)生的影響能被操作B觀察到仇矾，“影響”包括修改了內(nèi)存中共享變量的值庸蔼，發(fā)送了消息，調(diào)用了方法等贮匕。
先行發(fā)生原則偽代碼示例：
// 以下操作在線程A中執(zhí)行
i = 1姐仅；
// 以下操作在線程B中執(zhí)行
j = i;
// 以下操作在線程C中執(zhí)行
i = 2;
????????假設(shè)線程A中的操作"i=1"先行發(fā)生于線程B的操作“j=1”，那么可以確定在線程B的操作執(zhí)行后刻盐，變量j一定等于1掏膏，得出這個結(jié)論的依據(jù)有兩個：一是根據(jù)先行發(fā)生原則，i=1的結(jié)果可以被觀察到敦锌，二是線程c還沒有登場憋肖，線程A操作結(jié)束之后沒有其他線程回修改變量i的值。現(xiàn)在再來考慮線程C损拢，我們依然保持線程A和線程B之間的先行發(fā)生關(guān)系，而線程C出現(xiàn)在線程A和線程B的操作之間溺蕉，但是線程C與線程B沒有先行發(fā)生關(guān)系，那j的值回是多少呢悼做？答案不確定疯特，1和2都有可能，因為線程C對變量i的影響可能會被線程B觀察到肛走，也可能不會漓雅，這時候線程B就存在讀取到過期數(shù)據(jù)的風(fēng)險，不具備多線程的安全性朽色。
? ? ? ? 下面是Java內(nèi)存模型下一些“天然的”先行發(fā)生關(guān)系邻吞，這些先行發(fā)生關(guān)系無需任何同步器協(xié)助就已經(jīng)存在，可以在編碼中直接使用葫男，若兩個操作之間的關(guān)系不在此列抱冷，并且無法從下列規(guī)則推導(dǎo)出來的話，它們就沒有順序性保障梢褐，虛擬機就可以對它們隨意地進行重排序旺遮。
? ? ? ? ??程序次序規(guī)則(Program Order Rule):在一個線程內(nèi)，按照程序代碼順序盈咳，書寫在前面的操作先行發(fā)生與書寫在后面的操作耿眉。準(zhǔn)確的說，應(yīng)該是控制流順序而不是程序代碼順序鱼响，因為要考慮分支鸣剪，循環(huán)等結(jié)構(gòu)。
??????????管程鎖定規(guī)則(Monitor Lock Rule):一個unlock操作先行發(fā)生于后面對同一個鎖的lock操作丈积。這里必須強調(diào)的是同一個鎖筐骇，而后面是指時間上的先后順序
??????????volatile變量規(guī)則(Volatile Variable Rule):對一個volatile變量的寫操作先行發(fā)生于后面對這個變量的讀操作，這里的后面同樣是指時間上的先后順序
??????????線程啟動規(guī)則(Thread Start Rule):Thead對象的start()方法先行發(fā)生于此線程的每一個動作
??????????線程終止規(guī)則(Thread Termination Rule):線程中的所有操作都先行發(fā)生于對此線程的終止檢測桶癣，我們可以通過Thread.join()方法結(jié)束拥褂，Thread.isAlive()的返回值等手段檢測到線程已經(jīng)終止執(zhí)行。
???????????線程中斷規(guī)則(Thread Interruption Rule):對線程interrupt()方法的調(diào)用優(yōu)先發(fā)生于被中斷線程的代碼檢測到中斷事件的發(fā)生牙寞，可以通過Thread.interrupted()方法檢測到是否有中斷發(fā)生饺鹃。
???????????對象終結(jié)規(guī)則(Finalizer Rule):一個對象的初始化完成(構(gòu)造函數(shù)執(zhí)行結(jié)束)先行發(fā)生于它的finalize()方法的開始。
??????????傳遞性(Transitivity):如果操作A先行發(fā)生于操作B间雀，操作B先行發(fā)生于操作C悔详，那就可以得出操作A先行發(fā)生于操作C的結(jié)論。? ? ? ??
