LBCCP:一种符合UNIX语义的文件缓存一致性协议及其证明

• 作者: 吕毅 贺劲
• 来源期刊: 微电子学与计算机
• 关键词: 机群文件系统 缓存一致性协议 I/O自动机 形式证明
• 年，卷（期）: 2003,（6）
• 所属期刊栏目: 研究与应用
• 页码范围: 12-17
• 页数: 6页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2003.06.004

摘要

机群文件系统是机群操作系统的一个重要组成部分,而具有不同语义的文件系统的性能会有显著的差异.高效的客户端缓存协议是机群文件系统性能的关键问题之一.文章提出了一种新型文件缓存一致性协议,该协议通过扩展POSIX文件锁的API来实现UNIX语义模型,并利用I/O自动机理论证明了协议的正确性,在DCFS(Dawning Cluster File System)上实现了这个协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贺劲	中国科学院计算技术研究所智能中心	6	44	3.0	6.0
2	吕毅	中国科学院计算技术研究所智能中心	11	158	4.0	11.0