AtomicInteger线程安全的实现机制

java在concurrent包下提供了线程安全的int包装类，AtomicInteger，接下来我们就讲讲AtomicInteger的实现原理：

public class AtomicInteger extends Number implements java.io.Serializable {
    private volatile int value;

AtomicInteger 类中的value值被volatile修饰，正如我们所知道的，每个线程在执行时都会开辟一块内存，线程操作副本资源速度更快，而volatile修饰的变量是不能直接在线程内部操作，只能操作主存中的值，所以volatile保证了数据的可见性；

AtomicInteger 提供了get，set等常用方法，其中，新增了原子操作的addAndGet方法，接下来我们看一下他的实现原理，其他的原子操作方法实现原理亦是如此；

/**
     * Atomically adds the given value to the current value.
     *
     * @param delta the value to add
     * @return the updated value
     */
    public final int addAndGet(int delta) {
        return unsafe.getAndAddInt(this, valueOffset, delta) + delta;
    }

这里我们看到一个unsafe对象，这个是JVM提供的一个misc包下基础类，它包含了很多的本地方法；我们继续看getAndAddInt如何实现；

    public final int getAndAddInt(Object var1, long var2, int var4) {
        int var5;
        do {
            var5 = this.getIntVolatile(var1, var2);
        } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));

        return var5;
    }

这里我们可以看到，这里通过getIntVolatile方法获取到预期中的原值，然后调用compareAndSwapInt（也就是我们常说的CAS），这里传入的值分别为：要修改的对象，偏移量，预期的原值，修改以后的值；
而CAS底层是通过悬锁实现的，就不再深追了；
CAS的缺点:CAS存在ABA的问题，意思就是当A被修改为B时，B又被修改为A，CAS就回误以为该值没有被改变过；
JVM提供了AtomicStampedReference类，通过版本控制的原理，解决了ABA的问题；