一、什么是CAS
CAS的全称是 compare and swap,适用于并发的场景,CAS就是当前线程认为V的值应该是A,如果是的话当前线程就给他改成B,如果不是A(说明被别人修改过了),那我就不修改了,避免多人同时修改导致出错
CAS有三个操作数:内存值V,预期值A,要修改的值B,当且仅当预期值A和内存值相同时,才将内存值修改为B,否则什么都不做最后返回现在的V值。
二、应用场景
- 乐观锁
- 并发容器
三、原子类是如何利用CAS
- AtomicInteger 加载UnSafe工具,用来直接操作内存数据
- 用Unsafe来实现底层操作
- 用volatile修饰value字段,保证可见性
四、Unsafe类
- Unsafe是CAS的核心类,java无法直接访问底层操作系统而是通过本地(native)方法来访问。不过尽管如此,JVM还是开了一个后门,JDK中有一个类Unsafe,它提供了硬件级别的原子操作
- valueOffset表示的是变量值在内存中的偏移地址,因为Unsafe就是根军内存偏移地址获取数据的原值的,这样我们就能通过unsafe来实现CAS
- Unsafe类中的compareAndSwapInt方法中先想办法拿到变量的value在内存中的地址
- 通过 Atomic::cmpxchg实现原子性的比较和替换,其中参数x是即将更新的值,参数e是原内存的值,最终完成了CAS的全过程
五、CAS缺点
- ABA问题
- 自旋时间过长