标签：java 变量 CAS Unsafe 原子 并发 线程 操作

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 类

标签：java,变量,CAS,Unsafe,原子,并发,线程,操作
来源： https://blog.csdn.net/u013887008/article/details/117899188

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。