节点文献

并行文件系统中diskcache一致性协议的正确性证明

CORRECTNESS PROVEMENTS OF DISK CACHECOHERENCE PROTOCOLS IN PARALLEL FILE SYSTEM

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 武北虹； 邢汉承； 黄大海；

【Author】 WU Beihong\ XING Hancheng\ HUANG Dahai(Department of Computer Science and Engineering\ Southeast University\ Nanjing\ 210018)

【机构】 东南大学计算机科学与工程系；

【摘要】 本文叙述了两类并行文件系统中ｄｉｓｋｃａｃｈｅ一致性的维护方法，并基于ｒｅｌｅａｓｅ一致性模型，给出了其正确性证明

【Abstract】 Two kinds of disk cache coherence protocols in parallel file system are proposed in this paper, and their correctness provements are given on the base of release consistency model.

【关键词】 并行文件系统； diskcache； 一致性协议； 顺序一致性； 释放一致性；
【Key words】 Parallel file system； disk cache； coherence protocol； sequential consistency； release consistency.；
  • 【文献出处】 软件学报 ,JOURNAL OF SOFTWARE , 编辑部邮箱 ,1997年01期
  • 【分类号】TP311.5
  • 【下载频次】48
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)