摘要
机群文件系统是机群操作系统的一个重要组成部分,而具有不同语义的文件系统的性能会有显著的差异。高效的客户端缓存协议是机群文件系统性能的关键问题之一。文章提出了一种新型文件缓存一致性协议,该协议通过扩展POSIX文件锁的API来实现UNIX语义模型,并利用I/O自动机理论证明了协议的正确性,在DCFS(DawningClusterFileSystem)上实现了这个协议。
Cluster file system is an important component of cluster operating system,and client-side caching is one of the key issues that address the performance problem of cluster file system.However,there is little study on the formalization of file system semantics and verification of cache coherency proto-col in cluster file system.This paper presents a new cache co-herency protocol to achieve UNIX semantics in cluster file sys-tem by extending the capability of POSIX file lock API and gives the formal proof using I/O automata theory.This protocol has been implemented in DCFS(Dawning Cluster File System).
出处
《微电子学与计算机》
CSCD
北大核心
2003年第6期12-17,共6页
Microelectronics & Computer
基金
国家863计划项目基金(863-306-ZD01-01)
中科院计算所领域前沿青年基金(20026180-2)
