互斥算法

作品数:31被引量:43H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:刘心松王征李美安邱元杰毕伟更多>>
相关机构:电子科技大学内蒙古农业大学河海大学西南财经大学更多>>
相关期刊:《计算机系统应用》《中国集体经济》《福建电脑》《通信学报》更多>>
相关基金:科技型中小企业技术创新基金国家自然科学基金国家高技术研究发展计划四川省科技攻关计划更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一个分布式K互斥算法的概率模型检测
《计算机应用研究》2015年第4期1036-1039,共4页刘来 骆翔宇 
国家自然科学基金面上项目(61170028);福建省高等学校新世纪优秀人才支持计划资助项目(2013FJ-NCET-ZR03);华侨大学中青年教师科研提升计划资助项目(ZQN-YX109);华侨大学高层次人才科研启动费项目(11BS108);广西可信软件重点实验室研究项目(kx201323)
传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证。通过设置算法中各个进程进入临界...
关键词:分布式K互斥算法 概率模型检测 PRISM 平均及时时间 
一种改进的双令牌互斥算法被引量:2
《计算机技术与发展》2011年第4期40-43,共4页吴小惠 洪龙 杨扬 
中兴通讯重大科研基金(nj200909080002)
互斥是解决分布式系统中资源申请的相互冲突、实现资源共享的一种有效方法。文中对目前的一些互斥算法进行了介绍,并对集中式互斥算法和分布式互斥算法进行了讨论,并分析了其特点。在简要介绍令牌环算法和双令牌算法的思想和步骤后,提...
关键词:互斥 双令牌 令牌丢失 令牌重构 
一种分布式操作系统中k个资源的互斥算法
《福建电脑》2010年第10期100-100,共1页吴惠民 柳锋 候烨晨 
本文针对分布式操作系统中k个资源提出一个互斥算法,给出了算法的步骤.最后用实验进行了验证.
关键词:分布式 资源 互斥 
分布式系统进程互斥算法的分析与改进
《计算机光盘软件与应用》2010年第10期61-61,55,共2页赵喜玲 何勇 
本文对传统的几中互斥算法进行了讨论,分析了其特点,还提出了令牌环算法的一个改进。该算法解决互斥算法中出现的部分问题,并经过了实验验证。
关键词:互斥算法 令牌 选举算法 
一种基于读写互斥的分布式互斥算法
《计算机时代》2009年第3期1-3,共3页费洪晓 刘鹏 蒋慧芳 
分布式对象系统的容错采用对象冗余来实现,它要求冗余对象各副本具有状态一致性,状态一致性需要对象行为的确定性来保证。文章提出了一种基于读写互斥的分布式互斥算法,保证系统节点能互斥地访问临界资源,从而确保对象行为结果的确定性...
关键词:容错 一致性 互斥 临界资源 
基于树拓扑网络的分布式互斥算法
《计算机仿真》2009年第2期143-146,178,共5页王莉 
分布式互斥是分布式系统的重要问题。根据树拓扑网络的特点,提出了新型的分布式互斥算法TNDME。算法的运行范围限制在根节点到请求节点之间,采用循径方法生成分布式互斥仲裁集;采用Lamport逻辑时戳保证消息的时序性;算法采用"最大残存树...
关键词:分布式互斥 树网络 循径 仲裁集 
基于半环仲裁集的环网分布式互斥算法
《计算机科学》2008年第7期88-90,95,共4页王征 刘心松 
四川应用基础研究项目(NO.04JY029-017-2);科技型中小企业技术创新基金(04C26225110223)资助
分布式互斥是环网分布式系统的重要问题。根据此类系统的特点,提出了新型的分布式互斥算法。该算法以请求者自身为中心,基于半环生成分布式互斥仲裁集;采用Lamport逻辑时戳保证消息的时序性;算法采用"探测"消息进行系统的容错处理。分...
关键词:分布式互斥 环网 仲裁集 
基于网格网络的十字仲裁集互斥算法
《计算机科学》2008年第5期205-208,共4页王征 刘心松 
四川应用基础研究项目(04JY29-017-2)资助;获科技型中小企业技术创新基金(04C26225110223)资助
分布式互斥是网格分布式系统的重要问题。根据网格系统的特点,提出了新型的分布式互斥算法。该算法基于网格网络的行列生成分布式互斥十字仲裁集;采用Lamport逻辑时戳保证消息的时序性;算法采用"探测"消息进行系统的容错处理。分析与仿...
关键词:分布式互斥 网格 仲裁集 
一种基于令牌的新的互斥算法分析与设计被引量:2
《计算机科学》2008年第4期119-121,共3页李云鹤 
在对现有典型分布式系统中互斥算法研究的基础上,本文依据令牌技术,提出了一种分布式系统中解决互斥问题的新算法。文中对算法的设计思想及实现过程进行了详细描述,同时对其性能进行了严格的理论证明和分析,该算法能有效地提高系统的通...
关键词:令牌 分布式系统 互斥 临界区 
一种基于消息槽的K资源互斥算法
《计算机系统应用》2008年第4期35-37,共3页赵淑梅 秦杰 
863课题高性能网络服务器评测(No.2003AA111020);河南工业大学科研项目(No2006BS009)
在银行系统等有多个实体同时活跃的分布式应用中,必须妥善解决不同实体对资源的需求,即同步与互斥。本文基于令牌的K资源互斥算法,提出了基于消息槽的K资源互斥算法,该算法能有效满足K资源分布式环境下同步与互斥的要求。
关键词:实体 分布式应用 同步与互斥 K资源互斥 消息槽 
检索报告 对象比较 聚类工具 使用帮助 返回顶部