期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
LBCCP:一种符合UNIX语义的文件缓存一致性协议及其证明
1
作者
吕毅
贺劲
《微电子学与计算机》
CSCD
北大核心
2003年第6期12-17,共6页
机群文件系统是机群操作系统的一个重要组成部分,而具有不同语义的文件系统的性能会有显著的差异。高效的客户端缓存协议是机群文件系统性能的关键问题之一。文章提出了一种新型文件缓存一致性协议,该协议通过扩展POSIX文件锁的API来实...
机群文件系统是机群操作系统的一个重要组成部分,而具有不同语义的文件系统的性能会有显著的差异。高效的客户端缓存协议是机群文件系统性能的关键问题之一。文章提出了一种新型文件缓存一致性协议,该协议通过扩展POSIX文件锁的API来实现UNIX语义模型,并利用I/O自动机理论证明了协议的正确性,在DCFS(DawningClusterFileSystem)上实现了这个协议。
展开更多
关键词
机群
文件
系统
机群操作系统
文件缓存一致性协议
LBCCP
UNIX
语义
形式证明
在线阅读
下载PDF
职称材料
题名
LBCCP:一种符合UNIX语义的文件缓存一致性协议及其证明
1
作者
吕毅
贺劲
机构
中国科学院计算技术研究所智能中心
出处
《微电子学与计算机》
CSCD
北大核心
2003年第6期12-17,共6页
基金
国家863计划项目基金(863-306-ZD01-01)
中科院计算所领域前沿青年基金(20026180-2)
文摘
机群文件系统是机群操作系统的一个重要组成部分,而具有不同语义的文件系统的性能会有显著的差异。高效的客户端缓存协议是机群文件系统性能的关键问题之一。文章提出了一种新型文件缓存一致性协议,该协议通过扩展POSIX文件锁的API来实现UNIX语义模型,并利用I/O自动机理论证明了协议的正确性,在DCFS(DawningClusterFileSystem)上实现了这个协议。
关键词
机群
文件
系统
机群操作系统
文件缓存一致性协议
LBCCP
UNIX
语义
形式证明
Keywords
Cluster file system,Cache coherency protocol,I/O automata,Formal proof
分类号
TP316.81 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
LBCCP:一种符合UNIX语义的文件缓存一致性协议及其证明
吕毅
贺劲
《微电子学与计算机》
CSCD
北大核心
2003
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
