操作系统--进程管理教案分析.pptVIP

end process 2: begin repeat wait(mutex); critical section signal(mutex); remainder section until false; end parend 2. 利用信号量实现前趋关系 前趋图举例 Var a,b,c,d,e,f,g; semaphore∶=0,0,0,0,0,0,0; begin parbegin begin S1; signal(a); signal(b); end; begin wait(a); S2; signal(c); signal(d); end; begin wait(b); S3; signal(e); end; begin wait(c); S4; signal(f); end; begin wait(d); S5; signal(g); end; begin wait(e); wait(f); wait(g); S6; end; parend end 作业：系统有三个进程Read,Write1,Write2共享一个整数缓冲器b,b中每次只能存放一个整数。Read进程每次启动输入设备输入一个整数到b。若b中是奇数，则由进程Write1将其取出打印；若b中是偶数，则由进程Write2将其取出打印。规定输入与打印整数的个数和次序完全一致。（用Ｐ、Ｖ原语实现） 3.5.1、同步的定义 ◆同步的定义：一组并发进程由于相互合作共同完成某种任务，因而相互等待，使得各进程按一定的速度执行的过程。 ◆互斥是一种特殊的同步。 ◆私用信号量：只与制约和被制约进程有关的信号量。 用于同步的信号量。 例： 分析：根据题意可知： 只有当缓冲队列有一个及一个以上满缓冲时，Pb才可以继续执行，否则等待Pa发送数据； Pb Pa Bufn Buf2 Buf1 3.5 进程同步的概念 同理只有当缓冲队列中有一个及一个以上空缓冲时，Pa才可以继续执行，否则等待Pb取走数据； 因此，Pa和Pb之间存在同步关系。 ◆信号量的设定： 设代表满缓冲区数量的信号量为Full 设代表空缓冲区数量的信号量为Empty 设初值：Full=0, Empty=n 3.5.2 用P、V实现进程同步示例 ◆生产者-消费者问题分析 1 2 3 …… n p1 p2 pm c1 c2 cm 分析生产者进程与消费者进程间的同步互斥关系 1）生产者进程间（互斥） 2）消费者进程间（互斥） 3）生产者-消费者之间（同步互斥） ◆信号量设定： 设代表非空缓冲区数量的信号量为full,代表空缓冲区数量的信号量为empty，代表缓冲区资源使用情况的信号量为mutex(互斥） 设定初值：full=0,empty=n,mutex=1 书写算法： 1、生产者 首先申请空缓冲区资源，若无则等待 申请占用缓冲区(why) 查找空闲缓冲区，在找到的空缓冲区中填入数据，置满缓冲标志。 放弃对缓冲区的占用，增加可用满缓冲数量 2、消费者： 首先申请满缓冲资源，若无则等待 申请占用缓冲区(why) 查找满缓冲区，从找到的满缓冲区中取走数据，置空闲缓冲标志 放弃对缓冲区的占用，增加可用空缓冲区数量 main() { int full=0; int empty=n int mutex=1; cobegin p1();p2();……;pm(); c1();c2();……;ck(); coend; producer() {while(生产未完成） {生产一个产品； P(empty); P(mutex); 送数据入缓冲区某单元； V(full); V(mutex); } } consumer() {while(还要继续消费） P(full); P(mutex); 取缓冲区某单元数据； V(empty); V(mutex); 消费一个产品； } } 3.5.2 用消息通信实现哲学家进餐问题 分析:每个哲学家的行为是：思考，感到饥饿，拿到两只筷子，进餐，餐毕，放下两只筷子又继续思考。为了进餐，每个哲