为什么主线程被卡在pthread_create（）案例中？

Question

查看此代码时，有人指出主线程可能会被卡住而无法完成主要功能： 代码

  int count = numthreads;

void* bar（void* arg）{
    / *做一些事情 */
     - 数数;
}

int main（int argc，char* argv []）{
    / * ...初始化所有内容... */
    for（i = 0; i＆lt; numthreads; ++ i）
        pthread_create（＆amp; thread [i]，null，bar，null）;

    而（count＆gt; 0）
        睡眠（1）;
}
 

上述代码正确吗？

（א）是。 （ב）是的，如果在运行期间没有信号发送到该过程。 （ג）不，主线程可能无法完成。 （ד）不，主线程可能在所有[其他]线程完成之前完成。

如果bar（）没有无限循环，怎么会卡住？

Answer 1

ג和ד都是正确的答案。该代码具有a data Race ，因为非原子量变量Count与其他访问同时编写，而无需静音或任何其他同步。因此，根据C标准，其行为不确定。它可能以任何其他可以想象的方式早期完成，或者根本没有完成，或者崩溃或不良行为。

要查看它可以永远循环的特定方式，请注意，由于Count不是 aromic 变量，减少- count不是原子操作。因此，可以通过从内存中加载Count的值，减去1并存储新值来实现它，并且这些访问可以交错。例如，我们可以具有以下事件的顺序：

1. 线程1从count中加载，获取值2

2. 线程1降低2，并确定其应存储新值1

3. 螺纹2从count加载，获取值2

4. 线程2降低2，并确定它应该存储新值1

5. 线程1将值1存储至count

6. 线程2将值1到count

   存储。

，然后两个线程完成。不会进一步写入Count，因此它将永远无法达到值0，并且main中的循环永远不会退出。