第八讲同步与互斥实现方法目的与要求理解互斥问题的软硬件实现方法.pptVIP

第八讲 同步与互斥实现方法 目的与要求：理解互斥问题的软硬件实现方法；掌握信号量机制及使用它解决进程同步互斥问题的方法。 重点与难点：信号量实现及使用。 作业：1，2，4，7，13。 * * 解决临界段问题的软件算法必须遵循： 准则1：不能虚设硬件指令或假设处理机数目。 准则2：不能假设n个进程的相对速度。 准则3：当一个进程未处于其临界段时，不应阻止其他进程进入临界段。 准则4：当若干进程欲进入临界段时，应能在有限时间内选出一个进程进入其临界段。 4.2.2 实现互斥的软件算法 进入临界段之前要申请，获得批准方可进入； 退出临界段之后要声明，以便其他进程进入。 协调各进程入临界段的调度原则： 当无进程处于临界段时，允许一个进程立即进入临界段。 当已有进程进入临界段时， 其他试图进入的进程必须等待。 当某进程退出临界段时，若有等待进入临界段的进程，则应选取一个进入临界段。 软件算法举例: Pi 表示一个进程 Pj 表示另一个进程 （i=0, 1； j=1- i ） Repeat Entry code exit code Critical section Non-ritical section Until false; Repeat While turn≠i do skip ; turn= j ; Critical section Non-ritical section Until false; 算法1：设一个共享的整型变量turn（0，1） 不满足准则3 Repeat While flag[j] do skip flag[i] = true； flag[i] = false； Critical section Non-ritical section Until false; 算法2：设一个表示进程状态的数组 Var flag：array[0..1] of boolean 不满足互斥要求 Repeat flag[i] = true； While flag[j] do skip； flag[i] = false； Critical section Non-ritical section Until false; 算法3：设一个表示进程状态的数组 Var flag：array[0..1] of boolean 不满足准则4 Repeat flag[i] = false； Critical section Non-ritical section Until false; 算法4：在标志置true的时候注意一下 对方的状态 不 满 足 准 则 4 flag[i] = true； While flag[j] do begin flag[i] = false； While flag[j] do skip； flag[i] = true； end turn = j; flag[i] = false； 算法5：设一个表示进程状态的数组和一个令牌 Var flag：array[0..1] of boolean turn：0..1 flag[i] = true； While flag[j] do begin flag[i] = false； While turn==j do skip； flag[i] = true； End; if turn==j then Dekker算法 OK！ 4.2.3 实现临界段的硬件方法 利用处理机提供的特殊指令实现临界区加锁。 常见硬件指令有: 一、“Test_and_Set”指令 该指令功能描述为： Function Test_and_Set（Var target：boolean） :boolean； begin Test_and_Set = target； Target = true； end； 二、“Swap”指令 该指令功能描述为： Procedure Swap（Var a,b：boolean）； Var temp：boolean； begin temp = a； a = b； b = temp； end； 设Lock为全局布尔变量，利用TestSet指令，即可实现对临界区的加锁与解锁： Repeat while TestSet (lock) do skip critical section lock = false; non-critical section Until false; 设Lock为全局布尔变