CAS无锁机制

1、 背景

　　传统Synchronized锁：悲观，如果没有获取到锁的情况下，会让当前线程变为阻塞的状态，释放CPU执行权，效率非常低。

　　乐观锁（自旋）：本质上没有锁，没有死锁现象，而且效率比较高，不会释放CPU执行权，自旋并通过预值比较或版本号控制。

2、原理

　　CAS的英文全称是CompareAndSet，也就是比较然后修改，涉及到三个值，V、E和N，V是主内存的共享变量值，E是工作内存的副本值，N是修改内存的值。关于内存值的修改，有两种情况：第一种情况是比较V和E的值，如果相等，则对V进行修改；第二种情况是V和E不等，说明有线程已经修改过了，那就重新读取主内存的值，再做判断、修改。
V=内存值（主内存值）；E=预期值（工作内存值） ；N=新值（需要修改的值）
　　第一种情况：（V未被修改）
　　　　第一步：读取主内存值V，复制给E
　　　　第二步：判断V的值，如果V==E，说明共享变量的V没有被修改
　　　　第三步：将V的值改为N
　　第二种情况：（V被修改）
　　　　第一步：读取内存之V，复制给E
　　　　第二步：判断V的值，如果V!=E，说明别的线程修改了共享变量的V
　　　　第三步：重新读取主内存V的值给E
　　　　第四步：修改时再判断V的值是否等于E，如果不等，继续自旋，直至相等再将V的值修改为N。

　　注意：不可能有两个线程同时修改V的值，因为CAS底层通过指令控制了原子性。

3、应用场景

　　Java UNSAFE类
　　原子类 Atomic

4、利用CAS原子类方式实现一个锁

public class AtomicTryLock {

    /**
     * 定义AtomicInteger  修改为1表示该锁已经被使用该 修改为0表示为被使用
     */
    private volatile AtomicInteger atomicInteger = new AtomicInteger(0);
    private Thread lockCurrentThread;

    /**
     * 尝试获取锁
     *
     * @return
     */
    public boolean tryLock() {
        boolean result = atomicInteger.compareAndSet(0, 1);
        if (result) {
            lockCurrentThread = Thread.currentThread();
        }
        return result;
    }

    /**
     * 释放锁
     *
     * @return
     */
    public boolean unLock() {
        if (lockCurrentThread != null && lockCurrentThread != Thread.currentThread()) {
            return false;
        }
        return atomicInteger.compareAndSet(1, 0);
    }

    public static void main(String[] args) {
        AtomicTryLock atomicTryLock = new AtomicTryLock();
        IntStream.range(1, 10).forEach((i) -> new Thread(() -> {

            try {
                boolean result = atomicTryLock.tryLock();
                if (result) {
                    System.out.println(Thread.currentThread().getName() + ",获取锁成功~");
                } else {
                    System.out.println(Thread.currentThread().getName() + ",获取锁失败~");
                }
            } catch (Exception e) {
                e.printStackTrace();
                atomicTryLock.unLock();
            } finally {
                atomicTryLock.unLock();
            }

        }).start());
    }
}

5、如何解决CAS产生的ABA问题

5.1 什么是ABA问题

　　如果【线程1】将原来的值A,改为了B，【线程2】将B又改为了A 发现没有发生变化，实际上已经发生了变化，但是【线程3】修改时判断V值没有发生变化，这种现象为ABA。

5.2 解决办法

　　通过版本号码，对每个变量更新的版本号码做+1

来源：蚂蚁课堂（mayikt.com）