检索结果-内蒙古大学图书馆

小型微型计算机系统 2006年第7期27卷 1304-1307页

作者：吴俊敏宋振华陈国良中国科学技术大学计算机科学技术系高性能计算及应用省部共建重点实验室安徽合肥230027

垃圾回收有效地减轻了编程人员的负担、优化了程序的设计.在基于弱一致性模型的分布式共享存储系统中进行自动垃圾回收是非常困难的和低效的.本文提出了一种基于跟踪策略的实时分布式垃圾回收算法—RRDGC,使得各节点回收进程可以和应用... 详细信息

垃圾回收有效地减轻了编程人员的负担、优化了程序的设计.在基于弱一致性模型的分布式共享存储系统中进行自动垃圾回收是非常困难的和低效的.本文提出了一种基于跟踪策略的实时分布式垃圾回收算法—RRDGC,使得各节点回收进程可以和应用程序并发执行,同时有效减少了弱一致性模型下额外的通信开销,降低了程序的响应时间.算法确保了垃圾回收的正确性和有效性,体现了增量和实时性的特点.最后通过仿真实验对比论证了该算法的正确性和高效性.

关键词：弱一致性模型分布式共享存储垃圾回收算法

来源：评论

学校读者我要写书评

暂无评论

在弱一致性模型中线程模块化的静态分析方法

引用

网络安全技术与应用 2018年第1期 48-49,57页

作者：杨舜尧阜新高等专科学校工程系辽宁123000

本文提出一种内存感知情况下,静态程序分析方法。这种方法能够精准的分析并发软件在弱一致性模型下的表现,例如:x86-TSO(标准存储器模型)内存系统,SPARC-PSO(SPARC可扩充处理器架构)(PSO部分存储命令模型),SPARC-ROM(弱一致性存储模型)... 详细信息

本文提出一种内存感知情况下,静态程序分析方法。这种方法能够精准的分析并发软件在弱一致性模型下的表现,例如:x86-TSO(标准存储器模型)内存系统,SPARC-PSO(SPARC可扩充处理器架构)(PSO部分存储命令模型),SPARC-ROM(弱一致性存储模型)。本文方法的核心是用统一的框架来确定内部线程间的干扰存在的可行性,从而避免虚假数据流在静态分析中的传播,提高静态分析器的性能。制定了检查线程干扰可行性的数据标准,能够高效的解决问题并能很好地适应一系列的硬件级的存储模型。与现在的技术相比,本文的方法可以明显的减少虚假报警和无关的数据产生。对于这种改进的方法,使用了大量的多线程的C语言程序进行评估。实验显示,就系统运行时开销而言,本文的方法显著优于其他技术水平。

关键词：并行系统静态方法多线程弱一致性模型静态分析

来源：评论

学校读者我要写书评

暂无评论

基于弱一致性模型识别关键蛋白质的方法

基于弱一致性模型识别关键蛋白质的方法

引用

作者：李高仕胡志鹏吴璟莉罗新龙 541004 广西壮族自治区桂林市七星区育才路15号

本发明公开了一种基于弱一致性模型识别关键蛋白质的方法，包括如下步骤：1）设置弱一致性的条件；2）弱一致性模型评估。这种方法识别效率和实用价值高，为关键蛋白质的识别提供了新思路。

标准号: CN115171789A

关键词：弱一致性模型关键蛋白质方法识别评估

来源：评论

学校读者我要写书评

暂无评论

并发程序违反顺序一致性错误的检测与消除

并发程序违反顺序一致性错误的检测与消除

引用

作者：段月路中国科学院计算技术研究所

学位级别：硕士

随着处理器朝多核和众核的方向发展，利用单片共享存储的并发编程也越来越普遍。顺序一致性是并发编程中最直观自然的存储一致性模型，然而按照顺序一致性假设编写成的并发程序在弱一致性模型的平台上执行时，由于处理器可以对访存指令... 详细信息

随着处理器朝多核和众核的方向发展，利用单片共享存储的并发编程也越来越普遍。顺序一致性是并发编程中最直观自然的存储一致性模型，然而按照顺序一致性假设编写成的并发程序在弱一致性模型的平台上执行时，由于处理器可以对访存指令进行乱序等优化，可能会得到违反顺序一致性的结果，最终导致程序出错。向程序代码中插入fence指令，或者用锁来同步并发访问，可以消除这种潜在违反顺序一致性的错误。但是，针对大型的实际并发应用，特别是C/C++程序，已有的一些方法和工具都存在各自的缺陷。\n 本论文提出一种动态检测和消除并发程序中的潜在违反顺序一致性错误的方法。该方法基于数据竞争检测技术，结合了冲突图和延迟集理论。在并发程序的动态执行过程中，先构造竞争图，包含不同线程的竞争访问节点(未同步的冲突访问)、线程内的程序序边、线程间的竞争边。竞争图中由竞争访问、程序序边以及竞争边构成的圈称为竞争圈。由于竞争圈可能导致非顺序一致的执行与结果，称其为潜在违反顺序一致性错误(Potential Violation of Sequential Consistency，简称PVSC)。然后，根据所有竞争圈计算出延迟集，并最终建议程序员向源程序插入fence指令，以消除PVSC错误。进一步，将竞争图转换为PC竞争图，把圈识别和延迟集计算的复杂度降低到O(n2)，其中n表示程序中竞争访问的静态指令数目。\n 对于本文提出的方法，采用SPLASH-2并发测试集、两个实际大型并发应用MySQL和Apache、以及一些Cilk并发程序进行评估。实验结果表明，该方法能有效检测出实际应用并发程序中的潜在违反顺序一致性的错误，同时将由fence指令引入的性能下降控制在很小的范围，平均6.3%，最后该方法相对于数据竞争检测工具的额外开销很小，平均3.3%。

