通常是应用硬件供给的有关同步指令.pptVIP

如果锁空闲，将其交给该处理器；如果锁忙，控制 器产生一个结点请求记录，并将锁忙的标志返回给 处理器，然后该处理器不停地进行检测。 当该锁被释放时，控制器从等待的进程排队中选出 一个使用锁，这可以通过更新所选进程Cache中的 锁变量来完成。 7.5 同 步 辛它栏您操棉酸骗播肩菊磊测边寄陇助影瞅协升律奋霞您慢职构炸凿格舌通常是使用硬件提供的有关同步指令通常是使用硬件提供的有关同步指令 例7.5 如果在排队锁的使用中，失效时进行锁更新，求10个处理器完成lock及unlock所需的时间和总线事务数。假设条件与前面例子相同。 解 对n个处理器，每个处理器都初始加锁产生1个总线事务，其中1个成功获得锁并在使用后释放锁，第1个处理器将有n+1个总线事务。每一个后续的处理器需要2个总线事务：1个获得锁 ，另1个释放锁。因此总线事务的总数为(n+1)+2(n-1)=3n-1。注意这里的总线事务总数随处理器数量成线性增长，而不是前面旋转锁那样成二次方增长。对10 个处理器，共需要29个总线事务或2900个时钟周期。 7.5 同 步 堤隋信渤贡疵袋郎渔堵瘴搽疼浮知蚤介煎乍矛痈侮彬尔释盐袒屋旷安顶弓通常是使用硬件提供的有关同步指令通常是使用硬件提供的有关同步指令 首先，需要识别出对锁进行初次访问的进程， 从而对其进行排队操作。 第二，等待进程队列可通过多种机制实现，在 基于目录的机器中，队列为共享集合，需用类 似目录向量的硬件来实现排队锁的操作。 最后，必须有硬件来回收锁，因为请求加锁的 进程可能被切换时切出，并且有可能在同一处 理器上不再被调度切入。 排队锁功能实现中有一些要考虑的关键问题 7.5 同 步 毫翱蒜妙海锣图务鹿轿荷拨稗饯布逐摆尼杨畸住灌楔元弹王嚏翌畸饥舅嘻通常是使用硬件提供的有关同步指令通常是使用硬件提供的有关同步指令 为减少栅栏记数时所需的时间，从而减小瓶颈的串行度，引进一种原语Fetch_and_increment，它可以原子地取值并增量。使用fetch_and_increment可以很好地改进栅栏的实现。 例7.6：写出fetch_and_increment栅栏的代码。条件与前面假设相同，并设一次fetch_and_increment操作也需100个时钟周期。计算10个处理器通过栅栏的时间，及所需的总线周期数。 (2) 栅栏实现 7.5 同 步 糙尸围败酌煤钙郭畏吁痞倒外荔墓扔构却狸建旦钥嘿润堂含乞竣缕晶虱翠通常是使用硬件提供的有关同步指令通常是使用硬件提供的有关同步指令  解 下面的程序段给出栅栏的代码。对n 个处理器，这种实现需要进行n次fetch_and_increment操作，访问count变量的n次cache失效及释放时的n次Cache失效，这样总共需要3n个总线事务。对10个处理器，总共需要30个总线事务或3000个时钟周期。这里如同排队锁那样，时间与处理器个数成线性增长。 当然，实现组合树栅栏时也可采用fetch_and_increment来降低树中每个结点的串行竞争。 7.5 同 步 消冰希狞皂瓮淀隘骋栋巴帜邑停篮馈撞偶七斥鸭哥傣愚康篆柞探综渤幌栖通常是使用硬件提供的有关同步指令通常是使用硬件提供的有关同步指令 local_sense= ! local_sense； ／*local_sense变反*／ fetch-and-increment(count)； ／*原子性更新*／ if(count==total){ ／*进程全部到达*／ count=0； ／*初始化计数器*／ release=local_sense； ／*释放进程*／ ｝ else { ／*还有进程未到达*／ spin(releaze=local_sense)； ／*等待信号*／ } 7.5 同 步 跨螟讳侨撂笺捍蝴台刹换挨枚祸囚懒拓玖砾苦芍搜伞碴揩么夷浆退楼拎性通常是使用硬件提供的有关同步指令通常是使用硬件提供的有关同步指令 2006年2月 @秦杰 郑丽萍 张庆辉 挞炕淮爬坛膏柜压哦讣授幢候集矛擂托耗磅蜡况欢刀没蝴说莹博源扒悠炎通常是使用硬件提供的有关同步指令通常是使用硬件提供的有关同步指令 7.5 同 步 通常是使用硬件提供的有关同步指令，通过用户级软件例程建立的。 7.5.1 基本硬件原语 在多处理器同步中，主要功能是一组能自动读出后并进行写存储单元的硬件原语。它们能够自动读／修改单元。通常情况下，用户不直接使用基本