1.Java線程間通信對程序員透明，但是其內存可見性問題會引發其他怪異的問題；
2.在並法編程中，需要考慮兩個關鍵問題：1.線程間如何通信 2.線程間如何同步
3.在命令式編程中，線程之間的通信有兩種：1.共享內存 2.消息傳遞
4.共享內存->線程之間共享程序的公共狀態，通過讀—寫該內存中公共狀態進行隱式通信
5.消息傳遞->線程之間沒有公共狀態，線程之間必須通過發送消息來顯示的通信；
6.同步是指控制不同線程間操作發生相對順序的機制，在共享內存並發模型中，是顯示進行的，程序員需要顯示的指定某個方法或代碼需要在線程之間互斥執行；而消息傳遞並發模型中，由於消息的發送必須在接受前，同步是隱式的...
7.Java采用的共享內存模型，但是Java線程間通信是隱式進行的，整個過程對程序員透明，故不了理解隱式的線程通信，會遇到內存可見性的問題...
8.Java線程間通信由Java內存模型(JMM)控制，JMM決定一個線程對共享變量的寫入何時對另一個線程可見...
9.JMM定義了線程和內存之間的抽象關系：線程之間的共享變量存儲在主內存(Main Memory)，每個線程都有一個私有的本地內存(Local Memory)，本地內存中存儲了該線程以讀、寫的變量副本;
10.其實本地內存是JMM抽象出來的一個概念，並不是實際存在的，它涵蓋了緩存、寫緩存區、寄存器和其他硬件和編譯器優化
11.線程A與線程B之間通信，需要經歷的兩個步驟:
a.線程A把本地內存A中更新過的共享變量刷新到主內存中；
b.線程B到主內存中去讀取線程A之前更新過的共享變量。
總結：線程A和B之間通信必須要經過主內存,JMM通過控制主內存和每個線程本地內存之間的交互，來問Java程序員提供內存可見性保證...
12.為提高性能，編譯器和處理器通常會對指令做出重排序，重排序又分為下面3種：
a.編譯器優化重排序，不改變單線程語義的前提下，可以重新安排語句的執行順序；
b.指令級並行的重排序，若不存在數據依賴性，處理器可以改變語句對應機器指令的執行順序；
c.內存系統的重排序，由於處理器使用緩存和讀/寫緩沖區，是的加載和存儲會發生亂序
總結：a是編譯器重排序，bc是處理器重排序，對於編譯器，JMM會禁止特定的編譯器重排序(例如：不存在數據依賴時)，JMM針對處理器重排序，使用插入特定類型的內存屏障(Memory Barriers)
13.常見處理器(x86處理器)只會對Store-Load(Store1先把數據刷新到內存，然後在執行後面的裝在指令...)重排序，ARM架構比較奇怪，可能支持Load-Load、Load-Store、Store-Store；
14.happens-before->JSR-133使用該概念來闡述操作之間的內存可見性；
15.happens-before規則：
a.程序順序規則：一個線程每個操作，happens-before於該線程之後進行其他操作
b.監視器鎖規則：一個鎖的解鎖，happens-before與隨後對這個鎖再加鎖；
c.volatile變量規則：一個volatile域的寫，happens-before於任意後序對這個volatile域發生讀操作
d.傳遞性：A happens-before B，B happens-before C => A happens-before C；
總結：happens-before就是展示給程序員理解JMM底層重排序的一種規則...
16.as-if-serial->不管怎麼重排，單線程程序的執行結果不能被改變...as-if-serial就是把單線程程序保護了起來
