第3章进程同步与通信3.pptVIP

第3章 进程同步与通信 3.3 AND信号量 用信号量解决了很多同步和互斥问题，但在解决问题的过程中，同时还存在一些问题。 例： 两个进程P1和P2，它们共享两个局部变量R1和R2，因此设置两个互斥信号量mutex1和mutex2，并令它们初值为1。 //进程P1 //进程P2 P(mutex1); P(mutex2); P(mutex2); P(mutex1); 两个进程处于僵持状态，都无法继续运行 这些问题的出现促使AND信号量的产生 。 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 进程通信 进程通信的类型 进程通信中的几个问题 消息缓冲队列-数据结构定义 消息缓冲队列-接收原语 客户—服务器系统通信 常用的通信方式： ●命名管道 是客户端－服务器系统中一种可靠的双向通信机制，它由命名管道服务器和命名管道客户端组成。 ●套接字 由IP地址和端口号组成。 采用客户端－服务器模式。 ●远程过程调用  允许程序调用网络上其他计算机上的过程。 * * ●进程同步与互斥 ●经典进程同步问题 ●管程 ●AND信号量 ●进程通信 本章要点 ● 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(); /* 思考 */ } } ●略 ● ● 信号量作为进程同步和互斥工具是卓有成效的。但作为通信工具就不够理想。原因为： ●效率低——一次只传一条消息。 ●通信对用户不透明。 因此必须引入高级通信工具，解决进程之间大量的信息传递问题 ● 共享存储器系统 ● 消息传递系统 ● 直接通信方式 ● 间接通信方式 一对一 多对一 一对多 多对多 ● 管道通信 ● 互斥能力 ● 同步能力 ●通信链路的建立方式 ●显示建立链路 ●隐式建立链路 ●通信方向 ●单向通信 ●双向通信 ●通信链路连接方式 ●点对点方式 ●广播方式 ●通信链路的容量 ●无容量通信链路 ●有容量通信链路 ●数据格式 ●字节流 ●报文 ●同步方式 ●阻塞方式 ●不阻塞方式 //消息缓冲区定义 struct message_buffer { char sender[30]; /*发送进程标识符*/ int size; /*消息长度*/