CAS的ABA问题，ABA问题会导致什么后果？

ABA问题会导致什么后果？（以下为转载）

https://blog.csdn.net/wufaliang003/article/details/78797203

一、并发业务场景

库存业务，stock(sid, num)，其中：

sid为库存id

num为库存值

如上图所示，两个并发的查询库存操作，同时从数据库都得到了库存是5。

接下来用户发生了并发的库存扣减动作：

用户1购买了3个库存，于是库存要设置为2

用户2购买了2个库存，于是库存要设置为3

这两个设置库存的接口并发执行，库存会先变成2，再变成3，导致数据不一致（实际卖出了5件商品，但库存只扣减了2，最后一次设置库存会覆盖和掩盖前一次并发操作）

二、不一致原因分析

出现数据不一致的根本原因，是设置操作发生的时候，没有检查库存与查询出来的库存有没有变化，理论上：

仅库存为5的时候，用户1的库存设置2才能成功

仅库存为5的时候，用户2的库存设置3才能成功

实际执行的时候：

库存为5，用户1的set stock 2确实应该成功

库存变为2了，用户2的set stock 3应该失败掉

三、CAS优化

大家常说的“Compare And Set”（CAS），是一种常见的降低读写锁冲突，保证数据一致性的乐观锁机制。

针对上述库存扣减的例子，CAS升级很容易，将库存设置接口执行的SQL：

update stock set num=$num_new where sid=$sid

升级为：

update stock set num=$num_new where sid=$sid and num=$num_old

即可。

四、什么是ABA问题

CAS乐观锁机制确实能够提升吞吐，并保证一致性，但在极端情况下可能会出现ABA问题。

什么是ABA问题？

考虑如下操作：

并发1（上）：获取出数据的初始值是A，后续计划实施CAS乐观锁，期望数据仍是A的时候，修改才能成功

并发2：将数据修改成B

并发3：将数据修改回A

并发1（下）：CAS乐观锁，检测发现初始值还是A，进行数据修改

上述并发环境下，并发1在修改数据时，虽然还是A，但已经不是初始条件的A了，中间发生了A变B，B又变A的变化，此A已经非彼A，数据却成功修改，可能导致错误，这就是CAS引发的所谓的ABA问题。

库存操作，出现ABA问题并不会对业务产生影响。

再看一个堆栈操作的例子：

并发1（上）：读取栈顶的元素为“A1”

并发2：进行了2次出栈

并发3：又进行了1次出栈

并发1（下）：实施CAS乐观锁，发现栈顶还是“A1”，于是修改为A2

此时会出现系统错误，因为此“A1”非彼“A1”

五、ABA问题的优化

ABA问题导致的原因，是CAS过程中只简单进行了“值”的校验，再有些情况下，“值”相同不会引入错误的业务逻辑（例如库存），有些情况下，“值”虽然相同，却已经不是原来的数据了。

优化方向：CAS不能只比对“值”，还必须确保的是原来的数据，才能修改成功。

常见实践：“版本号”的比对，一个数据一个版本，版本变化，即使值相同，也不应该修改成功。

库存的并发读写例子，引入版本号的具体实践如下：

（1）库存表由

stock(sid, num)

升级为

stock(sid, num, version)

（2）查询库存时同时查询版本号

select num from stock where sid=$sid

升级为

select num, version from stock where sid=$sid

假设有并发操作，都会将版本号查询出来

（3）设置库存时，必须版本号相同，并且版本号要修改

旧版本“值”比对CAS

update stock set num=$num_new where sid=$sid and num=$num_old

升级为“版本号”比对CAS

update stock set num=$num_new, version=$version_new

where sid=$sid and version=$version_old

此时假设有并发操作，第一个操作，比对版本号成功，于是把库存和版本号都进行了修改。

同时存在的第二个并发操作，比对版本号发生了变化，也是库存应该修改失败。

六、总结

select&set业务场景，在并发时会出现一致性问题

基于“值”的CAS乐观锁，可能导致ABA问题

CAS乐观锁，必须保证修改时的“此数据”就是“彼数据”，应该由“值”比对，优化为“版本号”比对

CAS的ABA问题，ABA问题会导致什么后果？相关推荐

CAS是什么？ABA问题的产生和解决方法
CAS是什么? 比较并交换(compare and swap)是一条CPU并发原语功能判断内存中某个位置的值是否为预期值,如果是则更改为新的值,这个过程是原子的,中间不予许中断,解决数据一致性问题 ...
CAS 乐观锁和ABA问题
CAS====>Compare-And-Swap 如果主物理内存的值跟线程期望值一样,就修改为我的更新值,不一样,就失败,需要重新获取主物理内存的值底层基于usafe,而这个类是rt.jar包 ...
CAS原理分析及ABA问题详解
什么是CAS? CAS(Compare-and-Swap,比较并替换),CAS需要有3个操作数: 内存地址V,旧的预期值A,新值B; 其作用是当且仅当内存地址V的值与预期值A相等时,将内存地址V的值修 ...
CAS操作产生的ABA问题
CAS操作产生的ABA问题一:什么是ABA问题两个线程操作同一个账户时的场景.当线程1取钱时,先读取余额为100,随后通过CAS操作进行比较.然后,可能由于某些原因,线程1可能发生阻塞.与此同时, ...
软件版本和实际有出入导致的后果_软件缺陷导致严重后果的典型案例
软件缺陷导致严重后果的典型案例用户为了保证自己业务的顺利完成, 当然希望选用优质的软件. 质量不佳的软件产品不仅会使开发商的维护费用和用户的使用成本大幅度增加, 还可能产生其他的责任风险, 造成 ...
详解各种锁：CAS、共享锁、排它锁、互斥锁、悲观锁、乐观锁、行级锁、表级锁、页级锁、死锁、JAVA对CAS的支持、ABA问题、AQS原理
共享锁(S锁) 又称为读锁,可以查看但无法修改和删除的一种数据锁.如果事务T对数据A加上共享锁后,则其他事务只能对A再加共享锁,不能加排它锁.获准共享锁的事务只能读数据,不能修改数据. 共享锁下其它用 ...
CAS(乐观锁)以及ABA问题
独占锁是一种悲观锁,synchronized就是一种独占锁:它假设最坏的情况,并且只有在确保其它线程不会造成干扰的情况下执行,会导致其它所有需要锁的线程挂起直到持有锁的线程释放锁. 所谓乐观锁就是每次 ...
JUC04-- CAS自旋、CAS自旋锁、ABA问题及解决办法、18大原子类
文章目录 JUC04 课程任务概览 CAS CAS原理简介 CAS发展: CAS是什么? CAS原理: CAS优点: **CAS底层实现-引出Unsafe类** ==CAS自旋实现个人总结== Ato ...
CAS详解及ABA问题的解决
序言由于最近项目上遇到了高并发问题,而自己对高并发,多线程这里的知识点相对薄弱,尤其是基础,所以想系统的学习一下,以后可能会出一系列的JUC文章及总结 ,同时也为企业级的高并发项目做好准备. 本文是 ...

CAS的ABA问题，ABA问题会导致什么后果？

ABA问题会导致什么后果？（以下为转载）

CAS的ABA问题，ABA问题会导致什么后果？相关推荐

最新文章

热门文章