文件名称:
（WSPR）-P-3的活力：复杂性和决策
开发工具:
文件大小: 3mb
下载次数: 0
上传时间: 2021-03-17
详细说明：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的死锁预防或避免的进一步研究是有价值的。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
