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

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户：cool_1944

【摘要】

：

机群文件系统是机群操作系统的一个重要组成部分,而具有不同语义的文件系统的性能会有显著的差异.高效的客户端缓存协议是机群文件系统性能的关键问题之一.文章提出了一种新

【作者】

：

吕毅贺劲

【机构】

：

中国科学院计算技术研究所智能中心北京100080

【出处】

：

微电子学与计算机

【发表日期】

：

2003年6期

【关键词】

：

机群文件系统机群操作系统文件缓存一致性协议 LBCCP UNIX 语义形式证明 Cluster file system Cache coherency p

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

彩云之南的“现代草地畜牧业推进行动”

自2014年起，国家在云南省等南方10省区实施了“现代草地畜牧业推进行动”项目。项目要求在保护生态环境的前提下，合理开发利用草山草地资源，在集中连片草山草地，重点建设一批草地

期刊

草地畜牧业保护生态环境合理开发利用基础设施劳动生产率资源利用率草地资源生产基地

优化估算教学的实施策略

估算是根据具体条件及有关知识对事物的数量或算式的结果做出大概推断或估计，是数学能力的重要组成部分.人们在实际生活和劳动过程中处处有估算，也处处离不开估算.《新课程标准》中指出：要加强估算，让学生结合具体情境进行估算，选择合适的估算方法，并逐步养成估算习惯.然而在实际教学中我发现学生的估算意识和估算能力还比较薄弱，主要有以下一些问题：　　问题一：生活体验缺乏.在“千米”的教学之后，我让学生估一估从学

期刊

估算教学《新课程标准》优化劳动过程实际生活数学能力估算能力估算意识

倡导“绿色课堂”提高数学教学效率

【摘要】采用举例、比较、归纳等方法，以一堂课的教学环节为主线，充分阐述了数学课堂中教师的绿色教学行为，以及学生学习的主观能动性行为，由激发兴趣有效吸引学生参与课堂活动到搭建合作平台，大胆放手让学生参与学习研究，并在享受学习成功的基础上分享学习成果，这样充分表明一堂平凡朴实的课中无处不在地渗透着绿色教育的行为，从而构建成有效的数学“绿色课堂”，可见教师应从平时课堂教学的各个普通的教学环节里做起，着眼

期刊

绿色课堂兴趣分组探究合作交流

无痕增强估算意识，有效提升估算能力

【摘要】估算是一种无须获得精确结果的计算，但它需要学生综合运用已有的知识才能做出大致判断，对培养学生的数感和灵活的运算能力有着重要作用.虽然估算在数学教材中占的比重不是很大，但估算思维和估算意识却贯穿于小学阶段的数学学习，并伴随着学生终身的数学应用.本文尝试结合估算的特点和教学实践进行阐述.　　【关键词】估算意识；估算策略；估算应用；运算思维　　估算教与学过程较为灵活，是无须获得精确结果的计算，是

期刊

估算意识估算策略估算应用运算思维

小学数学解决问题方法多样化的研究

【摘要】小学数学是构建学生逻辑思维、抽象思维、创新能力的有效课程，在小学数学的教学过程中，很多问题的解决都可以使用不同的方式，这些多元化的解题方式思考可以进一步锻炼学生的逻辑、抽象思维，构建他们的创新意识.本文从解题自信心、学生重视程度、情境教学的应用、情感教学的介入等方面提出了小学数学多元化解题教学的具体措施，实现学生参与数学教学的积极性提升.　　【关键词】小学数学；解题；多样化；自信心；教学　

期刊

小学数学解题多样化自信心教学

汶上夯实粮改饲工作基础

山东省汶上县2017年被确定为国家粮改饲项目试点县,为了推进种植业结构优化升级、畜牧业提质节本增效,增加养殖户收入,汶上县畜牧兽医局把粮改饲作为全县高效特色畜牧业发展

期刊

特色畜牧业种养结合苜蓿种植青贮玉米粮改饲节本增效山东省汶上县试点县

MCML结构高速低功耗加法器设计

通过分析MCML结构的设计方法,设计了高速低功耗四位并行加法器,采用TSMC 0.25 CMOS标准工艺完成设计.该电路工作频率达到1GHz,功耗为1.5mW,用于实现高速数字系统加法器单元.

期刊

MCML功耗加法器CMOSMCML Power dissipation Adder CMOS

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

其他学术论文