计算机操作系统03-2.pptVIP

计算机操作系统 本章主要内容（续） 3.7进程通信 3.8死锁问题 3.9线程 3.7进程通信的概念 进程通信（communication）： 定义： 简单地说，就是进程间的信息交换。 分类： 低级通信：进程间控制信息的交换。 信号量及锁变量只能传递信号,没有数据转送能力。 借助于有界缓冲区可以交换一定的数据,但由于一次只能读写一个数据,开销和局限性很大。 高级通信：进程间大批量信息(数据)的交换。 消息缓冲机制 消息缓冲机制的基本思想: 根据生产者与消费者关系原理,利用内存的共用消息缓冲池实现进程之间的信息交换。 消息缓冲区是指含有如下信息的缓冲区: 指向发送进程的指针 指向下一个消息缓冲区的指针 消息长度 消息正文 消息缓冲区作为进程通信的一个基本单位,即每当发送进程欲发送消息时,便申请并形成一个消息缓冲区,并发送给指定的接收进程。 消息缓冲机制 消息缓冲机制的实现过程: 发送进程在发送消息前，先在自己的内存空间设置一个始地址为a的消息发送区，把欲发送的消息填入其中，然后再用发送过程send (B，a)将其发送到缓冲区。 接收进程则在接收消息之前，在自己的内存空间内设置一个始地址为b的消息接收区，然后用接收过程receive (b)接收缓冲区内的消息。 由于接收进程可能接收到多个进程发来的多个消息缓冲区,故它将所有的消息缓冲区连接成一个消息队列,其队列头由接收进程PCB中的消息队列头指针给出。 消息缓冲机制 消息缓冲机制的实现过程: 消息缓冲机制 两通信进程之间的关系: 在发送进程把消息写入缓冲区和把缓冲区挂入消息队列时，应禁止其他进程对该消息缓冲区队列的访问。否则，将引起消息队列的混乱。同理，当接收进程正从消息队列中取消息缓冲区消息时，也应禁止其他进程对该队列的访问。 间接制约 设置公用信号量: mutex ，其初值为1 。 当消息缓冲区队列中无消息存在时，接收进程不能接收到任何消息。 直接制约 设置私用信号量:SM为接收进程的私用信号量，表示等待接收的消息个数，其初值为0 。 消息缓冲机制 进程之间通信的实现: 邮箱通信 邮箱通信的基本思想: 邮箱通信是由发送进程申请建立一个与接收进程连接的邮箱,发送进程把消息送往邮箱,接收进程从邮箱取走消息,从而完成进程间信息交换。 邮箱由邮箱头和邮箱体组成。其中邮箱头描述邮箱名称、邮箱大小、邮箱方向以及拥有该邮箱的进程名等。邮箱体主要用来存放消息（如图） 。 设置邮箱的最大好处就是发送进程和接收进程之间没有处理时间上的限制。 邮箱通信 两通信进程之间的关系: 发送进程发送消息时，邮箱中至少要有一个空格能存放该消息。 接收进程接收消息时，邮箱中至少要有一个消息存在。 即发送进程与接收进程间存在着直接制约。 发送进程的私用信号量: nullnum表示邮箱中空格个数,初值为信箱的空格数 n 。 接收进程的私用信号量: fullnum表示邮箱中消息个数,初值为0 。 邮箱通信 实现（两个进程通信）： 设发送进程调用过程 deposit(m)将消息发送到邮箱，接收进程调用过程remove(m)将消息m 从邮箱中取出。 经典的进程同步问题 生产者–消费者问题（即有界缓冲区问题） 3.8死锁定义 定义：系统中存在各种进程被阻塞而且不能解除的情况，通称为死锁。 因此，所谓死锁是指一种僵局：在系统运行的某一时刻，当一组进程中的某个进程提出资源请求或者彼此同步时，使得此组进程在无外力作用下永远不能再向前推进，此时称这组进程处于死锁状态。 若死锁只存在于部分进程中，称系统发生了局部死锁；若系统中所有进程都出现了死锁，则称系统发生了全局死锁。 死锁的起因 死锁的起因是并发进程的资源竞争,而根本原因在于系统提供的资源个数少于并发进程所要求的该类资源数。 死锁发生的必要条件 互斥条件： 一个资源在某一时刻只能分配给一个进程。若一个进程申请某资源时，该资源被另一进程占用，则申请者等待，直到占有者释放该资源时才可能获得。 请求与保持条件： 进程在占用部分资源后，运行时还可以申请其余的资源，而且在申请其余资源时并不释放已占用的资源。 死锁发生的必要条件 非剥夺条件： 已分配给进程的资源不可被剥夺，只能被占有者自行释放。 循环等待条件： 系统中存在着一条由两个 或两个以上的进程组成的循 环链，链中的每个进程都在 等待相邻进程已占用的资源。 解决死锁的方法 预防死锁 死锁产生的必要条件为解决死锁问题提供了思路。 限制“互斥条件” 对于临界资源必须互斥访问，这是某些资源使用时所必须要求的，不能加以改变，所以不易有解决方案。 解决死锁的方法 预防死锁 限制“请求与保持条件” 一种实现方法是规定所有进程在开始