ARM 内存屏障指令-Toy模板网

这篇具有很好参考价值的文章主要介绍了ARM 内存屏障指令。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

1. dmb (Data Memory Barrier) 数据内存栅栏

DMB 指令用于确保数据的顺序性。会等待之前发出的所有存储指令（Store）和加载指令（Load）完成后，才会允许之后的存储和加载指令执行。
DMB 提供了三种屏障类型：Full System、Inner Shareable 和 Non-Shareable。
- Full System DMB（dmb sy）屏障对整个系统中的数据访问进行排序和同步。
- Inner Shareable DMB（dmb ish）屏障对内部可共享的数据访问进行排序和同步。
- Non-Shareable DMB（dmb nsh）屏障对非共享的数据访问进行排序和同步。

使用场景：

在多线程编程中，使用 DMB 来确保数据的顺序性，特别是在共享内存环境中。
在使用共享数据结构时，使用 DMB 来保证数据的一致性和同步。
在设备驱动程序编程中，使用 DMB 来确保设备寄存器的读写顺序和同步。

2. dsb (Data Synchronization Barrier) 数据同步栅栏

DSB 指令用于确保数据和指令的顺序性，并等待之前的所有指令完成。
DSB 提供了三种屏障类型：Full System、Inner Shareable 和 Non-Shareable。
- Full System DSB（dsb sy）屏障对整个系统中的数据和指令访问进行排序和同步。
- Inner Shareable DSB（dsb ish）屏障对内部可共享的数据和指令访问进行排序和同步。
- Non-Shareable DSB（dsb nsh）屏障对非共享的数据和指令访问进行排序和同步。

使用场景：

在多线程编程中，使用 DSB 来确保数据和指令的顺序性，特别是在多处理器核心或多线程环境中。
在需要全局同步的场景下，使用 DSB 来实现全局的指令栅栏，确保所有处理器核心上的指令都按照正确的顺序执行。
在修改控制寄存器或切换执行状态后，使用 DSB 来确保后续指令的正确执行。

3. isb (Instruction Synchronization Barrier) 指令同步栅栏

isb 指令会等待之前的所有指令完成，并清空指令流水线中的缓存，刷新指令预取队列（instruction prefetch queue），以确保执行的指令是最新的版本，可确保后续指令按照正确的顺序执行。使用 isb 可以避免执行过程中出现错误的指令或无效的指令。

使用场景：

在涉及到修改程序状态、刷新指令缓存或确保指令的顺序性的场景中，使用 ISB 来刷新流水线中的指令，确保后续指令按照正确的顺序执行。
在设备驱动程序编程中，使用 ISB 来确保设备寄存器的写入在读取之前生效。

4. ARM 内存屏障指令如何选择使用？

选择使用 ARM 内存屏障指令时，需要考虑以下几个因素：

内存一致性模型：首先要了解所使用的 ARM 处理器的内存一致性模型。ARM 支持多种内存一致性模型，如 ARMv7 的内存模型（如 ARMv7-A、ARMv7-R）和 ARMv8 的内存模型（如 ARMv8-A）。了解处理器的内存一致性模型可以帮助确定何时需要使用内存屏障指令以满足一致性要求。
访问类型和共享性：根据访问类型和共享性，选择适当的内存屏障指令。如果是针对数据访问的屏障，可以使用 DMB 指令，根据共享性选择相应的屏障类型。如果是针对指令访问的屏障，可以使用 ISB 指令。如果需要同时对数据和指令进行排序和同步，可以使用 DSB 指令。
同步要求：根据同步要求选择适当的屏障类型。如果需要等待之前的所有指令或数据访问完成，可以选择 Full System 类型的屏障。如果只需要对内部可共享的数据或指令进行排序和同步，可以选择 Inner Shareable 类型的屏障。如果只涉及非共享的数据或指令访问，可以选择 Non-Shareable 类型的屏障。
性能和功耗：内存屏障指令可能会引入一定的性能开销，因此需要权衡性能和功耗要求。在某些情况下，可能不需要使用内存屏障指令，特别是在单线程或无需严格同步的场景中。仅在确实需要保证内存顺序性和同步时才使用内存屏障指令。

