考虑以下运行 n 个并发进程的系统的快照。进程 i 持有资源 R 的 X i 个实例，1 ≤ i ≤ n。假设 R 的所有实例当前都在使用中。此外，对于所有 i，进程 i 可以请求最多 Y i 个额外的 R 实例，同时保留它已经拥有的 X t 个实例。在 n 个进程中，正好有两个进程 p 和 q，使得 Y p = Y q = 0。
以下哪一个条件可以保证除了p和q之外没有其他进程可以完成执行?
(A) X p + X q < Min {Y k ⏐ 1 ≤ k ≤ n, k ≠ p, k ≠ q}
(B) Min (X p , X q ) ≥ Min {Y k ⏐ 1 ≤ k≤ n, k ≠ p, k ≠ q}
(C) Min (X p , X q ) ≤ Max {Y k ⏐ 1 ≤ k ≤ n, k ≠ p, k ≠ q}
(D) X p + X q < Max {Y k ⏐ 1 ≤ k ≤ n, k ≠ p, k ≠ q}答案：(一)
解释：
Xi → Holding resources for process pi,
Yi → Additional resources for process pi. 由于进程 p 和 q 不需要任何额外的资源，它完成了它的执行并且可用资源是 (Xp + Xq)
有 (n – 2) 个进程 pi (1< i < n, i ≠ p, q) 其要求为 Yi (1 < i < n, i ≠ p, q)。
为了不执行进程pi，Yi的任何实例都不应满足(Xp+Xq)资源，即Yi实例的最小值应大于(Xp+Xq)。
所以，选项(A)是正确的。
这个问题的测验