第3章进程同步与通信资料.ppt

第3章 进程同步与通信 一些进程在系统中执行时需要与其他进程共享数据，以完成一项共同的任务，这些进程之间具有协作关系。 进程之间的协作关系包括互斥、同步和通信。 互斥是指多个进程不能同时使用同一资源。当某个进程使用某种资源时，其他进程必须等待。 同步是指多个进程中发生的事件存在着某种时序关系，某些进程的执行必须先于另一些进程。 进程通信是指多个进程之间要传递一定量的信息。 3.1 进程的同步与互斥 进程的交互 基本概念 互斥实现的硬件方法 ●禁止中断 ●专用机器指令 ●TS（Test and Set）指令 ●Swap指令 信号量和PV操作 信号量的PV操作 用信号量解决互斥问题 用信号量解决同步问题 3.2经典进程同步问题 生产者-消费者问题 用信号量解决“生产者-消费者”问题 读者-写者问题 哲学家进餐问题 打磕睡的理发师问题 理发店有一名理发师，一把理发椅，还有N把供等候理发的顾客坐的普通椅子。如果没有顾客到来，理发师就坐在理发椅上打磕睡。当顾客到来时，就唤醒理发师。如果顾客到来时理发师正在理发，顾客就坐下来等待。如果N把椅子都坐满了，顾客就离开该理发店去别处理发。 用信号量解决打磕睡的理发师问题 3.3 AND信号量 用信号量解决了很多同步和互斥问题，但在解决问题的过程中，我们也发现还存在一些问题，如： 在生产者和消费者问题中两个P操作的位置不能颠倒； 哲学家进餐问题中的死锁现象等。 这些问题的出现促使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信号量解决哲学家进餐问题 管程机制 3.4管程的定义 利用管程解决生产者-消费者问题 3.5 进程通信 进程通信的类型 进程通信中的几个问题 消息缓冲队列-数据结构定义 消息缓冲队列-接收原语 客户—服务器系统通信 常用的通信方式： ●命名管道 ●套接字 ●远程过程调用 ● 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继续等待；} } } 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提出了管程的概念把分散在各个进程中的与同一共享资源有关的同步处理从各进程中抽出并集中起来。 ●一个管程定义了一个数据结构和能为并发进程所执行（在该数据结构上）的一组操作，这组操作能同步进程和改变管程中的数据。 ●管程的基本思想是把信号量及其操作原语封装在一个对象内部，即将共享资源以及针对共享资源的所有操作集中在一个模块中。 管程= 数据