...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE transactions on automation science and engineering >Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems
【24h】

Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems

机译：复杂资源分配系统中最小不安全状态的有效枚举

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

An earlier work of ours has proposed a novel approach for the deployment of the maximally permissive deadlock avoidance policy for complex resource allocation systems (RAS), that is based on the identification and the efficient storage of a critical subset of states of the underlying RAS state space; the availability of this information enables an expedient one-step-lookahead scheme for the identification and blockage of transitions that will take the system behavior outside its safe region. This paper complements the aforementioned results by introducing a novel algorithm that provides those critical states while avoiding the complete enumeration of the RAS state space.
机译：我们的早期工作提出了一种用于复杂资源分配系统（RAS）的最大允许死锁避免策略部署的新颖方法，该方法基于对基本RAS状态的状态的关键状态子集的识别和有效存储。空间;这些信息的可用性为识别和阻止转换提供了一种方便的一步前瞻性方案，它将使系统行为超出其安全区域。本文通过引入一种新颖的算法来补充上述结果，该算法可提供那些临界状态，同时又避免了RAS状态空间的完整枚举。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号