分布式共享存储器中单元一致性模型(LC)的研究

来源 :2001年全国开放式分布与并行计算学术会议 | 被引量 : 0次 | 上传用户：fanrend

【摘要】

：

详细介绍了无需依赖存储相关的存储一致性模型——单元一致性模型(Location Consistency).该模型用写操作和同步操作的multiset(pomset)来表示一个存储单元的状态.同时,将LC

【作者】

：

孙玉星庄毅徐明瞿斌

【机构】

：

南京航空航天大学计算机系(南京)

【出处】

：

2001年全国开放式分布与并行计算学术会议

【发表日期】

：

2001年10期

【关键词】

：

分布式共享存储器单元一致性一致性协议

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

详细介绍了无需依赖存储相关的存储一致性模型——单元一致性模型(Location Consistency).该模型用写操作和同步操作的multiset(pomset)来表示一个存储单元的状态.同时,将LC模型的性能与RC(Release Consistency)模型做了比较,证明了LC模型比RC模型更弱.

其他文献

论述工民建施工中防水防渗技术的应用

工民建企业进行防渗漏技术的研究，不仅仅是时代发展下群众对于房屋安全性和舒适性的要求，也是工民建企业要实现进一步发展和突破所必然要面临并解决的主要问题，因此加强防渗漏技

期刊

工民建防水防渗施工技术应用

城市规划设计中生态城市规划的探讨

随着我国社会经济不断发展，我国城市建设的不法逐渐加快，社会的快速发展加剧了生态资源的消耗，环境污染日益严重，人们的生存环境日益恶劣，严重的影响了人们的身体健康。社会快速发

期刊

城市规划设计生态城市规划

机群作业管理系统的评价体系

首先简单介绍当今颇具代表性和影响力的几种机群作业管理系统PBS、LSF、LOADLEVELER和CONDOR,以及我们开发的曙光系列超级服务器机群作业管理系统JOSS,接着介绍机群作业管理

会议

作业管理评价体系机群并行计算

分布式Model Checking线性时态逻辑属性

提出了一种验证LTL属性的分布式嵌套深度优先算法(Distributed Double Depth First Algorithm—DDDFA).DDDFA运行在工作站网络或集群等分布主存环境上,通过验证一个自动机所

会议

分布式线性时态逻辑验证深度优先算法并行处理技术算法正确性工作站网络属性模型系统分布主存自动机证明运行语言集群环境

综合机械化采煤工艺研究

综合机械化采煤工艺是当前提升矿井采煤质量与数量的有效措施之一，对煤炭企业的健康长远发展起着至关重要的作用，是提升煤炭行业整体竞争实力的有效途径。对此，本文将对综合机械

期刊

煤矿综合机械化采煤工艺

CC-NUMA体系结构多处理机技术

CC-NUMA(Coherent Cache NonUniform Memory Access)是SMP、PVP和MPP等多处理机体系结构出现之后流行起来的体系结构,具有性能价格比高、扩展性好、编程接口简单等特点.主要

会议

多处理机体系结构性能价格比编程接口扩展性技术

工民建桩基工程施工技术应用探讨

工民建项目在具体施工中切实做好桩基工程是比较重要的一环，也是确保后续工民建项目具备理想稳定性的基本前提条件，必然需要重点把握好对于相关桩基施工技术的恰当选择和规范运

期刊

工民建桩基工程施工技术

建筑工程地下防水施工技术探讨

伴随着经济的发展和进步，我国的各项工程都获得了非常快速的提升，建筑工程从规模及速度上都有很快提升。地下工程是其中一项重要组成部分，对于地下工程而言，防水施工技术与建筑物

期刊

建筑工程地下防水施工技术

集群式Web服务器的性能优化

本文主要用排队论方法讨论Web集群整体性能与请求调度策略之间的关系.所获得的结论是:在Web集群非过载情况下,一部分后端服务器仅处理静态请求和另一部分后端服务器仅处理动

会议

集群式Web服务请求调度策略服务器动态请求处理整体性能方法讨论排队论混合式分离式

在多处理机操作系统中实现处理机进程和存储进程的分离

通过为进程分配和回收处理机资源和存储器资源,传统操作系统实施对处理机和存储器的管理和控制.在多处理机操作系统中,当处理机和存储器之间的互连方式比较复杂时,仅仅构造唯

会议

多处理机操作系统进程分配存储器资源构造系统实施管理方式比较思想控制互连方法

分布式共享存储器中单元一致性模型(LC)的研究

与本文相关的学术论文