无锁SPSC环形缓冲区出现异常段错误，取消注释数组后恢复正常求助

核心错误：数组越界访问 #

你的代码中Push函数存在致命的数组索引越界问题：

RingBuffer[tmp_tail + 1] = data;

当tmp_tail的值等于BUF_LEN-1时，tmp_tail + 1等于BUF_LEN，而RingBuffer的大小是BUF_LEN，合法索引范围是0 ~ BUF_LEN-1，此时写入RingBuffer[BUF_LEN]属于非法内存访问，触发未定义行为。

为什么注释m_buffer会崩溃，不注释就“正常”？ #

这是内存布局导致的巧合：

• 未注释uint32_t m_buffer[BUF_LEN];时，m_buffer紧跟在RingBuffer之后分配内存。越界写入的RingBuffer[BUF_LEN]实际上会覆盖m_buffer的第一个元素，虽然这仍然是非法操作，但因为m_buffer是你定义的数组，不会破坏程序的关键数据（比如head、tail这两个原子变量），所以程序表面上能运行，但本质是未定义行为，随时可能出问题。
• 注释掉m_buffer后，RingBuffer后面的内存空间恰好是head或tail的存储位置（全局变量按声明顺序分配内存），越界写入会直接破坏这两个原子变量的内存结构，导致后续对head/tail的原子操作读取到非法值，最终触发段错误。

修复方案 #

修改Push函数，先计算取模后的合法索引，再进行写入：

bool Push(const uint64_t &data) {
    uint64_t tmp_tail = tail.load(std::memory_order_relaxed);
    uint64_t next_tail = (tmp_tail + 1) % BUF_LEN;
    // 先判断缓冲区是否已满
    if (next_tail == head.load(std::memory_order_acquire)) return false;
    // 写入合法索引位置
    RingBuffer[next_tail] = data;
    tail.store(next_tail, std::memory_order_release);
    return true;
}

另外，你的Pop函数逻辑是正确的，可保留当前实现：

bool Pop(uint64_t &data) {
    uint64_t tmp_head = head.load(std::memory_order_relaxed);
    if (tmp_head == tail.load(std::memory_order_acquire)) return false;
    data = RingBuffer[tmp_head];
    head.store((tmp_head + 1) % BUF_LEN, std::memory_order_release);
    return true;
}

修复后，无论是否注释m_buffer，程序都能正常运行，且不存在内存非法访问问题。

内容的提问来源于stack exchange，提问作者Michael Fang