乐观锁的底层实现以及如何解决ABA问题

梦里梦外; 2024-05-06 09:49 5阅读 0赞

### 什么是乐观锁？乐观锁底层是如何实现的？ ###

**乐观锁**是一种并发控制的策略。在操作数据的时候，线程读取数据的时候不会进行加锁，先去查询原值，操作的时候比较原来的值，看一下是都被其他线程修改，如果没有修改则写回，否则就重新执行读取流程

**悲观锁**（底层是synchronized和ReentrantLock）就是考虑事情比较悲观，认为在访问共享资源的时候发生冲突的概率比较高，所以每次访问前线程都需要加锁

乐观锁底层是通过CAS机制实现的，CAS机制包含三个组件：内存地址V、预期值A和新值B

CAS的操作过程如下：

1.  比较内存地址V中的值是否与预期值A相等
2.  如果相等，将内存地址V的值改成新值B
3.  如果不相等，表示预期值A和实际值不匹配，操作失败

但是CAS并不完美，如果数据值一直发生改变，那么CAS会一直自旋，CPU会有巨大开销，而且CAS会有一个经典问题ABA问题

### 什么是ABA问题？如何解决ABA问题？ ###

![7bc5817097ad4009b3887d650e1560a8.png][]

我们捋顺一下这张流程图：

1.  线程一读取了数据A
2.  线程二读取了数据A
3.  线程二通过CAS比较，发现数据A是没错的，修改数据A为B
4.  线程三读取数据B
5.  线程三通过CAS比较，发现数据B是没错的，修改数据B为A
6.  线程一通过CAS比较，发现数据A是没错的，修改数据A为B

这个过程中任何线程都没有做错什么，但是值被改变了，线程一却没有办法发现，其实**这样得情况出现对结果是没有任何影响**的，但是我们要做到规范，所以**如何防止ABA问题呢？**

**加标志位**：搞一个自增的字段，操作一次就自增一次

例如：我们需要操作数据库，根据CAS的原则我们本来只需要查询原本值就可以，现在我们一同查出他们的标志位版本字段version

只查询原本值不能防止ABA

update table set value = newValue where value = #{oldValue}

加上标志位version

update table set value = newValue ，version = version + 1 where value = #{oldValue} and vision = #{vision} 
    // 判断原来的值和版本号是否匹配，中间有别的线程修改，值可能相等，但是版本号100%不一样

[7bc5817097ad4009b3887d650e1560a8.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/05/06/94ed30657d044007b8de115d776d9f5b.png

发表评论取消回复

表情：

评论列表（有 0 条评论，5人围观）

还没有评论，来说两句吧...

相关阅读

相关乐观锁的底层实现以及如何解决ABA问题

乐观锁是一种并发控制的策略。在操作数据的时候，线程读取数据的时候不会进行加锁，先去查询原值，操作的时候比较原来的值，看一下是都被其他线程修改，如果没有修改则写回，否则就重...

梦里梦外;/ 2024年05月06日 09:49/ 0 赞/ 6 阅读

相关【mybatis-plus】什么是乐观锁？如何实现“乐观锁”

“乐观锁”这个词以前我也没听过。上次在测试需求的时候，查询数据库发现有一个version字段，于是请教开发这个字干嘛使，人家回复我:乐观锁，结局并发更新用的。当时大家都忙，

小鱼儿/ 2023年01月01日 01:57/ 0 赞/ 105 阅读

相关乐观锁与悲观锁——解决并发问题

引言为什么需要锁（并发控制）？　　在多用户环境中，在同一时间可能会有多个用户更新相同的记录，这会产生冲突。这就是著名的并发性问题。典型的冲突有：丢失更新：

「爱情、让人受尽委屈。」/ 2022年06月18日 08:07/ 0 赞/ 163 阅读

相关如何解决AtomicInteger的ABA的问题

AtomicInteger 与 ABA 问题。 java.util.concurrent.atomic 包下 AtomicBoolean、 AtomicInteger 、At

迷南。/ 2022年05月18日 00:57/ 0 赞/ 166 阅读

相关 Java并发问题--乐观锁与悲观锁以及乐观锁的一种实现方式-CAS

转载自：[https://www.cnblogs.com/qjjazry/p/6581568.html][https_www.cnblogs.com_qjjazry_p_658

一时失言乱红尘/ 2022年05月17日 05:30/ 0 赞/ 166 阅读

相关 CAS(乐观锁)以及ABA问题

独占锁是一种悲观锁，synchronized就是一种独占锁；它假设最坏的情况，并且只有在确保其它线程不会造成干扰的情况下执行，会导致其它所有需要锁的线程挂起直到持有锁的线程释放

谁借莪１个温暖的怀抱￠/ 2022年03月02日 02:39/ 0 赞/ 206 阅读

相关 Java并发问题--乐观锁与悲观锁以及乐观锁的一种实现方式-CAS

首先介绍一些乐观锁与悲观锁: 　　悲观锁：总是假设最坏的情况，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会阻塞直到它拿到锁。传

电玩女神/ 2022年02月02日 12:21/ 0 赞/ 192 阅读

相关乐观锁和悲观锁--解决并发问题

[https://www.cnblogs.com/0201zcr/p/4782283.html][https_www.cnblogs.com_0201zcr_p_4782283

朱雀/ 2022年01月30日 07:45/ 0 赞/ 212 阅读

相关 CAS的ABA问题以及解决方法（AtomicStampedReference）

> CAS会导致“ABA问题”。 > > 如果一个变量V初次读取的时候是A值，并且在准备赋值的时候检查到它仍然是A值，那我们就能说明它的值没有被其他线程修改过了吗？很明显是不

梦里梦外;/ 2021年10月29日 23:10/ 0 赞/ 250 阅读

相关 CAS乐观锁的ABA问题

CAS 1.CAS 原理 CAS 机制当中使用了 3 个基本操作数：内存地址 V，旧的预期值 A，要修改的新值 B。更新一个变量的时候，只有当变量的预期值 A 和

水深无声/ 2021年09月21日 05:54/ 0 赞/ 360 阅读