软件实现互斥进入临界区.pptVIP

* 第二章 进 程 管 理 Heb Nomal University Department of Computer Science 线程考研题： 在支持多线程的系统中，进程P创建的若干个线程不能共享的是 A.进程P的代码段 B.进程P中打开的文件 C.进程P的全局变量 D.进程P中某线程的栈指针 * * * 经典同步问题（生产者-消费者问题；读者-写者问题；哲学家进餐问题） * 管程 * * * 信号量 * * * 实现临界区互斥的基本方法（软件实现方法；硬件实现方法） * * * 进程同步的基本概念 进程 同步 * 线程概念与多线程模型 * 进程通信（共享存储系统；消息传递系统；管道通信） * 进程组织 * * 进程控制 * * * 进程的状态与转换 * * * 进程概念 进程 与线程 要 求 内 容 2009年为9分，2010年为6分， 2011年为12分 补充： 使用信号量之前，进程互斥方法： 软件方法 硬件方法 硬件解法 (1) “测试并设置”指令 硬件解法 (2) “交换”指令 硬件解法（3） “开关中断”指令 软件方法基本思路 在进入区检查和设置一些标志，如果已有进程在临界区，则在进入区通过循环检查进行等待；在退出区修改标志 主要问题是设置什么标志和如何检查标志 算法1：单标志位 设有两个进程Pi, Pj，其中Pi进程设立一个公用整型变量 turn，用来描述允许进入临界区的进程标识。 在进入区循环检查是否允许本进程进入 turn为i时，进程Pi可进入 在退出区修改允许进入进程标识 进程Pi退出时，改turn为进程Pj的标识j； (b) (a) while (TRUE) { while (turn != 1) /*循环*/ ; critical_region( ); turn = 0; noncritical_region( ); } while (TRUE) { while (turn != 0) /*循环*/ ; critical_region( ); turn = 1; noncritical_region( ); } 缺点：进程强制轮流进入临界区，容易造成资源利用不充分。如：在Pi让出临界区之后，Pj使用临界区之前，Pi不可能再次使用临界区。 算法2：双标志法（先检查） 设立一个标志数组flag[]：描述进程是否在临界区，初值均为FALSE。 先检查，后修改 在进入区检查另一个进程是否在临界区，不在时修改本进程在临界区的标志； 在退出区修改本进程在临界区的标志； 优点 不用交替进入，可连续使用 缺点 Pi和Pj可能同时进入临界区 如：按下面序列执行时，会同时进入：“Pia Pja Pib Pjb”。即在检查对方flag之后和切换自己flag之前有一段时间，结果都检查通过。 问题出在：检查和修改操作不能连续进行。 算法3：双标志法（先修改） 类似于算法2，区别在于先修改后检查 优点 防止两个进程同时进入临界区 缺点： Pi和Pj可能都进入不了临界区 如：按下面序列执行时，都进不了临界区：“Pib Pjb Pia Pja”。即在切换自己flag之后和检查对方flag之前有一段时间，结果都切换flag，都检查不通过。 * 第二章 进 程 管 理 Heb Nomal University Department of Computer Science