02-3-第二章进程管理-3.ppt

3. 进程同步方式 发送和接收进程，在完成消息的发送或接收后，都存在进程或者继续发送(接收)，或者阻塞。有三种情况： 发送进程阻塞、 接收进程阻塞。 无缓冲区，有消息传递时启动 (2) 发送进程不阻塞、 接收进程阻塞。 客户/服务 (3) 发送进程和接收进程均不阻塞。 多缓冲区生产者－消费者问题 2.6.4 消息缓冲队列通信机制 1. 消息缓冲队列通信机制中的数据结构 (1) 消息缓冲区。在消息缓冲队列通信方式中，主要利用的数据结构是消息缓冲区。它可描述如下： type message buffer=record sender; 发送者进程标识符 size; 消息长度 text; 消息正文 next; 指向下一个消息缓冲区的指针 end (2) PCB中有关通信的数据项。在利用消息缓冲队列通信机制时，在设置消息缓冲队列的同时，还应增加用于对消息队列进行操作和实现同步的信号量，并将它们置入进程的PCB中。在PCB中应增加的数据项可描述如下： type processcontrol block=record … mq; 消息队列队首指针 mutex; 消息队列互斥信号量 sm; 消息队列资源信号量 … end 2. 发送原语 发送进程在利用发送原语发送消息之前，应先在自己的内存空间，设置一发送区a，见图 2 - 12 所示，把待发送的消息正文、发送进程标识符、消息长度等信息填入其中，然后调用发送原语，把消息发送给目标(接收)进程。发送原语首先根据发送区a中所设置的消息长度a.size来申请一缓冲区i，接着，把发送区a中的信息复制到缓冲区i中。为了能将i挂在接收进程的消息队列mq上，应先获得接收进程的内部标识符j，然后将i挂在j.mq上。由于该队列属于临界资源， 故在执行insert操作的前后，都要执行wait和signal操作。  图 2 - 12 消息缓冲通信 procedure send(receiver, a) begin getbuf(a.size,i); 根据a.size申请缓冲区； i.sender∶= a.sender; 将发送区a中的信息复制到消息缓冲区之中； i.size∶= a.size; i.text∶= a.text; i.next∶ = 0; getid(PCB set, receiver.j); 获得接收进程内部标识符； wait(j.mutex); insert(j.mq, i); 将消息缓冲区插入消息队列； signal(j.mutex); signal(j.sm); end 3. 接收原语 接收原语描述如下： procedure receive(b) begin j∶= internal name; j为接收进程内部的标识符； wait(j.sm); wait(j.mutex); remove(j.mq, i); 将消息队列中第一个消息移出； signal(j.mutex); b.sender∶= i.sender; 将消息缓冲区i中的信息复制到接收区b; b.size∶= i.size; b.text∶= i.text; release i； 将消息缓冲区i归还给系统 end 2.7 线 程 2.7.1 线程的基本概念 1.进程的两个基本属性： .资源的拥有者： 给每个进程分配一虚拟地址空间，保存进程映像，控制一些资源（文件，I/O设备），有状态、优先级、调度 .调度单位： 进程是一个执行轨迹 以上两个属性构成进程并发执行的基础   Input thread B