装饰公司网站建设流程,平安车险官方保险网站,wordpress无法批量管理,网站加后台目录 1. CAS 的执行流程
2. CAS 中的 ABA 问题
3. 如何解决 CAS 中的 ABA 问题
4.CAS 在Java 中的实现类有哪些 1. CAS 的执行流程
CAS 比较并替换的大致流程是这样的#xff1a;
它有三个操作单位#xff1a;V#xff08;内存值#xff09;#xff0c;A#xff08;…目录 1. CAS 的执行流程
2. CAS 中的 ABA 问题
3. 如何解决 CAS 中的 ABA 问题
4.CAS 在Java 中的实现类有哪些 1. CAS 的执行流程
CAS 比较并替换的大致流程是这样的
它有三个操作单位V内存值A预期的旧值B新值比较 V 的值和 A 的值是否相等如果相等的话则将 V 的值替换成 B否则就提示用户修改失败。
正常情况没有其他线程修改内存值 特殊情况有其他线程干扰修改值 2. CAS 中的 ABA 问题 什么是 ABA 问题呢 对于上图中的有其他线程修改内存值的情况当线程 1 在执行 CAS 之前如果有两个线程过来修改内存中的值了线程 2 将原来的值给修改了线程 3 又把内存的值给改回来了这个时候线程 1 再去执行 CAS 就会出问题这个就是 ABA 问题。
【举个例子
比如说张三原来账上有 200 元此时张三需要给李四转账 100 元如果在转账的时候不小心点了两次提交那么此时就会执行两次 CAS。
① 正常情况下没有其他人给我转账的时候
第一次 CAS :
A旧值200B新值100V内存值200
比较 V 和 A 的值相等张三 - 100 元李四 100 元扣款成功张三余额 100 元
第二次 CAS
A旧值200B新值100V内存值100
比较 V 和 A 的值不相等不能进行扣款操作扣款失败张三余额 100 元
② ABA 情况转账途中有第三方介入
第一次 CAS :
A旧值200B新值100V内存值200
比较 V 和 A 的值相等张三 - 100 元李四 100 元扣款成功张三余额 100 元
在第二次 CAS 之前此时张三的哥们王五刚好还了张三 100 元此时 V内存值被改为了 200也就是说张三此时账上的余额又变回了 200。
第二次 CAS
A旧值200B新值100V内存值200
比较 V 和 A 的值相等张三 - 100 元李四 100 元扣款成功张三余额 100 元
上述有第三方介入的情况原本张三在转账 100 元之后账户上应该还剩 20 元的最终却只剩 100 元了这就是 CAS 的 ABA 问题。
3. 如何解决 CAS 中的 ABA 问题
常见的办法就是引入版本号version
还是上述转账的例子只不过这次给每个线程的操作都加上新的版本号 ① 线程一张三获取原内存值 200_version_1 比较 V 和 A相等扣款成功然后将内存值修改为 100_version_2。 ② 线程三王五获取原内存值 100_version_2比较 V 和 A相等转账成功然后将内存值修改为 200_version_3。 ③ 线程二张三获取原内存值 200_version_3比较 V 和 A200_version_1不相等扣款失败退出修改。 此时张三账户上余额为 200这才是合理的。
4.CAS 在Java 中的实现类有哪些
Java 中提供的 AtomicXXX 类都是 CAS 的具体实现。例如AtomicIntegerAtomicLong 等等。
AtomicInteger 的底层源码 【面试问题】
① 此时面试官可能会问Java 提供的 AtomicInteger 是否存在 ABA 问题
答案是存在因为 AtomicInteger 没有引入版本号。
② 面试官接着问那如何解决 AtomicInteger 的 ABA 问题
使用 Atomic 家族的 AtomicStampedReference 类它在使用的时候必须指定一个版本号并且它的对象在调用 CAS 的方法时它需要设置 4 个参数分别是
旧值 A新值 B当前版本执行修改后的版本号
所以使用这个类可以解决 ABA 问题。
AtomicStampedReferenceInteger as new AtomicStampedReference(100,1);
as.compareAndSet(200,100,1,2); // 旧值,新值,当前版本号,修改后的版本号
