初始化为1的共享变量x由四个并发进程W，X，Y，Z进行如下操作。 W和X的每个进程都从内存中读取x，将x递增1，将其存储到内存中，然后终止。 Y和Z的每个进程都从内存中读取x，将x减2，将其存储到内存中，然后终止。读取x之前的每个过程都会在计数信号量S上调用P操作(即等待)，并在将x存储到内存后在信号量S上调用V操作(即信号)。信号量S初始化为两个。在所有进程完成执行之后，以下哪个集合具有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章
这个问题的测验
如果您在以上帖子中发现任何错误，请在下面发表评论