This paper researches on conservative synchronization protocol in RTI by the view of avoiding deadlock. The strategies taken in RTI for preventing deadlock is studied.
从避免死锁的角度出发,深入地研究了RTI实现中的保守同步协议,并分析了RT I中为预防死锁的发生所采取的策略。
Usually we should control DES's behavior to meet special specifications, like preventing the system from special states, especially deadlock.
常常需要控制离散事件系统的行为以满足特定的规范,比如防止系统进入特定的状态,尤其是死锁状态。
应用推荐