关键词：数据竞争检测弱一致性模型并发程序单片共享存储

来源：评论

学校读者我要写书评

暂无评论

A Real-time Relaxed Garbage Collection in DSM

引用

电子学报(英文版) 2007年第1期16卷 7-12页

作者： WU Junmin SONG Zhenhua Anhui Province Co-Key Laboratory of High Performance Computing and Application Department of Computer Science ＆ Technology University of Science ＆ Technology of China Hefei 230027 China

Garbage collection is a memory management mechanism for automatically reclaiming garbage objects in memory. It can effectively relieve the programmers' burden and optimize the design of programs. Currently many garbage collection methods for distributed systems have been put forth as the distributed systems are more and more popular. Relaxed consistency model is a very important kind of memory consistency model in distributed system, but it is inefficiently to perform garbage collection in the Distributed shared memory system (DSM) on relaxed memory model with traditional methods. This article proposes a trace-based garbage collection algorithm for DSM system based on relaxed memory model. Our algorithm notes the references among active objects of every node in DSM system, which makes the application process and the collection process able to execute concurrently. And it makes use of the relaxed consistency model's features to reduce communication cost and response delay. Furthermore, the use of two tables insures the algorithm correct and effective. This algorithm displays its advantages of real-time and incremental, and it is proved to be correct and effective.

关键词：垃圾回收算法分布式共享存储系统实时弱一致性模型 DSM

来源：评论

学校读者我要写书评

暂无评论

片内多处理器系统中存储器一致性的设计

片内多处理器系统中存储器一致性的设计

引用

全国第七届工业控制系统应用学术会议

作者：郑昌陆冉峰陈章进徐美华上海大学机电工程与自动化学院(上海)

针对多处理器系统中存储器访问次序与程序执行次序不同而造成存储器的不一致性.通过设计仲裁与选择器以及独立于存储单元的硬件号志,实现了文中提出的弱一致性模型,解决了存储器的不一致性问题.

关键词：多处理器系统存储器一致性共享存储器访问弱一致性模型

来源：评论

学校读者我要写书评

暂无评论

基于Ceph的读写模型优化和异构副本组合方法

基于Ceph的读写模型优化和异构副本组合方法

引用

作者：熊安萍姚朋成龙林波 400065 重庆市南岸区黄桷垭崇文路2号

本发明涉及一种基于Ceph的读写模型优化和异构副本组合方法，属于计算机技术领域。该方法包括：S1：改变Ceph副本写强一致性模型为副本写弱一致性模型；S2：采用一种读优化方案，用副本节点的综合性能作为权重，来决定副本节点提供读服... 详细信息

标准号: CN108920100B

本发明涉及一种基于Ceph的读写模型优化和异构副本组合方法，属于计算机技术领域。该方法包括：S1：改变Ceph副本写强一致性模型为副本写弱一致性模型；S2：采用一种读优化方案，用副本节点的综合性能作为权重，来决定副本节点提供读服务的概率；S3：对象副本节点通过SSD和HDD的不同组合方式的读写性能发挥集群的异构特性；S4：根据集群的数据热度采用一种数据迁移方案，同时改进Ceph选择对象存储节点算法，根据数据热度将对象迁移到符合相应副本组合方式中，从而提高整个Ceph集群的读写性能。本发明解决了Ceph不感知异构存储节点以及读写性能延迟较高的问题。

关键词：读写性能集群副本副本节点数据热度组合方式异构计算机技术领域强一致性模型弱一致性模型存储节点对象副本对象迁移模型优化数据迁移选择对象异构存储综合性能读服务读写权重算法感知延迟概率优化改进

来源：评论

学校读者我要写书评

暂无评论

基于Ceph的读写模型优化和异构副本组合方法

基于Ceph的读写模型优化和异构副本组合方法

引用

作者：熊安萍姚朋成龙林波 400065 重庆市南岸区黄桷垭崇文路2号

标准号: CN108920100A

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：