CAS ABA问题解决

CAS（compare and swep）比较然后交换

通常需要三个参数，一个是预期值，一个是当前值，一个是替换值

逻辑是 当 预期值 与 当前值 相等时，替换值进行替换，同时返回true。

ABA问题

因为CAS需要在操作值的时候，检查值有没有发生变化，如果没有发生变化则更新，但是如果一个值原来是A，变成了B，又变成了A，那么CAS进行检查时会发现它的值没有发生变化，但是实际上已经发生了变化。

譬如

 对于这个问题Atomic包里面自带的AtomicStampedReference类能够解决这个问题，解决思路就是对于一个值设置一个版本号，更改一次改变一次，进行CAS时不光需要核对Value还要核对版本号。

代码：

package thread;

import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicStampedReference;

/**
 * 解决ABA问题，atomic包里面自带的AtomicStampedReference类
 */
public class AtomicStampedReferenceDemo {
    public static AtomicStampedReference<Integer> atomicStampedReference =
            new AtomicStampedReference<Integer>(100,0);

    public static void main(String[] args) {
        Thread intT1 = new Thread(new Runnable() {

            @Override
            public void run() {
                try {
                    TimeUnit.SECONDS.sleep(1);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                atomicStampedReference.compareAndSet(100,101,
                        atomicStampedReference.getStamp(),
                        atomicStampedReference.getStamp() + 1);
                atomicStampedReference.compareAndSet(101,100,
                        atomicStampedReference.getStamp(),
                        atomicStampedReference.getStamp() + 1);
            }
        });
        Thread intT2 = new Thread(new Runnable() {

            @Override
            public void run() {
                int stamp = atomicStampedReference.getStamp();
                System.out.println(stamp);//0
                try {
                    //相当于Thread.sleep,能够自定义单位
                    TimeUnit.SECONDS.sleep(2);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                Boolean b = atomicStampedReference.compareAndSet(100, 101,
                       stamp,
                        stamp + 1);
                System.out.println(b);//false
                System.out.println(atomicStampedReference.getReference());//100
            }
        });


        intT1.start();
        intT2.start();
    }

}