没有合适的资源?快使用搜索试试~ 我知道了~
(WSPR)-P-3的活力:复杂性和决策
0 下载量 156 浏览量
2021-03-17
11:47:06
上传
评论
收藏 3.75MB PDF 举报
温馨提示
Petri网是一种形式语言,由于其对资源分配的自然描述和对死锁的精确表征的能力,被广泛应用于与资源分配相关的并发系统中。 具有资源的简单顺序过程的加权系统((WSPR)-P-3)是Petri网的重要子类,可以建模许多资源分配系统,其中1)多个进程可以并行运行,以及2)每个进程的每个执行步骤。 可以使用同一资源类型的多个单元,但不能使用多种资源类型。 我们首先根据分区问题证明(WSPR)-P-3的活跃性问题是共NP难题。 此外,我们基于两个新概念(结构循环等待(SCW)和阻塞标记(BM))为(WSPR)-P-3的生命力提供了充要条件,即(WSPR)-P-3为如果每个SCW没有BM,则上线。 还提出了充分条件来保证SCW没有BM。 此外,与其他基于虹吸管的系统相比,我们展示了使用SCW分析死锁问题的一些优势,并讨论了SCW与虹吸管之间的关系。 这些结果对于(WSPR)-P-3的死锁预防或避免的进一步研究是有价值的。
资源推荐
资源评论
资源评论
weixin_38596093
- 粉丝: 2
- 资源: 944
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功