4.2同步与互斥实现的方法.ppt

第八讲 同步与互斥高级实现方法 目的与要求：掌握信号量机制及使用它解决进程同步互斥问题的方法。 重点与难点：信号量实现及使用。 作业：4，6 * * 4.2.3 信号量 信号量机构：“信号量”、“P、V操作”。 信号量s为一整型变量： P(s): While s≤0 ；空操作 s = s-1 ； V（s）：s = s+1； P、V操作是两条原语，即保证P、V操作对变量S的访问是互斥操作。 一. 原语概念与实现 原语：指完成某种功能且不被分割或不被中断执行的操作序列。 原语可通过硬件实现不可中断性；或通过实现临界段的元方法达到不被中断。 实现临界段的元方法: 屏蔽中断(只用于单机) 加硬锁。 下面我们用屏蔽中断方法实现P（s）和V（s）的原子性。 P（s）{ disableInterrupt(); while （s≤0）{ enableInterrupt(); disableInterrupt(); }； s = s - 1； enableInterrupt(); } V（s）{ disableInterrupt(); s = s +1； enableInterrupt(); } 二、信号量的使用(互斥与同步) 互斥：用于n个进程的临界段互斥，n进程共享一个信号量mutex,初值为1，任一进程Pi的结构为： P(mutex) V(mutex) 临界段 非临界段 do{ }while（1） 同步：有P1、P2 两进程，必须在P1执行完S1语句后，P2才能执行S2。需同步的两进程共享信号量synch，初值为0。 Parbegin P2(): { P1(): { …… S1; V(synch); …… }; …… P(synch); S2; …… }; Parend;