1. 併發編程模型的兩個關鍵問題
在併發編程中，需要處理兩個關鍵問題：線程之間如何通信及線程之間如何同步（這裏的線程是指併發執行的活動實體）
通信是指線程之間以何種機制來交換信息。在命令式編程中，線程之間的通信機制有兩種：共享內存和消息傳遞。在共享內存的併發模型裏，線程之間共享程序的公共狀態，通過寫-讀內存中的公共狀態進行隱式通信。在消息傳遞的併發模型裏，線程之間沒有公共狀態，線程之間必須通過發送消息來顯式進行通信。
同步是指程序中用於控制不同線程間操作發生相對順序的機制。在共享內存併發模型裏，同步是顯式進行的。程序員必須顯式指定某個方法或某段代碼需要在線程之間互斥執行。在消息傳遞的併發模型裏，由於消息的發送必須在消息的接收之前，因此同步是隱式進行的。
Java的併發採用的是共享內存模型，Java線程之間的通信總是隱式進行。
2. Java內存模型的抽象結構
在Java中，所有實例域、靜態域和數組元素都存儲在堆內存中，堆內存在線程之間共享。
Java線程之間的通信由Java內存模型（本文簡稱爲JMM）控制，JMM決定一個線程對共享變量的寫入何時對另一個線程可見。從抽象的角度來看，JMM定義了線程和主內存之間的抽象關係：線程之間的共享變量存儲在主內存（Main Memory）中，每個線程都有一個私有的本地內存（Local Memory），本地內存中存儲了該線程以讀/寫共享變量的副本。本地內存是JMM的一個抽象概念，並不真實存在。它涵蓋了緩存、寫緩衝區、寄存器以及其他的硬件和編譯器優化。
JMM通過控制主內存與每個線程的本地內存之間的交互，來爲Java程序員提供內存可見性保證。
