请问使用乐观锁，为什么不会在比较完成功然后写回的时候，遭遇其他线程的更改？
chwangtenger · 2020-08-19 18:34:30 +08:00 · 1796 次点击这是一个创建于 1548 天前的主题，其中的信息可能已经有所发展或是发生改变。
这是由什么机制来保障的？看一些文章里都没有讲这个呀，很疑惑。
 |
1
luckyrayyy 2020-08-19 18:41:38 +08:00
compare and swap，是 cpu 级别保证的原子操作，不会出现比较和修改之间插入别的操作。
|
 |
2
chwangtenger OP CAS 是一条 CPU 并发原语
|
 |
3
wysnylc 2020-08-19 18:59:11 +08:00
@luckyrayyy #1 会有 ABA 的问题
 |
 |
4
312ybj 2020-08-19 19:09:02 +08:00 via Android
compareAndSet*函数是在 unsafe 包里，是 native 函数。源码在.cpp 文件里，都是贴近 cpu 的机器语言。我是看不懂。我就是这样记的，无锁的线程安全
|
 |
5
gotonull 2020-08-19 19:16:43 +08:00
因为比较和写入这 2 步是原子操作
|
 |
6
cheng6563 2020-08-19 19:18:16 +08:00 via Android
不是不会被修改，是能检测到被其他线程修改了，然后报错或重试
|
|
7
luckyrayyy 2020-08-19 19:49:39 +08:00
@wysnylc 这是另一个问题
|
 |
8
laminux29 2020-08-19 19:51:17 +08:00
现在的 CPU，有一条指令，叫原子操作指令。
该指令的意思是： 当某个核，发出这条指令后： 1.如果当前环境有多个核，那么它会阻止其他所有核的操作，当它操作完毕后，其他核才能继续操作。 2.操作系统会阻止运行在当前核上面的其他线程的切换操作。 这样就确保了，别的线程，不会更改在这个操作执行期间的数据。 |
 |
9
VDimos 2020-08-19 20:14:55 +08:00 via Android
原子操作不会被中断
|
 |
10
OysterQAQ 2020-08-19 20:44:12 +08:00 via iPhone
查一下 原语 的概念
|
 |
11
useben 2020-08-19 21:50:14 +08:00
cpu 锁 /缓存锁
|
|
12
wysnylc 2020-08-20 10:02:26 +08:00
@luckyrayyy #7 是同一个问题,ABA 就会导致在比较和修改之间有别的操作而且最终修改是成功无感知的
|
 |
13
SmiteChow 2020-08-20 14:06:23 +08:00
因为 mysql 引擎执行 sql 是原子性的
|
Select Language