1.ABA問題
因為CAS需要在操作值的時候，檢查值有沒有發(fā)生變化，如果沒有發(fā)生變化則更新，但是如果一個值原來是A，變成了B，又變成了A，那么CAS進行檢查的時候發(fā)現(xiàn)它的值沒有發(fā)生變化，但是實際上卻變化了。ABA問題的解決思路就是使用版本號。在變量前面加上版本號，每次變量更新的時候把版本號加1，那么A->B->A就會變成1A->2B->3A。從Java 1.5開始，JDK的Atomic包里提供了一個類AtomicStampedReference來解決ABA問題。這個類的compareAndSet方法的作用是首先檢查當前引用是否等于預期引用，并且檢查當前的標志是否等于預期標志，如果全部相等，則以原子方式將該應用和該標志的值設置為給定的更新值。
2.循環(huán)時間長開銷大
自旋CAS如果長時間不成功，會給CPU帶來非常大的執(zhí)行開銷，如果JVM能支持處理器提供的pause指令，那么效率會有一定的提升。pause指令有兩個作用：第一，它可以延遲流水線執(zhí)行指令（de-pipeline），使CPU不會消耗過多的執(zhí)行資源，延遲的時間取決于具體實現(xiàn)的版本，在一些處理器上延遲時間是零；第二，它可以避免在循環(huán)的時候因內(nèi)存順序沖突（Memory Order Violation）而引起CPU流水線被清空，從而提高CPU的實行效率。
3.只能保證一個共享變量的原子操作
當對一個共享變量執(zhí)行操作時，我們可以使用循環(huán)CAS的方式來保證原子操作，但是對多個共享變量操作時，循環(huán)CAS就無法保證操作的原子性，這個時候可以用鎖。還有一個取巧的辦法，就是把多個共享變量合并成一個共享變量來操作。比如，有兩個共享變量i=2,j=a,合并一下ji=2a,然后用CAS來操作ij。從Java 1.5開始，JDK提供了AtomicReference類來保證引用對象之前的原子性，就可以把多個變量放在一個對象里來進行CAS操作。
