难道小弟我对volatile关键字的理解以前都是异常的

难道我对volatile关键字的理解以前都是错误的?
请看代码

C/C++ code

volatile int tickets=0;volatile BOOL g_bRun = TRUE;DWORD WINAPI Fun1Proc(LPVOID lpParameter){    char buf[100];    while(g_bRun)    {        if(tickets<10)        {            sprintf(buf,"\nthread1 sell ticket = %d",tickets);            OutputDebugString(buf);            printf(buf);            tickets++;        }        else            Sleep(10);    }    return 0;}DWORD WINAPI Fun2Proc(LPVOID lpParameter){    char buf[100];    while(g_bRun)    {        if(tickets<10)        {            sprintf(buf,"\nthread2 sell ticket = %d",tickets);            OutputDebugString(buf);            printf(buf);            tickets++;        }        else            Sleep(10);    }    return 0;}int main(int argc, char* argv[]){    CreateThread(NULL,0,Fun1Proc,NULL,0,NULL);    CreateThread(NULL,0,Fun2Proc,NULL,0,NULL);    Sleep(2000);    system("PAUSE");    g_bRun = FALSE;    return 0;}

理论上输出应该是

C/C++ code

thread2 sell ticket = 0thread1 sell ticket = 1thread2 sell ticket = 2thread1 sell ticket = 3thread2 sell ticket = 4thread1 sell ticket = 5thread2 sell ticket = 6thread1 sell ticket = 7thread2 sell ticket = 8thread1 sell ticket = 9

实际上却是这样

C/C++ code

thread1 sell ticket = 0thread1 sell ticket = 0thread2 sell ticket = 0thread1 sell ticket = 1thread2 sell ticket = 2thread1 sell ticket = 3thread2 sell ticket = 4thread1 sell ticket = 5thread2 sell ticket = 6thread1 sell ticket = 7thread2 sell ticket = 8thread1 sell ticket = 9

最奇怪的地方是
thread1 sell ticket = 0
thread1 sell ticket = 0
请高手解惑

[解决办法]
当两个线程同时输出字符串时，会有什么结果？
别以为只有变量需要线程安全，一切“唯一”的东西都需要保证线程安全，包括输出
[解决办法]
volatile 不是用来做临界区的。
而是告知编译器这个符号是易变的。
这样编译器就会假定她使用之间需要检测这个易变性。
比如，需要重新读取，或者不对与之关联的语句进行调整顺序等优化。

我用 volatile 的很大原因就是可以保证因果关系。
[解决办法]

探讨

volatile 不是用来做临界区的。
而是告知编译器这个符号是易变的。
这样编译器就会假定她使用之间需要检测这个易变性。
比如，需要重新读取，或者不对与之关联的语句进行调整顺序等优化。

我用 volatile 的很大原因就是可以保证因果关系。

[解决办法]
volatile本来就不是给你拿来做线程同步的。
volatile显式要求lvalue conversion时从对象存储的内存的取值，而非之前取到过的（例如放在cache里的）值。对于一些底层操作，如映射硬件存储，中断处理等场合是必要的。至于多线程，用volatile是有可能解决【一小部分】一致性问题，但会严重阻碍优化。

查看更多 下一篇