%0 Journal Article
%T 并行文件系统中diskcache一致性协议的正确性证明
%A 武北虹
%A 邢汉承
%A 黄大海
%J -
%D 1997
%X 本文叙述了两类并行文件系统中ｄｉｓｋｃａｃｈｅ一致性的维护方法，并基于ｒｅｌｅａｓｅ一致性模型，给出了其正确性证明
%K 并行文件系统 diskcache 一致性协议 顺序一致性 释放一致性
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19970108&flag=1