第3章进程同步与通信祥解.ppt

用信号量解决打磕睡的理发师问题 void customer () //顾客进程 {P(mutex); if (waiting CHAIRS)//如果有空位，顾客等待 {waiting++; V(customers); //如果有必要，唤醒理发师 V(mutex); P(barners); //如果理发师正在理发，则顾客等待 get_haircut(); } else //如果没有空位，则顾客离开 V(mutex); } #define CHAIRS 5 //为等候的顾客准备的座椅数semaphore customers = 0; //等候理发的顾客数semaphore barners = 0; //等候顾客的理发师数semaphore mutex = 1;int waiting; void barber() //理发师进程 { while (true) {P(customers);//如果没有顾客，理发师就打磕睡 P(mutex);//互斥进入临界区 waiting--; V(barners);//理发师准备理发了 V(mutex); cut_hair();//理发 } } 用信号量解决了很多同步和互斥问题，但在解决问题的过程中，我们也发现还存在一些问题，如： 在生产者和消费者问题中两个P操作的位置不能颠倒； 哲学家进餐问题中的死锁现象等。 这些问题的出现促使AND信号量的产生 ，继而又发展到一般“信号量集”。 ● 3.3 AND信号量 在有些应用中，一个进程需要先获得两个或更多的共享资源后，方能执行其任务。 这样有时会使两个进程处于僵持状态，都无法继续运行。 AND信号量同步机制就是要解决上面的问题，其基本思想是，将进程在整个运行期间所需要的所有临界资源，一次性地全部分配给进程，待该进程使用完后再一起释放。只要尚有一个资源不能满足进程的要求，其他所有能分配给该进程的资源也都不予以分配。 AND信号量定义 Swait(s1,s2,…,sn) {if (s1 = 1 s2 = 1 … sn= 1) { /* 满足资源要求时*/ for (i = 1; i = n; i = i + 1) si = si -1; } else { /* 某些资源不能满足要求时*/ block(si.queue ) /*将进程投入第一个小于1的信号量的等待队列si.queue */ ; } } AND信号量定义 AND信号量定义 Ssignal(s1,s2,…,sn) { for (i = 1; i = n; i = i + 1) {si = si +1; for ( 等待队列si.queue中的每个进程P) if ( 进程P通过Swait中的测试) {/* 通过检查，即资源够用 */ wackup(P); //唤醒进程P；} else {/* 未通过检查，即资源不够用 */ 进程P继续等待；} } } 用AND信号量解决哲学家进餐问题 semaphore chopstick[5] ={1,1,1,1,1}; void philosopher ( int i ) /*哲学家进程*/ {while (true) {Swait(chopstick[i], chopstick[ (i + 1) % 5]); eat(); /* 进餐 */ Ssignal(chopstick[i], chopstick[(i + 1) % 5]); think(); /* 思考 */ } } 管程机制 引入的原因： ●信号量机制虽然既方便又有效地解决了进程同步问题，但要求访问临界资源的进程自备同步操作wait(s)、signal(s)，使得大量的同步操作分散在各个进程中，给进程的管理带来不便，并会因同步操作使用不当导致死锁。 ● Hoare和Hanson提出了管程的概念把分散在各个进程中的与同一共享资源有关的同步处理从各进程中抽出并集中起来。 ●一个管程定义了一个数据结构和能为并发进程所执行（在该数据结构上）的一组操作，这组操作能同步进程和改变管程中的数据。 ●管程的基本思想是把信号量及其操作原语封装在一个对象内部，即将共享资源以及针对共享资源的所有操作集中在一个模块中。 管程= 数据结构 + 操作 + 对数据结构中变量的初始化 ● 3.4管程的定义 管程的特征 ●管程的主要特征： ●局限于管程的共享变量（数据结构），只能被管程的过程