__sync_sub_and_fetch 似乎会出问题？

zylthinking

实际碰上的， 一个变量， nr_threads, 非  volatile 整形
代码如下：

nr_thread = 1200;
int n = 0;
for (int i = 0; i < 1200; ++i) {
    if (0 != pthread_create(..., func, ...)) {
        n++;
    }
}
__sync_sub_and_fetch(&nr_thread, n);

while (nr_thread != 0) {
    usleep(100000);
}

void* func(void *)
{
...............
__sync_sub_and_fetch(&nr_thread, 1);
}

结果发现， 有一次无限等待了， gdb attach 上去看了一眼， 结果发现 nr_thread == 1, 而出了 usleep 的那个外， 其他的都退出了。
中间没有 pthread_exit() 这类调用， 不知是 __sync_sub_and_fetch 出了错还是线程自己中途莫名其妙消亡了

w_anthony

做个记号，虽然任何事情都有原因，但是这个暂时看不出来，等以后来看结论

myworkstation

回复 1# zylthinking


    可能出现循环中nr_thread被编译器优化掉的问题，也可能出现同步不及时问题，两个问题甚至可以交叉在一起。为什么只在写的时候同步nr_thread变量，读的时候反而不同步呢？
要么设置成volatile,要么在循环的时候用__sync_sub_and_fetch(&nr_thread, ０)的方式读取变量。

zylthinking

myworkstation 发表于 2013-08-08 10:43
回复 1# zylthinking
为什么只在写的时候同步nr_thread变量，读的时候反而不同步呢？
要么设置成volatile,要么在循环的时候用__sync_sub_and_fetch(&nr_thread, ０)的方式读取变量。

很有道理
不过现在问题是偶尔出现死循环， 因此不应该是被优化的原因， 事实上我是 debug 下运行的， 还能通过 gdb 打印出 thread 变量值。
若是多核不同步的原因就更奇怪了， 他总不能永远不同步吧

linux_c_py_php

加了volatile还不行那就怪了.

zylthinking

linux_c_py_php 发表于 2013-08-08 12:46
加了volatile还不行那就怪了.

就我理解， 这里加不加 volatile 应该是一样的