无死锁

作品数：70被引量：145H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：向东胡核算张研魏敬和王飞更多>>
相关机构：清华大学西安电子科技大学西安交通大学国防科学技术大学更多>>
相关期刊：《应用科学学报》《南通大学学报（自然科学版）》《清华大学学报（自然科学版）》《计算机与数字工程》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
PRDT(2,1)架构的NoC系统容错路由算法
《计算机工程与应用》2015年第3期89-92,147,共5页段新明 潮升 武继刚 
国家自然科学基金(No.60970016)
链路和节点的故障会导致网络中许多节点无法相互通讯,因此容错性是NoC系统设计中的一个重要问题。基于一种新的NoC网络拓扑结构PRDT(2,1),提出一种PRDT(2,1)容错路由算法以及相应的节点失效算法。节点失效算法通过使较少数量的无故障节...
关键词：PRDT(2 1)构架 路由算法 无死锁 容错 
光刻设备TRACK系统的无死锁调度算法被引量：2
《计算机工程与应用》2006年第7期1-3,12,共4页王令群 郑应平 
国家973重点基础研究发展规划资助项目(编号:20002CB312202-03);国家自然科学基金资助项目(编号:60343002)
为使半导体生产线光刻设备的TRACK系统正常运行,有效地避免死锁,提高设备利用率,提出了一种无死锁调度算法,在不会引发死锁的条件下为需要调度的工件确定加工组件,同时考虑到组件发生故障的情况,及时排除故障的影响,并通过仿真证明了算...
关键词：半导体生产线 柔性路由 无死锁调度 
并发事务无死锁的可串行化调度的形式化方法被引量：1
《计算机工程与应用》2004年第10期181-183,229,共4页罗雪梅 王薇 韩耀军 
中国科学院计算机科学实验室开放课题资助(编号:SYSKF0304)
并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发...
关键词：并发控制 可串行化 两段锁协议死锁 扩展有色Petri网 可达标识图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部