进程P1、P2、P3、P4、P5和P6的前趋图如下所示:
若用PV操作控制这6个进程的同步与互斥的程序如下,那么程序中的空①和空②处应分别为( )
V(S1)和P(S2)
V(S2)和P(S1)
P(S1)和V(S2)
V(S1)和V(S2)
根据前驱图,P2进程需要等待P1进程的通知,故需要利用P(S1)操作测试P1进程是否运行完,所以空①应填P(S1),P2进程运行结束需要利用V操作分别通知P3、P4进程,由于P3进程执行前已经用P(S2),所以空②应填V(S2)。