1

我在一次工作面试中遇到了这个问题，我一生都找不到答案（而且他们不会在最后告诉你答案，因为这是笔试）：

int thread2_finished = 0;

void t1() {
    printf("t1 is running\n");
    while (!thread2_finished) { usleep(50); }
    printf("t2 is doing stuff\n");    
}


void t2() {
    printf("t2 is running\n");
    sleep(5);
    printf("t2 woke up\n");    
    thread2_finished = 1;
    printf("t2 finished\n");
}

我们所知道的是，它在大多数情况下都有效——但有时 thread1 永远不存在（不打印最后一条消息），而 thread2确实打印了他的所有消息——这怎么可能？

我猜我在这里遗漏了一些基本的东西，但我唯一能想到的问题在于缓存 - 比如 T1 加载值 (0) 并缓存它，然后 T2 立即将值更改为 1，但是出于某种奇怪的原因，T1 将继续使用旧的缓存值，但这对我来说似乎很奇怪。

4

2 回答 2

1

像这样写的代码看起来是正确的（而且是在逻辑上）但是如果你使用真实环境它不能正常工作，修复将是volatile关键字但原因有点复杂，也是因为这个关键字的行为更改每种语言/编译器，这里是正确的答案

于 2013-06-26T10:44:20.467 回答
1

您无法保证 t2 运行时 t1 已经启动。sleep不是正确线程同步的有效替代品。

人们也可以争辩说thread2_finished应该是不稳定的。实际上这并不重要，因为编译器不知道 usleep 做了什么，因此不能假设 usleep 不会更改全局变量。另一方面，在许多架构上，您需要更好的同步，而不仅仅是更新全局变量。在某些其他线程上（如果在不同的 cpu 上运行）可能很长时间看不到全局变量的更新值，而在其他线程上（如果不是缓存一致）它可能永远看不到它。操作系统中的锁定原语应该提供足够的逻辑来确保来自一个线程的副作用被其他线程看到。

简而言之 - 即使这在大多数情况下都可以工作，但永远不要这样做。使用适当的锁定、条件变量和信号量。

于 2013-06-26T11:09:47.303 回答