happens-before規則

標籤：blog   log   post   join()   pen   app   vol   for   fonts   

1）程式順序規則：一個線程中的每個操作，happens-before於該線程中的任意後續操作。
2）監視器鎖規則：對一個鎖的解鎖，happens-before於隨後對這個鎖的加鎖。
3）volatile變量規則：對一個volatile域的寫，happens-before於任意後續對這個volatile域的
讀。
4）傳遞性：如果A happens-before B，且B happens-before C，那麼A happens-before C。
5）start()規則：如果線程A執行操作ThreadB.start()（啟動線程B），那麼A線程的
ThreadB.start()操作happens-before於線程B中的任意操作。
6）join()規則：如果線程A執行操作ThreadB.join()並成功返回，那麼線程B中的任意操作
happens-before於線程A從ThreadB.join()操作成功返回。

參考《Java並發編程的藝術》

happens-before規則