1) non deadlock
无死锁性
1.
The safety and non deadlock of the system are discussed.
利用Ｐｅｔｒｉ网建立多资源并发系统模型，讨论了系统的安全性与无死锁性，指出死锁存在的条件，给出消除死锁的控制装置，通过一实际制造系统的建模与分析，验证了该文结果的正确性和有效性。
2) deadlock-free
无死锁
1.
Second,by employing the common virtual network dividing technique,a new routing algorithm is presented,which is proved to be deadlock-free.
针对原有算法的特点,提出了一种新的无死锁路由算法并给出了无死锁证明。
2.
Based on the analysis of the dependence among the multicast messages, the paper introduces the necessary and sufficient conditions for wormhole deadlock-free tree-based multicast.
在无死锁、无拥塞的情况下,基于虫孔交换的树型多播能够取得较高的性能和信道利用率。
3.
It’s important to specify the interaction behavior of the components, verify the compatibility among the components, and ensure the deadlock-freedom of the composition configuration at the architectural level.
如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容。
3) deadlock free
无死锁
1.
We analyse three routing examples and describe the development of the necessary and sufficient conditions for wormhole deadlock free routing.
本文通过三个虫孔寻径无死锁的具体实例 ,深入阐述、分析了虫孔寻径无死锁充要条件的研究进展。
5) Deadlock-free scheduling
无死锁调度
1.
To make the TRACK system of photolithography equipment run normally,avoid deadlock efficiently and improve utilization of the equipment,a deadlock-free scheduling algorithm is proposed.
为使半导体生产线光刻设备的TRACK系统正常运行,有效地避免死锁,提高设备利用率,提出了一种无死锁调度算法,在不会引发死锁的条件下为需要调度的工件确定加工组件,同时考虑到组件发生故障的情况,及时排除故障的影响,并通过仿真证明了算法的有效性。
6) deadlock-free routing
无死锁路由
补充资料：死锁
死锁
deadlock
5 ISUO死锁(deedl仪k)多个进程因竞争共享资源而处于永远等待的状态。例如，一个系统含有资源Rl，凡，两个进程A，B分别占有其中一个资源而申请另一个资源，这样就出现了进程A占有资源Rl而等待进程B释放资源凡;进程B占有资源R2而等待进程A释放资源Rl，于是这两个进程都不能执行下去而处于永远等待的死锁状态。 产生死锁的因素很多，不仅与系统拥有的资源数量有关，而且与资源分配策略，进程对资源的使用要求有关。出现死锁不仅会造成资源浪费，无法正常工作，严重时会使系统崩溃。因此，必须妥善解决和预防系统发生死锁。 有3种途径解决死锁间题: (l)死锁防止是指采取措施保证系统不产生死锁。 系统产生死锁必须同时保持4个必要条件:①互斥条件进程互斥使用资源;②部分分配条件一个进程请求资源得不到满足而等待时，不释放已占有资源;③不抢占条件任一进程不能从另一进程那里抢夺资源;④循环等待条件存在一个循环等待链，其中，每个进程分别等待它前一个进程占有的资源。 只要能破坏上述4个必要条件的一个或几个，死锁就可防止。例如，系统采用资源静态分配法或资源层次分配法，则可破坏上述条件②或④，从而，可防止系统发生死锁。 (2)死锁避免是指采取措施避免系统产生死锁。 防止死锁发生代价太高，使资源利用率低，系统效率差。如果系统动态分配资源，在分配过程中，掌握每个进程的资源申请情况，当把资源分配给申请者会产生死锁的话，就拒绝分配;否则接受申请，为进程分配资源。这样可动态测出发生死锁的可能性并加以避免。银行家算法是著名的死锁避免算法。 (3)死锁检测是指采取措施找出系统中已发生的死锁并加以解决。 对资源的分配加以限制不利于进程对资源的共享和提高系统效率。解决死锁的另一条途径是死锁检测，即对资源的分配不加任何限制，系统定时运行一个“死锁检测”程序，判断系统内是否发生死锁，若检测到死锁再设法加以解除。例如，可撤消某些有关进程，从一个进程那里剥夺资源等。进程资源图及Petri网等技术都可用来有效地判断系统是否发生死锁。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条