happens-before原則：衡量併發安全問題一切必須以happens-before 原則爲準
a.程序次序規則(Pragram Order Rule)：在一個線程內，按照程序代碼順序，書寫在前面的操作先行發生於書寫在後面的操作。準確地說應該是控制流順序而不是程序代碼順序，因爲要考慮分支、循環結構。
b.管程鎖定規則(Monitor Lock Rule)：一個unlock操作先行發生於後面對同一個鎖的lock操作。這裏必須強調的是同一個鎖，而”後面“是指時間上的先後順序。
c.volatile變量規則(Volatile Variable Rule)：對一個volatile變量的寫操作先行發生於後面對這個變量的讀取操作，這裏的”後面“同樣指時間上的先後順序。
d.線程啓動規則(Thread Start Rule)：Thread對象的start()方法先行發生於此線程的每一個動作。
e.線程終止規則(Thread Termination Rule)：線程中的所有操作都先行發生於對此線程的終止檢測，我們可以通過Thread.join()方法結束，Thread.isAlive()的返回值等作段檢測到線程已經終止執行。
f.線程中斷規則(Thread Interruption Rule)：對線程interrupt()方法的調用先行發生於被中斷線程的代碼檢測到中斷事件的發生，可以通過Thread.interrupted()方法檢測是否有中斷髮生。
g.對象終結規則(Finalizer Rule)：一個對象初始化完成(構造方法執行完成)先行發生於它的finalize()方法的開始。
h.傳遞性(Transitivity)：如果操作A先行發生於操作B，操作B先行發生於操作C，那就可以得出操作A先行發生於操作C的結論。