java基礎---多線程---java記憶體模型

標籤：自己   程式   之間   依賴   指令重排序   緩衝   java記憶體模型   提升   java   

===java記憶體模型的作用。java記憶體模型定義了線程和線程和線程和主記憶體之間的抽象關係。每個線程有自己的記憶體地區，存的是從主記憶體複製過來的變數副本，他是一個抽象概念。線程之間通訊會通過主記憶體，將修改的資料重新整理到主記憶體去，其他線程就能夠擷取到。  ===考慮到記憶體模型避不開指令重排序為了提升效能，編譯器和處理器都會做指令重排序。 指令重排序在單cpu和單線程條件下遵循一系列規則：1.如果有資料依賴關係的比如先寫再讀，先讀再寫啥的就不做重排序；控制依賴關係的時候，會先緩衝計算結果再等條件判斷。a = 1;b = 1;bool = true;c = a + b; if (bool) {    c = a * a;}2.保證結果不改變情況下重排序。指令重排序在多線程情況下如果沒做同步可能出現記憶體可見度問題。 happens beforejava提供給程式員一種便於操作重排序的規則，就是happens before規則。他是一種表示可見度的規則，比如A happens before B，表示A的執行結果對B是可見的，但是沒有要求A在B之前執行。每個happens before規則都對應著底層的一系列重定序，我們不需要知道底層具體是怎麼重排序的，相當於提供給我們一套更方便理解指令重排序的這麼一套規則。        

java基礎---多線程---java記憶體模型