1. 首先，執行緒a把本地記憶體a中更新過的共享變數重新整理到主記憶體中去。
2. 然後，執行緒b到主記憶體中去讀取執行緒a之前已更新過的共享變數。
1. 共享物件對各個執行緒的可見性
2. 共享物件的競爭現象
指令級並行的重排序：如果不存l在資料依賴性，處理器可以改變語句對應機器指令的執行順序。
記憶體系統的重排序：處理器使用快取和讀寫緩衝區，這使得載入和儲存操作看上去可能是在亂序執行。
影響某些資料（或則是某條指令的執行結果）的記憶體可見性。
在寫入變數a之前的寫入操作，其更新的資料對於其他執行緒也是可見的。因為memory barrier會刷出cache中的所有先前的寫入。
2.
java記憶體模型
一 原子性 原子性是指乙個操作是不可中斷的，即使是多個執行緒一起執行的時候，乙個操作的開始，就不會被其他執行緒干擾 那麼有人會想到 i 是原子操作嗎?答案肯定不是。因為i 至少包含兩個操作，讀 從記憶體中讀出來 和行為 加上去 還有可能把加完後的資料在方法到i裡面去，出來也是1，這兩個執行緒同時進行...
Java記憶體模型
int x 0 thread a int y x thread bint x 5 int y 8 int z x y 關於上面的 存在這樣關係 x和z之間存在資料依賴關係，同時y和z之間也存在資料依賴關係。為了得到正確的結果，執行指令序列時，z不能重排序到x和y的前面。但是x和y之間並沒有資料依賴關...
java記憶體模型
執行緒之間的共享變數儲存在主記憶體中，每個執行緒對應乙個私有的本地變數為共享變數的副本 指令重排序 資料依賴性 as if serial 乙個執行緒的操作必須按照程式的順序來執行 每個操作必須原子性和立刻對所有執行緒可見 允許把乙個64位的double和long型別的寫操作拆分成兩個32位操作來執行...