综上所述，选择使用 ARM 内存屏障指令需要综合考虑内存一致性模型、访问类型、共享性、同步要求、性能和平台支持等因素。根据具体的需求和场景，选择适当的内存屏障指令以确保正确的内存访问顺序和同步。

5. 使用示例

ARM 内存屏障指令主要包括以下几种：

5.1. DMB指令示例：

示例 1：在多线程编程中，确保对共享数据的修改在排序后对其他线程可见：

// 线程 A 更新共享数据
shared_data = new_value;

// 内存屏障，确保共享数据更新对其他线程可见
__asm__ volatile("dmb sy" ::: "memory");

// 线程 B 读取共享数据
value = shared_data;

示例 2：在设备驱动程序中，确保对设备的写入操作完成后再进行后续操作：

// 执行设备写入操作
write_to_device();

// 内存屏障，确保设备写入操作完成
__asm__ volatile("dmb sy" ::: "memory");

// 执行后续操作

5.2. DSB指令示例：

以下是几个使用 DSB（Data Synchronization Barrier）指令的示例：

示例1：保证数据加载顺序

// 线程 A
// 加载数据到寄存器
data1 = *ptr1;
data2 = *ptr2;

// 执行一些操作

// 在访问 data1 和 data2 之前插入 DSB 指令，确保数据加载顺序
__asm__ volatile("dsb sy" ::: "memory");

// 使用加载的数据进行后续操作
// ...

// 线程 B
// 修改共享数据
*ptr1 = new_value1;
*ptr2 = new_value2;

示例2：保证数据存储顺序

// 线程 A
// 执行一些操作

// 在存储数据之后插入 DSB 指令，确保数据存储顺序
*ptr = data;
__asm__ volatile("dsb sy" ::: "memory");

// 线程 B
// 加载共享数据
data = *ptr;

// 执行后续操作
// ...

示例3：等待操作完成

// 线程 A
// 发起一些异步操作
initiate_async_operation();

// 在等待操作完成之前插入 DSB 指令，确保操作完成前的所有指令已执行
__asm__ volatile("dsb sy" ::: "memory");

// 等待操作完成
while (!is_operation_completed())
{
       // 等待操作完成
}

// 操作完成后执行后续操作
// ...

这些示例展示了 DSB 指令在不同场景下的使用方式。通过在合适的位置插入 DSB 指令，可以确保数据的顺序性和操作的正确执行顺序。请根据具体的需求和场景，选择适当的位置插入 DSB 指令以满足同步和顺序要求。

5.3. ISB指令示例：

以下是几个使用 ISB（Instruction Synchronization Barrier）指令的示例：

示例1：刷新指令流水线

// 执行一些指令
// ...

// 在需要刷新指令流水线的位置插入 ISB 指令
__asm__ volatile("isb");

// 执行后续指令
// ...

示例2：确保指令顺序性

// 执行一些指令
// ...

// 在需要确保指令顺序性的位置插入 ISB 指令
__asm__ volatile("isb");

// 执行后续指令
// ...

示例3：在中断处理程序中使用 ISB 指令

// 中断处理程序
void interrupt_handler()
{
    // 处理中断事件

     // 在处理中断事件后插入 ISB 指令，确保后续指令按正确顺序执行
     __asm__ volatile("isb");

     // 执行后续指令
     // ...
   }

示例4：确保指令的加载顺序

// 线程 A
// 加载指令到指令缓存
instruction1 = *instr_ptr1;
instruction2 = *instr_ptr2;

// 执行一些操作

// 在访问加载的指令之前插入 ISB 指令，确保指令加载顺序
__asm__ volatile("isb");

// 执行加载的指令
// ...

// 线程 B
// 修改共享指令
*instr_ptr1 = new_instr1;
*instr_ptr2 = new_instr2;