AtomicInteger线程安全的实现机制

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

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

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; } 12345678910 12345678910

这里我们看到一个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; } 123456789 123456789

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