### 并發編程 在并發編程中，我們需要處理兩個關鍵問題：線程之間如何通信及線程之間如何同步（這里的線程是指并發執行的活動實體） * 線程通信 * 線程同步 ### 線程之間的通信 線程的通信是指線程之間以何種機制來交換信息。在命令式編程中，線程之間的通信機制有兩種共享內存和消息傳遞： * **共享內存**：在共享內存的并發模型里，線程之間共享程序的公共狀態，線程之間通過寫-讀內存中的公共狀態來隱式進行通信，典型的共享內存通信方式就是通過共享對象進行通信 * **消息傳遞**：在消息傳遞的并發模型里，線程之間沒有公共狀態，線程之間必須通過明確的發送消息來顯式進行通信，在java中典型的消息傳遞方式就是wait\(\)和notify\(\) ### 線程之間的同步 同步是指程序用于控制不同線程之間操作發生相對順序的機制。 在共享內存并發模型里，同步是顯式進行的。程序員必須顯式指定某個方法或某段代碼需要在線程之間互斥執行。 在消息傳遞的并發模型里，由于消息的發送必須在消息的接收之前，因此同步是隱式進行的 ### Java的并發采用的是共享內存模型 Java的并發采用的是共享內存模型，Java線程之間的通信總是隱式進行，整個通信過程對程序員完全透明。如果編寫多線程程序的Java程序員不理解隱式進行的線程之間通信的工作機制，很可能會遇到各種奇怪的內存可見性問題； ### Java內存模型的抽象結構 在Java中，所有實例域、靜態域和數組元素都存儲在堆內存中，堆內存在線程之間共享；局部變量（LocalVariables），方法定義參數（Java語言規范稱之為FormalMethodParameters）和異常處理器參數（ExceptionHandlerParameters）不會在線程之間共享，它們不會有內存可見性問題，也不受內存模型的影響； Java線程之間的通信由Java內存模型（本文簡稱為JMM）控制，JMM決定一個線程對共享變量的寫入何時對另一個線程可見。從抽象的角度來看，JMM定義了線程和主內存之間的抽象關系：線程之間的共享變量存儲在主內存（MainMemory）中，每個線程都有一個私有的本地內存（LocalMemory），本地內存中存儲了該線程以讀/寫共享變量的副本。本地內存是JMM的一個抽象概念，并不真實存在。它涵蓋了緩存、寫緩沖區、寄存器以及其他的硬件和編譯器優化；