两个进程 X 和 Y 需要访问临界区。考虑两个进程使用的以下同步构造。
_%7C_Question_65_0.jpg)
这里，varP 和 varQ 是共享变量，并且都被初始化为 false。以下哪一项陈述是正确的?
(A)提议的解决方案防止了死锁，但不能保证互斥
(B)提议的解决方案保证互斥但未能防止死锁
(C)提议的解决方案保证互斥并防止死锁
(D)所提出的解决方案未能防止死锁，也未能保证互斥答案：(一)
解释：当两个进程同时尝试进入临界区时，由于共享变量 varP 和 varQ 都为真，所以两者都被允许这样做。所以，显然没有互斥。此外，防止死锁是因为互斥是发生死锁的四个条件之一。因此，答案是 A。
这个问题的测验