| 摘要: |
| 存储器一致性管理是分布式共享存储器ＤＳＭ（ｄｉｓｔｒｉｂｕｔｅｄｓｈａｒｅｄｍｅｍｏｒｙ）系统的一个重要问题．在基于目录和所有者管理一致性的ＤＳＭ系统中，如何适时地更新所有者链表以及目录中关于所有者的信息是缩短查表时间的关键．本文介绍一种新型的链表更新算法的设计及其性能分析．分析表明，这种方案对维护存储器一致性来说，具有较灵活的适应性并有助于缩短查表时间，提高系统性能．该算法也可适用于树形层次结构的一致性管理方案． |
| 关键词: 高速缓冲存储器 一致性 链表 分布式共享存储器 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金资助. |
|
| A NEW ALGORITHM FOR CACHE COHERENCE IN DSM |
|
Fang Zhiyi,Ju Jiubin
|
| Abstract: |
| Recently,local search method has been successfully applied to solve large scale SAT problem,but it will fail to find solution when an original SAT problem instance is unsatisfiable.MSRA(multi-stage search rearrangement algorithm)is just proposed to overcome the incompleteness of local search method.Properly speaking,MSRA is based on the'separate and conquer"strategy and is the integration of several algorithms While solving the SAT problem,MSRA is more efficient than a single method,such as local search and backtracking method.Since the satisfiability of a SAT problem instance can be estimated by the strength of constrained conditions,the authors could find a more efficient strategy to solve the instance. |
| Key words: Cache coherence linked list DSM. |
