《计算机学报》文章摘要 全文下载 | |
文章题目 | 分布式文件系统中Cache一致性的验证 |
作者 | 王建勇 祝明发 |
作者单位 | (国家智能计算机研究与开发中心 北京 100080) (中国科学院计算技术研究所 北京 100080) |
发表年份 | 1999 |
发表月份 | 5期 (页码:460—466) |
文章摘要 | 基于信念逻辑,分析了曙光超级服务器单一映象文件系统中所采用的基于目录的无效使能Cache一致性协议.首先介绍了Cache一致性协议的目标,并为之建立了系统模型及逻辑,然后以基于目录的无效使能协议为例演示了运用信念逻辑对Cache一致性进行正确性证明的过程. 关键词 信念,Cache一致性,基于目录的无效使能协议,分布式文件系统. |