共查询到20条相似文献,搜索用时 31 毫秒
1.
柔性制造系统中多路径条件下的死锁避免 总被引:4,自引:1,他引:3
路径选择柔性是柔性制造系统的重要特性,但它使系统的调度和控制复杂化,从避免死锁这一重要要求出发,讨论了多路径条件下系统的建模,给出了一种称之为面向资源的着色Petri网(CROPN),它不仅能很妇地描述系统中的动态资源竞争,而且能准确地描述系统中的工作流,利用这一模型,将获得避免死锁的充要条件。 相似文献
2.
柔性制造系统中死锁避免的充要条件:第一部分:资源竞争过程的建模 总被引:1,自引:0,他引:1
柔性制造系统的主要特点是多种不同类型的工件同时在系统中加工。这些工件竞争系统的有限资源,导致象系统死锁等这样的不希望事件的发生。本文用一种Petri网模型,称之为着色面向资源Petri网来描述系统中的这一竞争过程。这一模型提示了资源竞争过程的本质特点,从而为寻求死锁避免的充要条件提供了基础。 相似文献
3.
4.
5.
1.引言系统的并发性与资源的共享性是并发操作系统的主要特征,其目的是最大限度地提高计算机资源的利用率。死锁是并发操作系统必须解决的一个重要问题。人们试图用不同的方法来解决死锁问题。如Dijkstra提出的有名的死锁避免的“银行家算法”,Coffman等人给出的死锁检测算法。 Petri网模型作为模拟与分析并发、异步、分布式系统的一种有效工具,已被用于解决操作系统中的许多问题。如进程通讯中的生产者/消费者问题、哲学家用餐问题,资源竞 相似文献
6.
7.
8.
左凤朝 《小型微型计算机系统》2003,24(7):1297-1300
本文从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图.通过分析可达标识图,可判断系统是否为死锁状态.若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁.最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施. 相似文献
9.
将单机系统或集中式系统中的死锁避免策略移植到分布式需要面临并发性和冲突问题的解决。本文通过分析二阶段锁的机制,引入了一种应用选举策略来幽雅地解决分布式系统中死锁避免所碰到问题的算法。 相似文献
10.
研究了部分可控Petri网柔性制造系统中的死锁避免的问题。为了保证死锁避免和资源最大允许利用,提出了基于分支定界法的Petri网死锁监控器的优化设计方法,采用多个子控制节点对全局状态建立分布式监控器,通过行为可行和分布可行对分布式监控器下合法状态空间进行检测,对最大行为可行子集建立线性规划模型求解最大分布可行合法状态集,得到分布式监控器下的最大合法状态子空间。最后,建立了柔性制造系统的部分可控Petri网模型,针对系统的死锁避免等多个行为特性要求,分别设计了集中式监控器和分布式监控器,分布式监控器能有效地避免死锁。 相似文献
11.
一类并行互斥制造系统的死锁避免控制 总被引:2,自引:0,他引:2
本文用一种扩展Petri网,并行过程Petri网,对竞争使用有限资源的一类并行互斥制造系统进行建模。以此模型为基础,分析了这类制造系统中出现死锁的充要条件,并给出了避免死锁,对共享资源所采取的最大允许允馈控制策略。 相似文献
12.
柔性制造系统中死锁避免的充要条件第二部分:资源的动态分配规则 总被引:1,自引:0,他引:1
本文根据在第一部分中推导出来的描述资源竞争的着色ROPN给出在柔性制造系统中无死锁运行的充分必要条件,从而得出相应的控制规律。它是一种资源动态分配的策略,它决定当一个资源空闲时,是否可以分配给一个任务,可以的话先分配给谁,以保证系统无死锁,并使得资源利用率最大。 相似文献
13.
多机器人系统中,随着机器人数目的增加.系统中的冲突呈指数级增加.甚至出现死锁.本文提出了基于过程奖赏和优先扫除的强化学习算法作为多机器人系统的冲突消解策略.针对典型的多机器人可识别群体觅食任务.以计算机仿真为手段,以收集的目标物数量为系统性能指标,以算法收敛时学习次数为学习速度指标,进行仿真研究,并与基于全局奖赏和Q学习算法等其他9种算法进行比较.结果表明所提出的基于过程奖赏和优先扫除的强化学习算法能显著减少冲突.避免死锁.提高系统整体性能. 相似文献
14.
15.
许方庆 《数字社区&智能家居》1998,(10)
一、问题的提出 MS SQL SERVER 是一个高性能的多用户关系型数据库管理系统,它强大的管理工具和开放式的系统体系结构正被越来越多的人们所认可。但在使用时,经常会遇到一个讨厌的问题——死锁。数据库中的死锁不能完全避免,笔者仅就实践中如何解决MS SQL SERVER 数据库中的死锁提出解决办法。 避免死锁的常规方法是保证编写应用代码的一 相似文献
16.
集群系统可实现不间断实时数据处理,分布式锁管理可以为集群系统中的相互操作的进程提供同步访问共享资源的机制.同时避免死锁的发生. 相似文献
17.
为了抑制优先级反转现象,采用优先级继承协议来解决优先级反转现象,在此协议中不能避免系统死锁现象的发生。分析了死锁现象产生的原因的,在优先级继承协议基础上提出了优先级反转和死锁问题的资源管理模式,采用排序锁定共享资源的方法,使共享资源按照SourceID由低到高的共享顺序依次被访问。理论证明该方法在一定程度上抑制优先级反转且避免了死锁现象的发生,通过实验结果表明了解决优先级反转和死锁的资源管理模式的正确性与可行性。 相似文献
18.
19.
数据库系统中并发事务死锁的解除与避免 总被引:8,自引:0,他引:8
尹朝庆 《计算机研究与发展》1995,32(4):33-38
本文利用Petri网作为工具,从提高事务进程并行性出发,建立数据库系统的并发事务进程竞争数据资源的模型。并由此推导出死锁和临界死锁的充分必要条件及提邮相应的避免死锁的控制机制。该控制机制是通过如何对关键的空闲数据资源进行控制分配来实现避免死锁。 相似文献