实现临界段硬件方法.pptVIP

第八讲 信号量 4.2.3 实现临界段的硬件方法 4.2.4 信号量 信号量的使用（互斥与同步） 信号量的具体实现 4.2.5 进程同步与互斥举例 有限缓冲区问题 哲学家就餐问题 小结 目的与要求：掌握信号量解决进程同步互斥问题的方法。 重点与难点：信号量的典型应用 作业：15，16，17 * * * 4.2.3 实现临界段的硬件方法 利用处理机提供的特殊指令实现临界区加锁 常见硬件指令有: 一、“Test_and_Set”指令 二、“Swap”指令 三、“Dec_and_Test”指令 一、“Test_and_Set”指令 其功能描述为： Function Test_and_Set(Var target：boolean) :boolean； begin Test_and_Set = target； target = true； end； 设lock为全局布尔变量，利用Test_and_Set指令，即可实现对临界区的加锁与解锁： Repeat while Test_and_Set (lock) do skip critical section lock = false; non-critical section Until false; “Test_and_Set” 读后置1指令实例： TS Ri,Aj