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