学习笔记：x86架构下观察 torn-read

原创于 2014-09-25 11:17:10 发布 · 492 阅读

CC 4.0 BY-SA版权

本文通过一个C++示例展示了在使用Boost库进行多线程编程时如何遇到内存可见性问题，特别是“torn-read”现象。示例中两个线程分别负责写入和读取共享数据结构的内容，由于编译器优化和CPU缓存导致的数据不一致问题被突出展示。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

<pre name="code" class="cpp">#include "stdafx.h"

#include <boost/thread/thread.hpp>
#include <iostream>

#pragma pack(2)
struct Data{
    char padding[62];
    int i;
};
#pragma pack()

int kk = 0x12345678;
bool stop = false;

Data g_data;

void g(){
    while(!stop){
        g_data.i=0;
        g_data.i=kk;
    }
}

void f(){

    int tmp;

    while(!stop){

        tmp = g_data.i;

        if ( tmp != kk && tmp != 0){
            return ; //这里可以加断点，因为发生torn-read现象时，kk可能是 0x00005678或0x12340000
        }
    }
}

int main(int argc, char* argv[])
{
    boost::thread trd1(&g);
    boost::thread trd2(&f);

    while (true){
        std::cin >> stop;
        if (stop) break;
    }

    trd1.join();
    trd2.join();
    return 0;
}