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的问题;