请问使用乐观锁，为什么不会在比较完成功然后写回的时候，遭遇其他线程的更改？

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

请不要在回答技术问题时复制粘贴 AI 生成的内容

这是一个创建于 1929 天前的主题，其中的信息可能已经有所发展或是发生改变。

这是由什么机制来保障的？看一些文章里都没有讲这个呀，很疑惑。

线程

请问

疑惑

更改

13 条回复 2020-08-20 14:06:23 +08:00

luckyrayyy

2020-08-19 18:41:38 +08:00

compare and swap，是 cpu 级别保证的原子操作，不会出现比较和修改之间插入别的操作。

chwangtenger

2020-08-19 18:43:42 +08:00

CAS 是一条 CPU 并发原语

wysnylc

2020-08-19 18:59:11 +08:00

@luckyrayyy #1 会有 ABA 的问题

312ybj

2020-08-19 19:09:02 +08:00 via Android

compareAndSet*函数是在 unsafe 包里，是 native 函数。源码在.cpp 文件里，都是贴近 cpu 的机器语言。我是看不懂。我就是这样记的，无锁的线程安全

gotonull

2020-08-19 19:16:43 +08:00

因为比较和写入这 2 步是原子操作

cheng6563

2020-08-19 19:18:16 +08:00 via Android

不是不会被修改，是能检测到被其他线程修改了，然后报错或重试

luckyrayyy nbsp;

2020-08-19 19:49:39 +08:00

@wysnylc 这是另一个问题

laminux29

2020-08-19 19:51:17 +08:00

现在的 CPU，有一条指令，叫原子操作指令。

该指令的意思是：

当某个核，发出这条指令后：
1.如果当前环境有多个核，那么它会阻止其他所有核的操作，当它操作完毕后，其他核才能继续操作。

2.操作系统会阻止运行在当前核上面的其他线程的切换操作。

这样就确保了，别的线程，不会更改在这个操作执行期间的数据。