进程同步与互斥详解.docx

进程同步与互斥进程的PV操作在操作系统中，P、V操作是进程管理中的难点。这是1968年荷兰人Dijkstra给出的一种解决并发进程间互斥和同步关系的通用方法。1. P、V操作的意义定义了信号量及其上的P操作和V操作，来实现并发进程间的同步和互斥，甚至可以用来管理资源的分配。P、V操作因交换的信息量少，属于进程的低级通信。2. 什么是信号量？信号量（semaphore）是由一个值和一个指针构成的数据结构。值为整型变量，表示信息量的值；指针指向进程控制块（PCB）队列的队头，表示等待该信号量的下一个进程。如下图所示。信号量的一般结构及PCB队列信号量的值与相应资源的使用情况有关。当它的值大于0时，表示当前可用资源的数量；当它的值小于0时，其绝对值表示等待使用该资源的进程个数。注意，信号量的初值不能为负，且其值只能由P、V操作来改变。3. P、V操作的含义P、V操作由P操作原语和V操作原语组成（原语是不可中断的过程），对信号量S进行操作，具体定义如下： P（S）：① 将信号量S的值减1，即S=S1； ② 如果S0，则该进程继续执行；否则该进程状态置为阻塞状态，进程PCB排入信号量PCB队列末尾，放弃CPU，等待V操作的执行。 V（S）：① 将信号量S的值加1，即S=S+1； ② 如果S0，释放信号量队列中第一个PCB所对应的进程，将进程状态由阻塞态改为就绪态。执行V操作的进程继续执行。 一般来说，信号量S0时，S表示可用资源的数量。执行一次P操作意味着请求分配一个单位资源，因此S的值减1；当S0时，表示已经没有可用资源，请求者必须等待别的进程释放该类资源，它才能运行下去。而执行一个V操作意味着释放一个单位资源，因此S的值加1；若S0，表示有某些进程正在等待该资源，因此要唤醒一个阻塞状态的进程，使之成为就绪状态。 4. 利用信号量和P、V操作实现进程互斥一般地，n个进程利用信号量和P、V操作实现进程互斥的一般模型如下：进程P1 进程P2…… 进程Pn…… …… ……P（S）； P（S）； P（S）；临界区； 临界区； 临界区；V（S）； V（S）； V（S）；…… …… …… …… 其中S是互斥信号量，初值为1。 使用P、V操作实现进程互斥时应该注意的问题是： （1）每个程序中，用户实现互斥的P、V操作必须成对出现，先做P操作，进临界区，后做V操作，出临界区。若有多个分支，要认真检查P、V操作的成对性。 （2）P、V操作应分别紧靠临界区的头尾部，临界区的代码应尽可能短，不能有死循环。（3）互斥信号量的初值一般为1。　　由于用于互斥的信号量sem与所有的并发进程有关，所以称之为公有信号量。公有信号量的值反映了公有资源的数量。只要把临界区置于P(sem)和V(sem)之间，即可实现进程间的互斥。就象火车中的每节车厢只有一个卫生间，该车厢的所有旅客共享这个公有资源：卫生间，所以旅客间必须互斥进入卫生间，只要把卫生间放在P(sem)和V(sem)之间，就可以到达互斥的效果。以下例子说明进程的互斥实现。例1　　生产围棋的工人不小心把相等数量的黑子和白子混装载一个箱子里，现要用自动分拣系统把黑子和白子分开，该系统由两个并发执行的进程组成，功能如下：　　（1）进程A专门拣黑子，进程B专门拣白子；　　（2）每个进程每次只拣一个子，当一个进程在拣子时不允许另一个进程去拣子；分析：　　第一步：确定进程间的关系。由功能（2）可知进程之间是互斥的关系。　　第二步：确定信号量及其值。由于进程A和进程B要互斥进入箱子去拣棋子，箱子是两个进程的公有资源，所以设置一个信号量s，其值取决于公有资源的数目，由于箱子只有一个，s的初值就设为1。实现：　　begin　　s:semaphore;　　s:=1;　　　cobegin　　　　process A　　　　begin　　　　L1: P(s);　　　　　拣黑子；　　　　　V(s);　　　　　goto L1;　　　　end;　　　　process B　　　　begin　　　　L2:P(s);　　　　　拣白子；　　　　　V(s);　　　　　goto L2;　　　　end;　　　coend;　　end;　　判断进程间是否互斥，关键是看进程间是否共享某一公有