分布式文件系统中Cache一致性的验证

• 作者: 王建勇 祝明发
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 信念 Cache一致性 基于目录的无效使能协议 分布式文件系统
• 年，卷（期）: 1999,（5）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 460-466
• 页数: 7页
• 分类号: TP302
• 字数: 6902字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1999.05.003

摘要

基于信念逻辑,分析了曙光超级服务器单一映象文件系统中所采用的基于目录的无效使能Cache一致性协议.首先介绍了Cache一致性协议的目标,并为之建立了系统模型及逻辑,然后以基于目录的无效使能协议为例演示了运用信念逻辑对Cache一致性进行正确性证明的过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝明发	中国科学院计算技术研究所	21	422	8.0	20.0
2	王建勇		1	17	1.0	1.0