软考考点之前趋图与并发执行

前趋图：

描述程序各部分（程序段或语句）之间的关系。

P（S）：①将信号量S的值减1，即S=S-1；
②如果S>=0，则该进程继续执行；否则该进程置为等待状态，排入等待队列。
V（S）：①将信号量S的值加1，即S=S+1；
②如果S>0，则该进程继续执行；否则释放队列中第一个等待信号量的进程。

P操作，我们可以看作是获得或者请求、消耗一个信号量。

V操作，我们可以看作是释放或者发送一个信号量。

我们可以这样理解：看前驱图，

P1执行完之后，会向P2和P3分别发送两个信号S1和S2（所以a处填V（S1）V（S2）；

然后是P2执行，P2执行之前，要先获得S1（所以b处填P（S1））;

P2执行完之后，会向P3发送一个信号S3（所以b下一处为V（S3））；

P3执行之前，要先获得P2发送给P3的信号，也要获得P1发送给P3的信号（所以c处填（P（S2）P（S3）））；P3执行完后，会向P4发送一个信号S4（所以c下一处为V（S4））；

P4执行之前，要先获得P3发送给P4的信号方可执行（所以d处填P（S4））。