Java內存模型JMM以及happens-before

java內存模型的抽象結構 在命令式編程中，線程之間的通信機制有兩種：共享內存和消息隊列。在共享內存的模型裏，線程之間共享程序的公共狀態，通過寫-讀內存中的公共狀態進行隱式通信。在消息傳遞的併發模型裏，線程之間並沒有公共狀態，線程之間必須通過發送消息來顯式進行通信。 在java中，所有的實例域、靜態域和數組元素都存儲。在堆內存中，堆內存在線程之間共享。（共享變量這個術語代指實例域、靜態域、和數組元

>>阅读原文<<