操作系统第6章 进程互斥与同步.pptVIP

第6章 进程互斥与同步 目的与要求：了解同步与互斥问题，理解互斥问题的软硬件实现方法；掌握信号量机制及使用它解决进程同步互斥问题的方法，掌握进程通信的基本实现方法。 重点与难点：信号量实现及使用。 6.1 进程的互斥 互斥关系（亦称间接制约关系）: 即进程间因相互竞争使用独占型资源（互斥资源）所产生的制约关系。 同步关系（亦称直接制约关系）: 指完成同一任务的伙伴进程间，因需要在某些位置上协调它们的工作而相互等待、相互交换信息所产生的制约关系。 1 临界段问题（互斥问题） 例1： P1,P2两进程使用同一打印机。如果不互斥使用会交叉输出。 3、哲学家就餐问题 问题描述：五个哲学家五只筷子，哲学家循环做着思考和吃饭的动作，吃饭程序是：先取左边筷子，再取右边筷子，再吃饭，再放筷子。 * * Entry code exit code 使用打印机 P1 Entry code exit code 使用打印机 P2 例2: 对共享变量count的互斥访问。 p1: { n=count; n=n+100; count:=n;} p2:{ m=count; m=m+200; count:=m;} 互斥执行 2.实现访问互斥的软件算法 进入临界段之前要申请，获得批准方可进入； 退出临界段之后要声明，以便其他进程进入。 用程序描述： While(1){ entry_section; critical_section; exit_section; remainder_section; } 临界资源：一次仅允许一个进程使用的资源（如打印机等硬件资源也包括共享的变量、缓冲区、表格、队列等）。临界段：相关进程中访问临界资源的代码段（临界区）。 准则1:不能虚设硬件指令或假设处理机数目。 准则2:不能假设n个进程的相对速度。 准则3:当一个进程未处于其临界段时，不应阻止 其他进程进入临界段。 准则4:当若干进程欲进入临界段时，应在有限时 间内选出一个进程进入其临界段。 协调各进程入临界段的调度原则： 当无进程处于临界段时，允许一个进程立即进入临界段。 当已有进程进入临界段时，其他欲进入的进程必须等待。 当某进程退出临界段时，若有等待进入临界段的进程， 则应选取其中一个进入临界段。 用准则3，4不难推出下面原则 解决临界段问题的软件算法必须遵循： Pi 表示一个进程 Pj 表示另一个进程 (i=0, 1； j=1-i) while(1){ Entry code exit code Critical_section Non-Criticalsection } Void critical_section() { Common variable declaration; co-begin P0; P1; co-end; } 可并发执行 软件算法举例（P0,P1两进程): Pi进程 while(1){ while(turni) ; turn= j ; Critical section Non-Critical section } 满足只有一个进程在临界段； 不满足准则3， 若turn=0，且P0也未在临界段，P1因得不到令牌而无法进入临界段。 算法1:设一个共享的整型变量 turn=0,1(turn令牌) while(1){ while (flag[j]); flag[i]=1； flag[i] = 0； Critical section Non-Critical section } 满足准则3； 不满足互斥要求： P0,P1同时要求进入临界段，若flag[0]=flag[1]，可能两者同时进入临界段，或者两者都不能进入临界段。 算法2 :设一个表示进程状态的数组 flag[i]=0,1 while(1){ flag[i] = 1； while (flag[j]) ； flag[i] = 0； Critical section Non Critical section } 满足互斥； 不满足准则4： 当P0置flag[0]=1 ，而P1置flag[1]=1两者将无休止等待。 算法3:设一个表示进程状态的数组 flag[i]=0,1 while(1){ flag[i] = 0； Critical section Non-Critical section } 不满