计算机操作系统 第四章.pptVIP

视觉坐标测量机模型的研究 第4章??并发与互斥 基本概念 互斥：软件方法 硬件方法 信号量机制 管程 死 锁 4.1 基本概念 4.1.1 临界资源和临界区 临界资源（Critical Resources）：一种一次只能为一个进程服务的资源。 临界区（Critical Section）：进程中访问临界资源的程序。每个使用该资源的进程都要包含一个临界区。 操作系统在管理可控制资源分配与使用方面，应当保证进程对临界资源的访问满足以下3点： l????互斥访问要求。 l????不致于产生“死锁”。?? l 不能有“饥饿”进程。 4.1.2 互斥管理准则 空闲让进：当没有进程在临界区时，任何需要进入临界区的进程都允许立即进入。 忙则等待：在共享同一对象的所有进程中，一次只能有一个进程进入临界区。其它要求进入临界区的进程只能等待。 有限等待：任何一个进程经有限时间等待后都能进入临界区，不允许出现进程死锁或饥饿的情况发生。 让权等待：当一个进程不能进入临界区时要立即阻塞自己，释放处理机让其它进程使用，避免“忙等”。 4.2 互斥：软件方法 第一次尝试 算法中设计了一个变量turn保存允许进入临界区的进程编号（初值为1，表示进程1可以首先进入）。当一个进程要求进入临界区时，先检查turn的值。若turn保存的不是自己的进程编号就进行循环等待；否则进入临界区。访问完成后退出临界区，再将turn设置为对方的进程编号。 第二次尝试 算法中定义了一个标志数组flag[]。当flag[i]=true，表示进程i正在临界区。初始时Flag[]的各分量值皆为false，表示尚无进程进入。当一个进程要求进入临界区时，先检查是否有进程已进入。若有进程进入，就循环等待；否则，设置自己的标志为真，立即进入。访问完成后再将自己的标志设为假。 算法如下： Process P (1) Process P (2) Begin begin …… …… While (Flag[2]) do skip; While (Flag[1]) do skip; Flag[1] = true; Flag[2] = true; Critical section; Critical section; Flag[1] = false; Flag[2] = false; …… …… end. end. 第三次尝试 在第二次尝试的基础上，将其中的两个语句顺序交换，形成了新的算法如下： Process P (1) Process P (2) Begin begin …… …… Flag[1] = true; Flag[2] = true; While (Flag[2]) do skip; While (Flag[1]) do skip; Critical section; Critical section; Flag[1] = false; Flag[2] = false; …… …… end. end. 4.3.2 测试与设置指令 该指令将状态测试和状态设置集于一条指令中，形成一个原子操作。也就是说，两个操作的执行不受中断信号的干扰。下面将指令格式定义为TS（），功能是，读出一个指定变量的值，同时将一个新值置入。 对于逻辑变量，比如lock，TS（）的测试和设置的功能可描述为下面的函数： Function TS(lock) Beg