微信服务号

微信订阅号

2025年4月13日 6:03 星期日
首页 > 过刊浏览>1997年第8卷第1期 >51-61
PDF HTML阅读 XML下载 导出引用 引用提醒
并行文件系统中diskcache一致性协议的正确性证明
作者:

CORRECTNESS PROVEMENTS OF DISK CACHECOHERENCE PROTOCOLS IN PARALLEL FILE SYSTEM
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [1]
    • |
  • 相似文献 [20]
    • | | |
  • 文章评论
    参考文献
    1 Accetta et al．Mach：a new kernel foundation for UNIX development．In：Proc．USENIX Conf．，1986．93～11 2． 2 Mullender．Amoeaba：a distributed operating system for 1990s．IEEE Computer，1990，23(5)：44～53． 3 Kotz D et al．Caching and writeback policies in parallel file systems．Journal of Parallel and Distributed Computing， 1993,17(1&2)：140～145． 4 Archibald J et al．Cache coherence protocols：evaluation using a multiprocessor simulation model．ACM Trans．on Computer Systems．1986，4(4)：273～298． 5 Eggers S et al．Evaluating the performance of four snooping cache coherency protocols．In：Proc．16th Int’1 Symp． on Computer Architecture．1989．2～15． 6 Lenoski D et al．The directory-based cache coherence protocol for the DASH muItiprocessor．In：Proc． 1 7th Int'1 Symp．on Computer Architecture, 1990．148～159． 7 尤晋元．UNIX操作系统教程．西安：西北电讯工程学院出版社，1985． 8 Garachorloo K et al．Memory consistency and event ordering in scalable shared_memory multiprocessors． In：Proc．17th Int’l Syrup．on Computer Architecture，1990．15～26．
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

武北虹,邢汉承,黄大海.并行文件系统中diskcache一致性协议的正确性证明.软件学报,1997,8(1):51-61

复制
分享
文章指标
  • 点击次数:3554
  • 下载次数: 4919
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 最后修改日期:1994-12-06
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19819318位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号