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

摘要

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