###
DOI:
Journal of Software:1997.8(1):51-61

并行文件系统中diskcache一致性协议的正确性证明
武北虹,邢汉承,黄大海
(东南大学计算机科学与工程系,南京,210018)
CORRECTNESS PROVEMENTS OF DISK CACHECOHERENCE PROTOCOLS IN PARALLEL FILE SYSTEM
WU Beihong,XING Hancheng,HUANG Dahai
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2391   Download 2854
    Revised:December 06, 1994
> 中文摘要: 本文叙述了两类并行文件系统中diskcache一致性的维护方法,并基于release一致性模型,给出了其正确性证明.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

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

WU Beihong,XING Hancheng,HUANG Dahai.CORRECTNESS PROVEMENTS OF DISK CACHECOHERENCE PROTOCOLS IN PARALLEL FILE SYSTEM.Journal of Software,1997,8(1):51-61