Java 的原子类都存放在并发包 java.util.concurrent.atomic 下,如下图:
基本类型
● 使用原子的方式更新基本类型
● AtomicInteger:整型原子类
● AtomicLong:长整型原子类
● AtomicBoolean:布尔型原子类
数组类型
● 使用原子的方式更新数组里的某个元素
● AtomicIntegerArray:整形数组原子类
● AtomicLongArray:长整形数组原子类
● AtomicReferenceArray:引用类型数组原子类
引用类型
● AtomicReference:引用类型原子类
● AtomicStampedReference:原子更新引用类型里的字段原子类
● AtomicMarkableReference :原子更新带有标记位的引用类型
● AtomicIntegerFieldUpdater:原子更新整形字段的更新器
● AtomicLongFieldUpdater:原子更新长整形字段的更新器
● AtomicStampedReference:原子更新带有版本号的引用类型。该类将整数值与引用关联起来,可用于解决原子的更新数据和数据的版本号,以及解决使用 CAS 进 行原子更新时可能出现的 ABA 问题
1. AtomicInteger 类利用
CAS (Compare and Swap) + volatile + native + 自
旋
方法来保证原子操作,从而避免 synchronized 的高开销,执行效率大为提升。
2. CAS 的原理,
是拿期望值和原本的值作比较,如果相同,则更新成新的值
。
简单介绍一下CAS(compareAndSwap),是一种无锁原子算法,映射到操作系统就是一条CPU的原子指令,其作用是让CPU先进行比较两个值是否相等,然后原子地更新某个位置的值,其实现方式是基于硬件平台的汇编指令,在intel的CPU中,使用的是cmpxchg指令,就是说CAS是靠硬件实现的,从而在硬件层面提升效率。
执行过程是这样:它包含3个参数 CAS(V,E,N),V表示要更新变量的值,E表示预期值,N表示新值。仅当 V值等于E值时,才会将V的值设为N,如果V值和E值不同,则说明已经有其他线程完成更新,则当前线程则什么都不做,最后CAS 返回当前V的真实值。
当多个线程同时使用CAS 操作一个变量时,最多只有一个会胜出,并成功更新,其余均会失败。失败的线程不会挂起,仅是被告知失败,并且允许再次尝试(自旋),当然也允许实现的线程放弃操作。基于这样的原理,CAS 操作即使没有锁,也可以避免其他线程对当前线程的干扰。
与锁相比,使用CAS会使程序看起来更加复杂一些,但是使用无锁的方式完全没有锁竞争带来的线程间频繁调度的开销和阻塞,它对死锁问题天生免疫,因此他要比基于锁的方式拥有更优越的性能。
简单的说,CAS 需要你额外给出一个期望值,也就是你认为这个变量现在应该是什么样子的。如果变量不是你想象的那样,说明它已经被别人修改过了,你就需要重新读取,再次尝试修改就好了。
执行过程是这样:它包含3个参数 CAS(V,E,N),V表示要更新变量的值,E表示预期值,N表示新值。仅当 V值等于E值时,才会将V的值设为N,如果V值和E值不同,则说明已经有其他线程完成更新,则当前线程则什么都不做,最后CAS 返回当前V的真实值。
当多个线程同时使用CAS 操作一个变量时,最多只有一个会胜出,并成功更新,其余均会失败。失败的线程不会挂起,仅是被告知失败,并且允许再次尝试(自旋),当然也允许实现的线程放弃操作。基于这样的原理,CAS 操作即使没有锁,也可以避免其他线程对当前线程的干扰。
与锁相比,使用CAS会使程序看起来更加复杂一些,但是使用无锁的方式完全没有锁竞争带来的线程间频繁调度的开销和阻塞,它对死锁问题天生免疫,因此他要比基于锁的方式拥有更优越的性能。
简单的说,CAS 需要你额外给出一个期望值,也就是你认为这个变量现在应该是什么样子的。如果变量不是你想象的那样,说明它已经被别人修改过了,你就需要重新读取,再次尝试修改就好了。
UnSafe 类的 objectFieldOffset() 方法是个本地方法,这个方法是用来拿“原值”的内存地址,返回值是 valueOffset;另外,value 是一个 volatile 变量,因此 JVM 总是可以保证任意时刻的任何线程总能拿到该变量的最新值。