今天看了下@leekayak 提到的一個問題?http://weibo.com/1465082730/znOSZzU4v

? ???? 我試圖用一個簡單的例子來解釋下，首先看一段更簡單的代碼。

#include "stdio.h" #include "stdlib.h" #include <pthread.h>int f = 0; int x= 0;void* t1(void*) {while(f==0){if(x!=0) printf("error");}return NULL; };void* t2(void*) {x=1;f=1;return NULL; };int main(void) {pthread_t* worker = (pthread_t*) malloc(2*sizeof( pthread_t));pthread_create(&worker[0],NULL,t1,NULL);pthread_create(&worker[1],NULL,t2,NULL);pthread_join(worker[0],NULL);pthread_join(worker[1],NULL);free(worker);return 0;}

我們用-O3 來編譯，就發(fā)現(xiàn)問題了。編譯器版本：gcc version 4.7.2 20120921 (Red Hat 4.7.2-2) (GCC)

???

在400788：處發(fā)現(xiàn)指令自己jmp到自己(_z2t1pv+0x18) = 400770+18 =? 400788?就死循環(huán)了。

這是因為在t1這個函數(shù)的局部，看不到f被改變的期望，因此編譯器就自作主張認為f不會變化，等價于死循環(huán)，其實這個等價是錯誤的，因為f可能被外部修改。比如t2

?

因此就這個case，將f的定義 加上volatile是一個簡明的法子，volatile int f = 0; 聲明了編譯器不能假設(shè)f值會是什么，而是必須去read一下才行。

?

另外的方法就是顯示的加入memory barrier，強制編譯器必須讀取。

while(f==0) { if(x!=0) printf("error"); }

改成

for(__sync_synchronize();f==0;__sync_synchronize())

{

??????? if(x!=0) printf("error");

}

from:?http://blog.csdn.net/pennyliang/article/details/8683391

總結(jié)

以上是生活随笔為你收集整理的关于编译器的一个问题的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。