AtomicInteger线程安全的实现机制

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

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

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;    }
1
2
3
4
5
6
7
8
9
10
1
2
3
4
5
6
7
8
9
10

这里我们看到一个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;    }
1
2
3
4
5
6
7
8
9
1
2
3
4
5
6
7
8
9

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