Question

void X() {
 lock(&m);
 while(x || y)
    wait( &farpar, &m);
 x ++;
 unlock(&m);
 // Do X stuff
 lock(&m);
 x --;
 broadcast(&farpar);
 unlock(&m);
}
double Y() {
 lock(&m);
 while(x)
     wait( &farpar, &m);
 y ++;
 unlock(&m);
 // Do Y stuff
 lock(&m);
 y --;
 broadcast(&farpar);
 unlock(&m);
}

在上面的代码中，m是互斥锁，farpar是条件变量。我被告知这可能会造成僵局，但我不知道怎么会发生这种情况。顺便说一下，X是作家，Y读者

Answer 1

您可以轻松地在心理上运行该程序：

X锁m
X停留在while循环中，等待y

Y

Y想要锁定m，但互斥锁已归X所有
Y无法更新y
X永远循环

读者 - 作者：这段代码怎么会导致死锁

1 个答案: