一 概述
1.volatile
保證共享資料一旦被修改就會立即同步到共享記憶體（堆或者方法區）中。
2.執行緒訪問堆中資料的過程
執行緒在棧中建立一個資料的副本，修改完畢後將資料同步到堆中。
3.指令重排
為了提高執行效率，CPU會將沒有依賴關係的指令重新排序。如果希望控制重新排序，可以使用volatile修飾一個變數，包含該變數的指令前後的指令各自獨立排序，前後指令不能交叉排序。
二 常見問題及應對
1.原子性問題
所謂原子性，指的是一個操作不可中斷，即在多執行緒併發的環境下，一個操作一旦開始，就會在同一個CPU時間片內執行完畢。如果同一個執行緒的多個操作在不同的CPU時間片上執行，由於中間出現停滯，後面的操作在執行時可能某個共享資料被其他執行緒修改，而該修改並未同步到當前執行緒中，導致當前執行緒操作的資料與實際不符，這種由於執行不連貫導致的資料不一致問題被稱作原子性問題。
2.可見性問題
可見性問題的出現與執行緒訪問共享資料的方式有關。執行緒訪問堆（方法區）中的變數時，先在棧中建立一個變數的副本，修改後再同步到堆中。如果一個執行緒剛建立副本，這時另一執行緒修改了變數，尚未同步到堆中，這時就會出現兩個執行緒操作同一變數的同一種狀態的現象，比如i=9，變數i的初始值為9，每一個執行緒的操作都是減1。兩個執行緒A與B同時訪問變數，B先執行i-1,在將結果i=8同步到堆中前，A執行緒也執行i-1，這時i=9的狀態就被執行兩次，出現執行緒安全問題。
執行緒安全問題產生的原因：一個執行緒對共享資料的修改不能立即為其他執行緒所見。
volatile提供了一種解決方案：
一旦一個執行緒修改了被volatile修飾的共享資料，這種修改就會立即同步到堆中，這樣其他資料從堆中訪問共享資料時始終獲得的是在多個執行緒中的最新值。
volatile的缺陷：
volatile只能保證一個執行緒從堆中獲取資料時獲取的是當前所有執行緒中的最新值，假如一個執行緒已經從堆中複製了資料，在操作完成前，其他執行緒修改了資料，修改後的資料並不會同步到當前執行緒中。
3.有序性問題
為了提高執行效率，CPU會對那些沒有依賴關係的指令重新排序，重新排序後的執行結果與順序執行結果相同。
例如，在原始碼中：
int i=0; int y=1;
CPU在執行時可能先執行“int y=1;”，接著執行“int i=0;”，執行結果與順序執行結果相同。
指令重排在單執行緒環境下是安全的，在多執行緒環境下就可能出現問題。比如：
執行緒A:
s=new String("sssss");//指令1 flag=false;//指令2
執行緒B:
while(flag){ doSome(); } s.toUpperCase();//指令3
如果執行緒A順序執行，即執行指令1，再執行指令2，執行緒B的執行不會出現問題。指令重排後，假如執行緒A先執行指令2，這時flag=true，切換到執行緒2，終止迴圈，執行指令3，由於s物件尚未建立就會出現空指標異常。
有序性問題產生的原因：
一個執行緒對其他執行緒對共享資料的修改操作有順序要求，比如執行緒B要求執行緒A先執行指令1，再執行指令2，由於指令重排，實際並未按照要求的順序執行，這時就出現了執行緒安全問題。
解決思路：
- 利用同步機制，使得同一時間只有一個執行緒可以訪問共享資料，效率低。
- 使用volatile，一個指令包含volatile修飾的變數，那麼這條指令的執行順序不變，該指令前後的指令可以各自獨立重排，無法交叉重排。
參考：
http://www.cnblogs.com/aigongsi/archive/2012/04/01/2429166.html