第3章进程管理201404新版研讨.ppt

3.6.5 高级进程通信 1、消息缓冲：直接通信，发送者直接把消息送到接受者的消息队列缓冲区中。多用于本地进程之间。 关键几点： 1）、系统要设置一系列消息缓冲区，规定缓冲区的结构（数据项目sender、size、text、next分别表示消息发送者、消息长度、消息正文、指向下一个消息缓冲区的指针）。 2）、在PCB中增加与消息缓冲队列有关的数据项目（mq、mutex、sm分别表示消息队列队首指针、访问消息队列的互斥信号量、访问消息队列的计数信号量）。 3）、提供消息的发送原语和接受原语：send(receiver,a)(把消息a送到receiver的消息队列中) 和receive(b)（从自己的消息队列中取出一个消息放入缓冲区B中）. 2、邮箱通信：间接通信，发送者把消息送到邮箱，接受者到邮箱去取消息。多用于网络上的异地进程之间。 3、管道通信：进程之间传送大量的数据，主要用于本地的协作进程之间。 管道通信的应用参见P70----参见P73 3.7 死锁及其对策3.7.1 死锁及其产生条件 死锁：若干进程循环等待对方所占资源，并且无休止地等待下去。 例1：P、V操作不当引起死锁 设信号量S1、S2的初值皆为1，只有进程Pa、Pb使用之，这两个进程的执行过程为： Pa： Pb： 、、、 、、、 P(S1) P(S2) P(S2) P(S1) 、、、 、、、 V(S2) V(S1) V(S1) V(S2) 、、、 、、、 假设进程Pa、Pb按下列顺序穿插执行： Pa：P(S1) Pb：P(S2) Pb：P(S1) ----此时Pb被封锁 Pa：P(S2) ----此时Pa被封锁 则此后Pa、Pb互相等待对方来对自己解除封锁，形成死锁。 例2：竞争使用临界资源引起死锁 Req(R) 、Rel(R)分别表示申请分配一个资源、释放一个资源 进程Pa、Pb的执行过程为： Pa： Pb： 、、、 、、、 Req(R1) Req(R2) Req(R2) Req(R1) 、、、 、、、 Rel(R2) Rel(R1) Rel(R1) Rel(R2) 、、、 、、、 假设进程Pa、Pb按下列顺序穿插执行： Pa：Req(R1) Pb：Req (R2) Pb：Req (R1) ----此时Pb被封锁 Pa：Req (R2) ----此时Pa被封锁 则此后Pa、Pb互相封锁等待对方所分配到的资源，形成死锁。 死锁一般是由进程竞争临界资源而引起的，是一种与时间有关的错误现象，不具有可再现性。 产生死锁的四个必要条件（之合即为充分条件）： 1）互斥使用：即每一个资源每次只能分配给一个进程。 2）非剥夺式分配：即只能由获得资源进程自己释放所占用的资源。 3）部分分配：即进程每次只申请其最大资源需求量的一部分。 4）循环等待：发生死锁时，必然存在一个进程—资源的循环链。 带环路的进程资源图 *注该例不存在循环链 0 0 Pa Pb 获得资源 R1 R2 申请资源 0 0 Pc Pb Pa 0 0 0 R1 R2 R3 化简 Pc运行结束后 0 0 Pc Pb Pa 0 0 0 R1 R2 R3 化简 Pb运行结束后 0 0 Pc Pb Pa 0 0 0 R1 R2 R3 带环路的进程资源图 *注该例不存在循环链 o o Pa o o o R1 R2 化简 Pc运行结束后 Pb Pc R3 o R1 o R2 Pa Pb Pc o o o R3 Pa Pb Pc R1 o R2 o o o o 进程资源图化简