java并发 - CAS

java并发 - CAS

CAS 即 Compa re and Swap ,其是 JDK 提供的非阻塞原子性操作 , 它通过硬件保证了比较-更新操作的原子性

原理

CAS 实现的机制就是 使用Unsafe

  • boolean compareAndSwapLong(Object obj ,long valueOffset,long expect, long update)方
    法 : 其中 compareAndSwap 的意 思 是 比 较并交换。 CAS 有四 个操作数 , 分别为 : 对
    象内存位置 、 对象中 的 变量的偏移量 、 变量预期值和新的值 。 其操作含义是 , 如果
    对象 obj 中内存偏移量为 valueOffset 的 变量值为 expect ,则 使用新 的 值 update 替换
    旧的 值 expect

CAS问题

ABA问题

假 如 线程 I 使用 CAS 修改初始值为 A 的变量 X , 那么线程 I 会首先去获取当前变量 X 的值(为 A 〕 , 然后使用 CAS 操作尝试修改 X 的 值为 B , 如 果使 用 CAS 操作成 功 了 , 那 么程序运 行 一 定是正确的 吗 ?其实未必,这是因为有可能在线程 I 获取变 量 X 的值 A 后,在执行 CAS 前,线程 II 使用 CAS 修改了 变量 X 的 值 为 B ,然后又使 用 CAS 修改 了 变量 X 的 值为 A 。 所以 虽然线程 I 执行 CAS时 X 的值是 A , 但是这个 A 己经不是线程 I 获取 时 的 A 了

如何解决ABA问题

使用 AtomicStampedReference可以解决

循环时间长开销大

自旋CAS如果长时间不成功,会给CPU带来非常大的执行开销

只能保证一个共享变量的原子操作

当对一个共享变量执行操作时,可以使用自旋CAS的方式来保证原子操作,但是对多个共享变量操作时,自旋CAS就无法保证操作的原子性从Java1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性,可以把多个变量放在一个对象里来进行CAS操作

Unsafe 类

JDK 的此jar 包中 的 Unsafe 类提供了 硬件级 别的 原子性操作 , Un s afe 类中的方法都是native 方法

一般情况我们是使用不了 Unsafe 类的,因为Unsafe 类在rt.jar包中, rt.jar 包里面的类是使用 Bootstrap 类 加载器加载的,而我们的启动 main 函数所在 的 类是使用AppClassLoader 加 载 的,所以在 main 函数 里 面加载 Unsafe 类 时伞,根据 委 托机制, 会委 托给 Bootstrap 去加载 Unsafe 类

上一篇:第七节:并发编程之Atomic&Unsafe魔法类详解-杨过


下一篇:Java安全之Unsafe类