找不到死锁

Question

我在求职面试中遇到了这个问题，但我一直找不到答案(而且最后他们不会告诉你答案，因为这是笔试):

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");
}

我们所知道的是，它在大多数情况下都有效 - 但有时线程 1 永远不存在(不打印最后一条消息)而线程 2 确实 打印他的所有消息 - 这怎么可能？

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

Answer 1

这样写的代码看起来是正确的(而且是合乎逻辑的)但是如果你使用真实环境它不能正常工作，修复将是 volatile 关键字但是原因是有点复杂，还因为这个关键字的行为改变了每种语言/编译器，这里是正确的 answer