2.3.1 java 記憶體模型

標籤：存在   jmm   一點   指令   限制   多線程編程   也會   虛擬機器   編譯   

在前面談到了一些關於記憶體模型以及並發編程中可能會出現的一些問題。下面我們來看一下Java記憶體模型，
研究一下Java記憶體模型為我們提供了哪些保證以及在java中提供了哪些方法和機制來讓我們在進行多線程編程時能夠保證程式執行的正確性。

在Java虛擬機器規範中試圖定義一種Java記憶體模型（Java Memory Model，JMM）來屏蔽各個硬體平台和作業系統的記憶體訪問差異，
以實現讓Java程式在各種平台下都能達到一致的記憶體訪問效果。那麼Java記憶體模型規定了哪些東西呢，它定義了程式中變數的訪問規則，
往大一點說是定義了程式執行的次序。注意，為了獲得較好的執行效能，
Java記憶體模型並沒有限制執行引擎使用處理器的寄存器或者快取來提升指令執行速度，
也沒有限制編譯器對指令進行重排序。也就是說，在java記憶體模型中，也會存在緩衝一致性問題和指令重排序的問題。

Java記憶體模型規定所有的變數都是存在主存當中（類似於前面說的實體記憶體），每個線程都有自己的工作記憶體（類似於前面的快取）。
線程對變數的所有操作都必須在工作記憶體中進行，而不能直接對主存進行操作。並且每個線程不能訪問其他線程的工作記憶體。

舉個簡單的例子：在java中，執行下面這個語句：
i  = 10;
執行線程必須先在自己的背景工作執行緒中對變數i所在的緩衝行進行賦值操作，然後再寫入主存當中。而不是直接將數值10寫入主存當中。

2.3.1 java 記憶體模型