一、为什么需要 DSB 和 ISB?
在学习 DSB 和 ISB 之前,我们先明白一个前提 ——现代 CPU 会 自行优化,这些优化在普通场景下没问题,但在多核协作、操作硬件时可能出 bug:
- 乱序执行:CPU 为了快,会调整无依赖的指令顺序(比如先执行不依赖其他结果的指令);
- 缓存异步:CPU 有高速缓存,数据先写缓存再慢慢同步到内存,导致其他设备 / 核心可能读不到最新数据。
DSB 和 ISB 就是用来 “纠正” 这些优化的工具:当我们需要严格的执行顺序或数据同步时,用它们强制 CPU 按我们的要求来。
二、DSB 和 ISB 分别是做什么的?
1. DSB(数据同步屏障)
(1)通俗理解
DSB 就像一个 “交通指挥员”,让屏障前面所有和数据相关的操作(读数据、写数据)都完成后,才允许屏障后面的操作开始。比如:先确保数据写完并同步到内存,再执行下一步读操作。
(2)关键作用
- 保证 “写数据” 真的写完:比如向硬件寄存器发命令,DSB 能确保命令真的传到硬件,而不是停在 CPU 缓存里;
- 保证 “读数据” 读的是最新:比如从共享内存读数据,DSB 能确保读到的是其他核心刚写完的最新值。
2. ISB(指令同步屏障)
(1)通俗理解
ISB 就像一个 “刷新按钮”,会清空 CPU 里已经提前准备好的指令(指令流水线),让后续指令重新从内存读取。这样能确保执行的是最新的指令,而不是旧的 “缓存指令”。
(2)关键作用
- 执行修改后的代码:比如程序自己修改了一段指令(如动态补丁),ISB 能让 CPU 重新读新指令,避免执行旧指令;
- 切换权限后生效:比如从用户模式切换到内核模式,ISB 能确保后续指令按新权限执行。
(3)和 DSB 的核心区别
|
对比项 |
DSB(数据同步屏障) |
ISB(指令同步屏障) |
|
管什么 |
数据的读 / 写顺序和同步 |
指令的新鲜度(是否是最新) |
|
典型场景 |
多核数据共享、操作硬件寄存器 |
修改代码后执行、切换权限 |
|
简单记忆 |
“数据要同步,就用 DSB” |
“指令要刷新,就用 ISB” |
三、常用场景
1. DSB 的常见场景
(1)多核 CPU 共享数据
比如核心 A 给核心 B 发数据,必须用 DSB 确保核心 B 读到最新值:
- 核心 A:写完数据后用 DSB 同步到内存,再告诉核心 B “数据好了”;
- 核心 B:收到通知后用 DSB 刷新,再读数据,确保读到最新的。
(2)操作硬件设备(如传感器、网卡)
比如给硬件发 “启动命令” 后,要读硬件状态,必须用 DSB 确保命令真的传到硬件:
- 第一步:给硬件寄存器写 “启动命令”;
- 第二步:用 DSB 同步,确保命令到硬件;
- 第三步:读硬件状态,判断是否启动成功。
2. ISB 的常见场景
(1)程序自己修改了代码(如动态补丁)
比如程序运行中把一段旧指令改成新指令,必须用 ISB 让 CPU 读新指令:
- 第一步:修改指令内容;
- 第二步:用 DSB 确保修改同步到内存;
- 第三步:用 ISB 刷新指令,再执行修改后的代码。
(2)切换权限(如从用户模式到内核模式)
比如通过系统调用进入内核,ISB 能确保后续指令按内核权限执行,避免权限错误。
2559

被折叠的 条评论
为什么被折叠?



