互斥算法

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个分布式K互斥算法的概率模型检测
《计算机应用研究》2015年第4期1036-1039,共4页刘来 骆翔宇 
国家自然科学基金面上项目(61170028);福建省高等学校新世纪优秀人才支持计划资助项目(2013FJ-NCET-ZR03);华侨大学中青年教师科研提升计划资助项目(ZQN-YX109);华侨大学高层次人才科研启动费项目(11BS108);广西可信软件重点实验室研究项目(kx201323)
传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证。通过设置算法中各个进程进入临界...
关键词：分布式K互斥算法 概率模型检测 PRISM 平均及时时间 
Ricart&Agrawla同步互斥算法的改进被引量：2
《计算机应用研究》2004年第6期32-34,共3页石敏 金辉 
国家"8 6 3"基金资助项目 (86 3 2 5 3 5 )
在分布式网络系统中 ,为了实现系统协调一致的工作 ,必须要有相应的同步互斥算法来保证临界资源的互斥访问和操作。介绍了Ricart&Agrawla算法的基本思想、卫星编队飞行系统层次网络环境结构的基本特点 ,针对系统结构背景 ,详细介绍了改...
关键词：同步 互斥 Ricart & Agrawla 
一种分布式系统的进程同步与互斥算法被引量：1
《计算机应用研究》2001年第1期30-32,共3页杨沙洲 颜跃进 王广芳 
所介绍的算法以Goscinski算法[1]为基础，加以修正和细化，并进行了模拟运行，使之更适合于真网络环境。该算法不但能够在逻辑结构无要求的计算机网络中通过广播请求和令牌传送来同步对一个临界资源的访问，而且可以处理真网络中因报文...
关键词：分布式计算机系统 进程 同步算法 互斥算法 分布工操作系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部