第12章 Java內存模型與線程

Java內存模型

　　主內存與工作內存：

　　　　java內存模型規定了所有的變量都在主內存中，每條線程還有自己的工作內存。

　　　　工作內存中保存了該線程使用的主內存副本拷貝，線程對變量的所有操作都必須在工作內存中進行。

　　內存間交互操作：

　　　　1 lock 作用于主內存的變量，它把一個變量標識為一個線程獨占的狀態。

　　　　2 unlock 作用于主內存的變量，把鎖定的變量釋放出來

　　　　3 read 作用于工作內存的變量，把一個變量的值從主內存傳輸到線程的工作內存中。

　　　　4 load 作用于工作內存的變量，它把read操作從主內存中得到的變量值放入工作內存的變量副本中

　　　　5 use 作用于工作內存的變量 把工作內存中一個變量的值傳遞給執行引擎

　　　　6 assign 作用于工作內存的變量， 把一個從執行引擎收到的值賦給工作內存的變量

　　　　7 store 作用天工作內存的變量，把工作內存中一個變量的值傳送到主內存中。

　　　　8 write 作用于主內存的變量，把store操作從工作內存中得到的變量的值放入主內存中

　　當一個變量定義為volatile后，它將具備兩種特性

　　　　1 保證此變量對所有線程的可見性，對于非原子性的操作，仍然不是線程安全的。

　　　　2 禁止指令重排序優化。

　　原子性、可見性與有序性

　　先行先發原則

Java線程的狀態轉換

　　新建 New 創建后沿未啟動的純種處于這種狀態

　　運行 Runnable 包括了操作系統線程狀態中的Running和Ready，處于此狀態的線程有可能正在執行，也有可能正在等等著CPU為它分配執行時間

　　無限期等待 Waiting 處于這種狀態的線程不會被分配CPU執行時間，它們要等待被其它線程顯式地喚醒：沒有設置Timeout參數的Object.wait()方法；沒有設置Timeout參數的Thread.join()方法；LockSupport.park()方法

　　限期等待 Timed Waiting 處于這種狀態的線程也不會被分配CPU執行時間，不過無須等待被期它線程顯式地喚醒，在一定時間后它們會由系統自動喚醒： Thread.sleep()方法；設置了Timeout參數的Object.wait()方法；設置了Thimeout參數的Thread.join()方法；LockSupport.parkNanos()方法；LockSuport.parkUnitl()方法

　　阻塞 Blocked 等待著獲取到一個排他鎖

　　結束 Terminated 已終止線程的線程狀態