首页> 中文期刊> 《计算机学报》 >分布式文件系统中Cache一致性的验证

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机学报》 |1999年第5期|460-466|共7页
作者
王建勇; 祝明发;
展开▼
作者单位

国家智能计算机研究与开发中心;

北京;

100080;

中国科学院计算技术研究所;

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计与性能分析;
关键词
信念; Cache一致性; 基于目录的无效使能协议; 分布式文件系统;

相似文献

中文文献
外文文献
专利

1. 并行文件系统中disk cache一致性协议的正确性证明 [J] . 武北虹 ,邢汉承 . 软件学报 . 1997,第001期
2. 并行文件系统中Disk Cache一致性协议的性能测试与评价 [J] . 武北虹 . 计算机学报 . 1997,第003期
3. 并行文件系统中Disk Cache一致性协议及其性能分析 [J] . 武北虹 . 计算机学报 . 1996,第011期
4. 一种Cache一致性协议验证中覆盖率驱动的随机验证方法 [J] . 李拓 ,王恩东 ,胡雷均 . 计算机应用与软件 . 2011,第011期
5. 一种基于贝叶斯网络的随机测试方法在Cache一致性验证中的设计与实现 [J] . 艾阳阳 ,罗莉 ,杨庆娜 . 计算机工程与科学 . 2017,第008期
6. 两级Cache一致性域扩展协议在混合验证系统中的可视化方法 [C] . Gan Xiaowei ,甘小伟 ,Chen Jicheng . 第十七届计算机工程与工艺年会暨第三届微处理器技术论坛 . 2013
7. 分布式文件系统客户端元数据缓存一致性的实现及优化 [A] . 刘芬 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号