初始化为 1 的共享变量 x 由四个并发进程 W、X、Y、Z 操作，如下所示。进程 W 和 X 中的每一个都从内存中读取 x，递增 1，将其存储到内存中，然后终止。进程 Y 和 Z 中的每一个从内存中读取 x，递减 2，将其存储到内存中，然后终止。每个进程在读取 x 之前都会对计数信号量 S 调用 P 操作(即等待)，并在将 x 存储到内存之后对信号量 S 调用 V 操作(即信号)。信号量 S 被初始化为 2。在所有进程完成执行后，以下哪些集合具有/具有 x 的可能值?
注意 –此问题是多选题 (MSQ)。
(A) {-2, -1, 0, 1, 2}
(B) {-3, -2, -1, 0, 1, 2}
(C) {-3, -2, -1, 0, 1, 2, 3}
(D) {-4, -3, -2, -1, 0, 1, 2}答案： (A) (B) (D)
说明：最小可能值 = -4
最大可能值 = 2
因此，选项(A)、(B)和(D)是正确的。
参考 – GATE CS 2013 |第 65 题
这个问题的测验
如果您发现上面的帖子有任何错误，请在下面评论