C/C++ Volatile关键词深度剖析

这里 http://hedengcheng.com/?p=725 有对volatile 非常详细的解释，看完之后，心里一惊，因为我刚好在一个项目里用了文中错误示范那种方式来做线程同步，场景如下：

Thread1 对性能要求非常高，它有一些中间数据需要定时同步给数据库，我就增加了一个线程Thread2 来帮它做（Thread2还干了很多其他事情），基本做法是：thread1 干完do_something后，给一个全局的 volatile flag 置1；Thread2在一个大循环里，当检测到flag值是1，则会去读thread1产生的中间数据并入库。

 

按照帖子的说法，flag=true 对应的汇编指令可能被编译器插入到 do_something 对应的指令中间，无法保证do_something做完值才变成1. 根据查找，发现gcc下有一个指令可以强制编译器和CPU 按顺序执行：

 

#define BARRIER() do{ asm volatile("" ::: "memory");}while(0)

 

这样代码变成

 

Thread1()                                           Thread2()

{　　　　　　　　　　　　　　　　　　　　{

　　do_something...                                   if(flag==true)

　　BARRIER;                                            {

　　flag = true;　                                             BARRIER;

}                                                                     other thing...

                                                                }

                                                            }