【操作系统】习题1

有两个并发执行的进程P1和P2，共享初值为1的变量x。P1对x加1，P2对x减1。加1和减1 的指令序列分别如下所示：
两个操作完成后，x的值【 C 】。
A 可能为-1或3
B 只能为1
C 可能为0、1或2
D 可能为-1、1或2

解：由于对两个并发进程P1与P2没有先后进行的要求，因此会出现三种情况：
①P1先执行，P2后执行。
P1进程：x→R1=1，x=x+1=2，R1→x=2
P2进程：x→R2=2，x=x-1=1，R2→x=1
所以，两个操作完成后，x的值为1.

②P2先执行，P1后执行。
P2进程：x→R2=1，x=x-1=0，R2→x=0
P1进程：x→R1=0，x=x+1=1，R1→x=1
所以，两个操作完成后，x的值也为1.

③P1、P2并发进行。
x→R1=1，x→R2=1
x=x+1=2，x=x-1=0
以上是两个进程并发而进行的步骤，而进程的最后一步无法并发进行，因而会出现：
R1→x=2，R2→x=0
所以，两个操作完成后，x的值可能为2，也可能为0

所以综合以上三种情况可知x的值可能为0、1或2