进程的同步与互斥.pptVIP

* * * * * * * * * * * * * * 讲幻灯后，So切下页 * 讲幻灯，切下页 * 讲幻灯，切下页 * 讲幻灯，切下页 * 将幻灯，切下页 * * * * * * AND型信号量 为了解决进程同时需要多种资源且每种资源要占用一段时间的问题，引入AND型信号量同步机制 死锁：在无外力作用下的一种僵持状态。 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4.1 进程的同步和互斥 信号量定义(记录型信号量) semaphore是一个结构体： typedef struct { int value; //资源的个数 struct process *L; //进程链表 } semaphore; 4.1 进程的同步和互斥 信号量操作wait现在可按如下来定义： void wait (semaphore S) { S.value - -; if (S.value 0) { add this process to S.L; block(); } } 信号量操作signal现在可按如下来定义： void signal (semaphore S) { S.value + +; if (S.value = 0) { remove a process P from S.L; wakeup(P); } } 申请一个单位的资源 释放一个单位资源 4.1 进程的同步和互斥 信号量S.value值含义 初始化指定一个非负整数值，表示空闲资源总数: 若为非负值：表示当前的空闲资源数（S. value = 0 :可用的资源数) 若为负值：其绝对值表示当前等待临界区的进程数(|S. value |为等待的进程数) 每个信号量 S除一个整数值 S. value （计数）外，还有一个进程等待队列 S.L，其中是阻塞在该信号量的各个进程的标识. 4.1 进程的同步和互斥 信号量的应用 合作进程的执行次序 共享缓冲区的进程的同步 4.1 进程的同步和互斥 合作进程的执行次序： 保证一组合作进程按照逻辑需要所确定的次序进行。 4.1 进程的同步和互斥 合作进程的执行次序 可以用一个图来表示进程集合的执行次序。图的连接描述了进程开始和结束的次序约束，此图称为进程流图. 例如P78，图4-2。 使用信号量机制实现图4-2的同步。（练习） 4.1 进程的同步和互斥 共享缓冲区的进程的同步 计算进程cp，负责不断地计算数据并送入缓冲区buffer中 打印进程iop，负责不断地从缓冲区buffer中取出数据去打印 cp iop 缓冲区buffer cp:生产数据，消费空间 iop:生产空间，消费数据 cp进程 { 计算得到结果 送到缓冲区 } iop进程 { 从缓冲区取数据 打印 } 设信号量Sa=0,Sb=1 //Sa表示数据个数，Sb表示缓冲区个数； wait(Sb); signal(Sa); signal(Sb); wait(Sa); 解题步骤一 分析题中各进程间的制约关系； 4.1 进程的同步和互斥 4.1 进程的同步和互斥 解题步骤二 按上面的分析结果设置相应的信号量（包括信号量的名字、个数和初值及物理含义?仅限同步问题） 注意：对于互斥问题，一般只设1个信号量，且设初值为1；而对于同步问题，合作进程间需要收发几条消息就相应设置几个信号量，且初值一般设为0，表示消息尚未产生。 4.1 进程的同步和互斥 解题步骤三 把wait、signal操作加到进程代码的适当处。 一般地，wait,signal操作总是配对出现的，但具体描述互斥时，wait,signal操作出现在同一进程中（且分别紧挨在临界区前后）；而具体描述进程同步时，wait,signal操作常出现在不同的进程中，且一进程发送消息时用signal(s)，而它的合作进程接收此消息时用wait(s) 4.2 经典同步问题 生产者——消费者问题 the producer-consumer problem 读者——写者问题 the readers-writers problem 哲学家进餐问题 the dining philosophers problem 理发师问题 生产者/消费者问题 0 1