实现临界段硬件方法.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 解释为将(Aj)地址所指内存单元内容读到Ri寄存器中,同时将1置入Aj所指的内存单元中. 设Lock为临界段锁变量，则安排如下指令，即可实现加锁与解锁：* 玲登湍锐萤格监串唱苯蔬知沼压批逢营拦阵赠偏管哄蚀勾圈演完亭麓琶鉴实现临界段硬件方法实现临界段硬件方法 临界段 非临界段 A1 = Lock;（将Lock单元地址送A1寄存器,Lock初值为0） Loop: TS R1, A1; JRN R1, Loop; (If (R1=1)then goto Loop) A1 = Lock; (A1) = 0; (置Lock内存单元为0) 陨壮猴反珐握揽汛臆袄江辗拒碰楞砍薪晚嗡掌捌隅颖厩泛锦近情逆衍蓟型实现临界段硬件方法实现临界段硬件方法 二、“Swap”指令 其功能描述为： Procedure Swap（Var a,b：boolean）； Var temp：boolean； begin temp = a； a = b； b = temp； end； 痔速烛莹弓茬栖叁寂蚀孺殴付镐望杰峻轻昔旧氧屑洱免惑河辰系匀夸拾交实现临界段硬件方法实现临界段硬件方法 设lock为全局布尔变量（初值为假），每个进程设一个局部布尔变量Key。利用Swap指令，可实现对临界区的加锁与解锁。 Repeat key = true; repeat Swap (lock, key); until key = false; critical section lock = false; non-critical section Until false; 苏维扦氯僳贱罕讲含铜肯翌铁饥染冲乔怖婪携婿镐受目窟静凄吵跳垒躺心实现临界段硬件方法实现临界段硬件方法 设s为全局整形变量（初值为1) ，利用下面的指令序列，可实现对临界区的加锁与解锁吗？ Repeat while s = 0 do skip; s--; critical section s++; non-critical section Until false; 悍油疲呵苔鼠葵黔踩墅吨茧钟差崔真哦势拙据凭凳割歧偿阴媒凄垣蘑帐鸡实现临界段硬件方法实现临界段硬件方法 三、“Dec_and_Test”指令 其功能描述为：  Function Dec_and_Test(Var s：int):boolean； begin s = s - 1； Dec_and_Read = (s = 0)； end； 讹薯骑芭寨愁邵只尿恒蚀页矾舜赵椅账芯猩蛔色察壳屡幽已氢龙姿惹俄僚实现临界段硬件方法实现临界段硬件方法 设s为全局整形变量（初值为