在 RTOS 中实现无锁环形缓冲区：DMB/DSB 指令的实战指南

1. 为什么无锁环形缓冲区需要内存屏障？

RTOS 中，无锁环形缓冲区（Lock-Free Ring Buffer）通过原子读写索引（head/tail）避免互斥锁，但仅靠原子操作并不够。ARM Cortex-M 内核采用弱内存模型（Weakly Ordered），CPU 可能重排内存访问指令，且多核（如 Cortex-M7 双核）或中断嵌套时，各执行上下文对内存的可见性不一致。

典型场景：

生产者（如中断服务程序）写入数据并更新 tail 索引；
消费者（如 RTOS 任务）读取数据并更新 head 索引。

若缺少内存屏障，消费者可能看到新 tail 但旧数据（或反之），导致数据错乱。DMB（Data Memory Barrier）和 DSB（Data Synchronization Barrier）正是解决此问题的关键。

2. ARM Cortex-M 内存模型与 DMB/DSB 原理

2.1 内存访问重排

Cortex-M 允许 CPU 对普通内存（Normal Memory）的读写指令进行重排，以提高流水线效率。例如：

// 生产者
buffer[0] = data;  // 写数据
flag = 1;         // 写标志

CPU 可能先执行 flag = 1，再写 buffer[0]，导致消费者看到 flag 为 1 时数据未就绪。

2.2 DMB 与 DSB 的区别

DMB：确保 DMB 之前的所有内存访问（读写）在 DMB 之后的内存访问开始前完成。它只保证内存访问顺序，不阻塞 CPU 执行后续指令。
DSB：更严格，确保 DSB 之前的所有内存访问完成后，才执行 DSB 之后的指令。DSB 会阻塞 CPU 直到内存访问完成，常用于外设寄存器同步或关中断场景。

在无锁环形缓冲区中，通常使用 DMB 即可，因为我们需要的是内存访问顺序，而非指令同步。但若涉及 DMA 或外设，可能需要 DSB。

2.3 多核与中断上下文

多核（如 Cortex-M7 双核）：每个核有私有缓存（L1），共享内存需通过总线一致性协议（如 AXI）同步。DMB 可确保本核的内存访问对其他核可见。
中断上下文：中断可能抢占任务，若中断与任务共享缓冲区，需在临界区入口/出口使用 DMB，防止中断看到不一致状态。

3. 无锁环形缓冲区设计

3.1 数据结构

采用经典的 head/tail 索引，缓冲区大小必须为 2 的幂，便于取模。

#define BUFFER_SIZE 256  // 2 的幂
#define BUFFER_MASK (BUFFER_SIZE - 1)

typedef struct {
    uint32_t head;  // 消费者读取位置
    uint32_t tail;  // 生产者写入位置
    uint8_t data[BUFFER_SIZE];
} RingBuffer;

3.2 生产者（中断或任务）

int ring_buffer_push(RingBuffer *rb, uint8_t byte) {
    uint32_t next_tail = (rb->tail + 1) & BUFFER_MASK;
    if (next_tail == rb->head) {
        return -1; // 缓冲区满
    }
    rb->data[rb->tail] = byte;
    // 关键：确保数据写入完成后再更新 tail
    __DMB();
    rb->tail = next_tail;
    return 0;
}

3.3 消费者（RTOS 任务）

int ring_buffer_pop(RingBuffer *rb, uint8_t *byte) {
    if (rb->head == rb->tail) {
        return -1; // 空
    }
    *byte = rb->data[rb->head];
    // 关键：确保数据读取完成后再更新 head
    __DMB();
    rb->head = (rb->head + 1) & BUFFER_MASK;
    return 0;
}

4. 配置步骤（以 STM32H7 双核为例）

4.1 硬件与工具

使用 STM32H745（Cortex-M7 双核），两个核共享 RAM（如 D1 域 AXI SRAM）。
开启编译器内存屏障优化（如 GCC -fno-strict-aliasing），但 DMB 仍需显式。

4.2 步骤

定义共享缓冲区：放在两个核都能访问的 RAM 区域，如 __attribute__((section(".shared_ram")))。
初始化：两个核启动时，将 head/tail 清零。
生产者：在核1的中断中调用 ring_buffer_push。
消费者：在核2的 RTOS 任务中调用 ring_buffer_pop。
添加 DMB：在更新索引前插入 __DMB()（CMSIS 提供）。
测试：使用逻辑分析仪或调试器观察数据完整性。

5. 完整代码示例（CMSIS 风格）

#include "cmsis_compiler.h"  // 提供 __DMB, __DSB

#define BUFFER_SIZE 256
#define BUFFER_MASK (BUFFER_SIZE - 1)

typedef struct {
    volatile uint32_t head;
    volatile uint32_t tail;
    uint8_t data[BUFFER_SIZE];
} RingBuffer;

// 生产者（中断上下文）
int rb_push(RingBuffer *rb, uint8_t byte) {
    uint32_t next_tail = (rb->tail + 1) & BUFFER_MASK;
    if (next_tail == rb->head) {
        return -1;
    }
    rb->data[rb->tail] = byte;
    __DMB();  // 确保数据写入完成
    rb->tail = next_tail;
    return 0;
}

// 消费者（任务上下文）
int rb_pop(RingBuffer *rb, uint8_t *byte) {
    if (rb->head == rb->tail) {
        return -1;
    }
    *byte = rb->data[rb->head];
    __DMB();  // 确保数据读取完成
    rb->head = (rb->head + 1) & BUFFER_MASK;
    return 0;
}

// 初始化
void rb_init(RingBuffer *rb) {
    rb->head = 0;
    rb->tail = 0;
}

6. 注意事项与进阶技巧

volatile 关键字：索引必须声明为 volatile，防止编译器优化缓存。但 volatile 不提供内存屏障，仍需 DMB。
多核一致性：若使用双核，确保共享缓冲区位于非缓存区域（如 STM32H7 的 AXI SRAM 可配置为 write-through），否则需额外处理缓存一致性（如 SCB_CleanDCache）。
DMB 与 DSB 选择：在中断中，若需确保外设寄存器访问顺序，用 DSB；普通内存共享用 DMB。
性能影响：DMB 指令有开销，但远小于互斥锁。高频场景下，可考虑使用 LDREX/STREX 实现无锁，但需处理 ABA 问题。
编译器屏障：GCC 的 __sync_synchronize() 可生成 DMB，但 CMSIS 的 __DMB() 更明确。
测试：使用 -O2 优化编译，并模拟中断抢占，确保无数据竞争。

7. 总结

在 RTOS 中实现无锁环形缓冲区，DMB/DSB 是保证多核与中断安全的核心。理解 ARM 内存模型，正确放置内存屏障，才能避免隐蔽的 bug。本文的代码可直接用于 STM32H7 等 Cortex-M 平台，助你构建高效、可靠的数据通道。

RTOS 无锁环形缓冲区：ARM Cortex-M DMB/DSB 指令如何守护多核与中断安全