【摘 要】
：
提出一种改进的死锁和活锁避免资源联合分配协议——OODP3（Optimal ODP3）,OODP3基于ODP3（Or-der-based Deadlock Prevention Protocol with Parallel requests）的安全状态方法避
【机 构】
：
南京财经大学江苏省电子商务重点实验室
论文部分内容阅读
提出一种改进的死锁和活锁避免资源联合分配协议——OODP3（Optimal ODP3）,OODP3基于ODP3（Or-der-based Deadlock Prevention Protocol with Parallel requests）的安全状态方法避免死锁和活锁,但是,OODP3将其时间复杂度降到多项式级,并对OODP3的正确性进行了理论证明,实验结果表明OODP3的执行速度快,而且比现有的资源联合分配协议具有更优越的性能;最后进一步讨论了退避时间协议和资源分配策略对OODP3性能的影响.
其他文献
本文研究了基于声矢量传感器阵列的相干信号波达方向（DOA）估计和跟踪问题.首先,根据中心对称均匀线阵方向矩阵的平移不变特性,提出了一种增强阵列有效孔径的单快拍矢量平滑估计
企业的发展离不开员工,而员工的资源调配对企业非常重要。每一个企业都有属于自己的发展规划,而企业的发展规划也涉及企业对员工的资源规划。而员工的资源规划,即人力资源规
<正>肿瘤靶向药物是指与肿瘤发生、生长、转移和凋亡密切相关的分子或基因为靶点而设计的药物,应用肿瘤靶向药物治疗肿瘤是肿瘤治疗的首选策略。本文结合笔者实验室的研究工
借鉴模仿哺乳动物大脑皮层分簇结构的复杂网络拓扑结构,提出一种基于相应簇储备池回声状态网络的分类方法.将时间窗函数机制引入到回声状态网络储备池的构建中,利用具体问题
1基因测序技术2008年基因测序研究的一大特点是出现了简便、快捷、经济的基因组测序新技术，为个体医疗铺平了道路：使得动植物基因组测序、微生物基因组测序工作又大大前进了一
2007年4月，日本实验动物中内研究所（以下简称实中研）和岛津制作所宣布．通过两家研究所的共同研究，已经发现了在癌症转移中共同地显示出数量变化的9种蛋白质。据称这个发现是利用了
近年来,我国事业单位经济体制改革不断深入,这也使事业单位发展过程中的内部环境和外部环境发生了较大变化。为了更好地促进事业单位的健康发展,政府采购制度被引进事业单位
微藻（Microalgae）是一类在陆地、海洋分布广泛，营养丰富且光合利用度高的微型自养植物，具有分布广且不占用耕地、生物量大、光合效率高、环境适应能力强、细胞结构简单且生长周期
随着＂中国制造2025＂战略的推进,工业企业高端人才的引进工作,是优化企业人才结构、提升企业核心竞争力的重要环节。广西工业企业的人才队伍不断壮大,涌现出了一大批勇于创新、
给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n