Java在concurrent包下提供了线程安全的int包装类,AtomicInteger,接下来我们就讲讲AtomicInteger的实现原理:
- 1
- 2
- 1
- 2
AtomicInteger 类中的value值被volatile修饰,正如我们所知道的,每个线程在执行时都会开辟一块内存,线程操作副本资源速度更快,而volatile修饰的变量是不能直接在线程内部操作,只能操作主存中的值,所以volatile保证了数据的可见性;
AtomicInteger 提供了get,set等常用方法,其中,新增了原子操作的addAndGet方法,接下来我们看一下他的实现原理,其他的原子操作方法实现原理亦是如此;
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
这里我们看到一个unsafe对象,这个是JVM提供的一个misc包下基础类,它包含了很多的本地方法;我们继续看getAndAddInt如何实现;
- 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的问题;