通过对系统死锁条件的分析，提出并实现了一种避免死锁产生的方法。
Based on the analysis of the deadlock condition, a deadlock free method is proposed and implemented.
在避免系统死锁的前提下，设计了基于目录的无效使能协议，并证明其保证了缓存一致性。
After a sufficient condition of the deadlock-free design has been given, the directory-based invalidate cache coherence protocol is introduced and its cache coherence is verified using belief.
多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题，也是有待解决的难点之一。
The prevention and cure of deadlock of command information system for united combat of multi-troops is the fundamental problem to ensure the safety and the reliability of system.
这一模式还可以帮助您免除后端系统使用事务时引起的任何死锁。
This pattern also helps to avoid any deadlocks in case the backend system USES transactions.
锁升级、锁超时和死锁将表明系统或应用程序中存在某些潜在问题。
The lock escalations, lock timeouts and deadlocks will indicate some potential problems in your system or application.
这使得数据库系统管理员可以优化没有使用更新语句处的性能，或使用更新语句时也可以防止死锁。
This allows the database administrator to optimize the performance where the update syntax is not used, or to prevent deadlocks when it is used.
如今，在不考虑进程、线程、死锁和其它并行主题的情况下，不可能了解操作系统的设计。
It's impossible to understand operating systems design today without considering processes, threads, deadlocking, and other concurrent topics.
为了开始创建安全、有效的操作系统，学生必须了解许多经典的死锁和同步问题。
There are several classic deadlock and synchronization problems the student must understand in order to begin to reason about creating secure, efficient operating systems.
您可将注意力放到应用逻辑中，而不必担心会产生死锁而导致系统突然宕机。
You can put your concentration back on your application logic and not worry so much about creating a deadlock that will bring your system to a sudden halt.
分析表明，该方法提高了死锁预防的有效性和系统资源的利用率。
Analysis shows that the proposed strategy increases the effectiveness of the deadlock prevention and the utilization of system resources.
分布式系统的死锁是由于资源和通讯产生的。
Distributed system deadlock are resulted from resource and communication.
在制造系统中，必须防止死锁的发生。
在分布式系统研究领域中，死锁条件通常是根据资源请求方式来确定的。
In the research area of distributed systems, deadlock conditions are commonly determined by resource request mode.
本文将详细介绍分布式事务、并发控制和资源请求模型，总结出分布式数据库系统的通用死锁条件。
In this paper, distirbuted transaction, concurrency control and resource request model are introduced in detail. The universal deadlock condition in distirbuted database system is summarized.
此事件类不包括系统任务和正在等待未发现死锁的资源的任务。
This event class does not include system tasks or tasks that are waiting on non deadlock-detectable resources.
多移动机器人系统中，随着机器人数目的增加，系统中冲突呈指数级增加，甚至发生死锁。
In multiple mobile robot systems, interference will increase exponentially with the increase of the number of robots, even deadlock will occur.
在对规则树的扩展研究过程中，解决了规则死锁、节点冗余及冲突等关键问题，从而实现了自动开操作票系统。
During the study of the extension of the rule tree, such crucial problems as the rule dead-lock, nodes redundancy and nodes conflict are successfully solved, realizing the automatic switching system.
多机器人系统中，随着机器人数目的增加，系统中的冲突呈指数级增加，甚至出现死锁。
In a multiple mobile robot system, interface increases exponentially with the increasing number of robots, even deadlock may occur.
任何此类执行都是非法的，因为这样可能导致死锁，以及在操作系统的加载程序初始化dll之前使用DLL。
Any such execution is illegal because it can lead to deadlocks and to use of DLLs before they have been initialized by the operating system's loader.
数据库系统中事务死锁的检测和预防，对提高系统并发性和整体性能具有重要意义。
Deadlock detection and prevention of transaction are very important to concurrency and integrity in database systems.
系统中被清空的信标导致死锁发生。
银行家算法是操作系统中采用避免死锁策略来解决死锁问题的一种算法。
Banker algorithm is one of algorithms on solving deadlock problem using avoiding deadlock policy.
分布式数据库不同于一般分布式系统，其死锁条件不仅与资源请求方式相关，而且与资源授予方式相关。
Distributed database is different from general distributed system, it's deadlock condition is not only related with resource request mode, but also related with resource grant mode.
常常需要控制离散事件系统的行为以满足特定的规范，比如防止系统进入特定的状态，尤其是死锁状态。
Usually we should control DES's behavior to meet special specifications, like preventing the system from special states, especially deadlock.
本文致力于柔性制造系统的死锁预防问题研究。
This thesis focuses on deadlock prevention in flexible manufacturing systems (FMS).
如果系统还有权任意中止交易(系统中止通常发生故障，如节点和死锁的原因)，则问题剥离(二)也是消除。
If the system is also stripped of the right to arbitrarily abort transactions (system aborts typically occur for reasons such as node failure and deadlock), then problem (b) is also eliminated.
在刚才展示的死锁的例子中，认证任务试图获取DAC是很重要的时间点，获取完以后，系统就走向了死锁。
In the deadlock example shown before, the significant point is when the si task tries to lock the DAC. Before that succeeded and lead to cyclic deadlock.
针对多个机器人竞争系统资源所引发的冲突及死锁现象，设计了减速移动行为；
When robot move near the target, the behavior of slow movement is applied, which realizes the queue coordination and avoid the conflict and deadlock;
针对多个机器人竞争系统资源所引发的冲突及死锁现象，设计了减速移动行为；
When robot move near the target, the behavior of slow movement is applied, which realizes the queue coordination and avoid the conflict and deadlock;
应用推荐