进程同步解.pptVIP

3.6进程同步 3.6.1同步的概念 3.6.2私用信号量 3.6.3用PV原语操作实现同步 3.6.4 经典进程同步问题 3.6.1同步的概念 并发进程之间存在相互制约关系 进程P1 : 进程P2: L1:P(S) L2:V(S) 信号量初值:S=0 同步： 一个进程到达了某写点后，除非另一个进程已经完成了某写操作，否则就不得不停下来等待这些操作的结果，这就是进程同步。 用消息wait(消息名）等待合作进程发来消息用消息signal(消息名）表示向合作进程发去消息初始Bufempty=n(缓冲区个数)，Buffull=0 并发进程之间存在相互制约关系 Pc: …. Pp:……. A:wait( Bufempty) B:wait(Buffull) 计算 得到计算结果 打印Buf中的数据 Buf ←计算结果 清除Buf中的数据 Bufempty←false Buffull←false Signal(Buffull) Signal(Bufempty) Goto A Goto B 3.6.2私用信号量 就是信号量与制约进程及被制约进程有关而不是与整组并发进程有关。该信号量为私用信号量（private semaphere)。 互斥时使用的信号量为公用信号量 3.6.3用PV原语实现进程同步 有了私用信号量，用P，V原语操作可以实现进程间的同步。 例如：Pa为发送进程，由deposit(data)调用发送过程。Pb 为接收进程，remove(data)调用接收过程。 Pa的私用信号量Bufempty,初值n Pb的私用信号量Buffull,初值0 Pa:deposit(data): Pb:remove(data): begin local x begin local x P(Bufempty); P(Buffull); 按FIFO方式选择一空Buf(x) 按FIFO方式选择一满Buf(x) Buf(x)←data data ← Buf(x) Buf(x)置满标志 Buf(x)置空标志 V(Buffull) V(Bufempty) end end 3.6.4 经典进程同步问题 采用信号量机制： full是“满”数目，初值为0， avail是“空”数目，初值为N。 实际上，full和avail是同一个含义：full + avail == N mutex用于访问缓冲区时的互斥，初值是1 每个进程中各个P操作的次序是重要的：先检查资源数目，再检查是否互斥――否则可能死锁 采用AND信号量集：Swait(avail, mutex), Ssignal(full, mutex), … P：i = 0;while (true) { 生产产品; P(avail); P(mutex); 往Buffer [i]放产品; V(mutex); V(full); i