第六讲 进程的同步(续).ppt

第 六 讲 进 程 的 同 步（续） 例3：哲学家吃通心面问题 上述解法可能出现永远等待，有若干办法可避免死锁： 至多允许四个哲学家同时拿左边筷子； 奇数号先取左边的叉子，偶数号先取右边的叉子； 每个哲学家取到手边的两把叉子才吃，否则一把叉 子也不取。 例4：读者写者问题 因此，当Readcount=0, 表示尚无Reader进程在读时，Reader进程才需要执行wait(Wmutex)操作。若wait(Wmutex)操作成功，Reader进程便可去读，相应地，做Readcount+1操作。 同理，仅当Reader进程在执行了Readcount减1操作后其值为0时，才须执行signal(Wmutex)操作，以便让Writer进程写。 var Readcount : integer:=0; Wmutex，Rmutex: semaphore; Readcount := 0; /* 读进程计数 */ Wmutex := 1; Rmutex := 1; procedure read; procedure write; begin begin P(Rmutex); P(Wmutex); if Readcount =0 then P(Wmutex)； 写文件; //是第一个读者 V(Wmutex); Readcount := Readcount + 1; end; V(Rmutex);//允许下一读者进入 读文件； P(Rmutex); Readcount := Readcount - 1; if Readcount = 0 then V(Wmutex)； //没有读者了 V(Rmutex); end; 2.5 进程的通信 一、进程通信的概念 进程通信的定义：进程间的信息交换。 信号量及PV操作可实现进程互斥和同步，但缺乏传输大量消息的能力。这是一种低级的、间接的通信方式。 。进程通信是指进程之间可直接以较高的效率传递较多数据的信息交换方式。这种方式中采用的是通信机构。 所谓信件是指进程之间相互传递的赖以发生交互作用的有结构的数据。 通信机构将紧密地与进程的阻塞和释放相联系。 这样，进程间的通信就进一步扩充了并发进程 间对数据的共享。 二、进程通信的类型 1、进程的通信方式有：共享存储器方式、消息传递方式。 共享存储器方式分为共享数据结构方式和共享存储区方式 共享数据结构方式比如临界区，该数据类型的设置及管理必须由程序员完成，因此不常用,是低效的 共享存储区方式即信箱通信 进程通过对共享存储区中数据的读写来实现通信 消息传递方式 message为传递单位,也称报文 程序员通过系统提供的通信原语进行通信,操作系统隐藏了通信的细节 有直接和间接两种方式 三、消息传递系统的实现 1、消息传递方式有直接和间接两种。 2、直接通信方式 使用原语 Send(Receiver,message)：发送一个消息给接收方， Receive(Sender,message)：接收sender发来的消息 接收进程可与多个发送进程通信，接收原语中的源进 程参数，可灵活设置 3、间接通信方式 建立在共享数据结构的基础上实现通信 信件 信件内容包括发送者名信息（或信息存放地址和 长度）和等/不等回信；回信存放地址。 利用信箱实现通信 信箱 若干个进程都可向一个进程发送信件，接收的进程设立一个信箱。信箱大小决定了可以容纳的信件数。 每个信箱由“信箱说明”和“信箱体”两个部分组成。 通信原语 “发送”（Send）原语和“接收”(Receive)原语。 为避免信件的丢失和错误地索取信件，通信时应 遵循同步规则。 接收原语： S1为信箱满否信号量，初值为信箱B容量n； S2为信箱中当前信件数的信号量，初值为0。 算法 Receive(B,X) 输入：信箱B，接收区X 输出：无 { 根据信箱B找到该信箱（或接收进程）信号量S2; P(S2);//查询有无信件可取？若无则阻塞等待 X=B[J]; /*从信箱中取一封信件*/ J=(J+1) mod n; /*调整取信指针*/