2) 无死锁(Deadlock-free)：如果Petri 网PN=(N,M 0 )中无死锁，那么 t [ M : T t ), M ( R M 0 。
基于28个网页-相关网页
deadlock-free scheme [计] 无死锁模式
deadlock free 无死锁
deadlock free scheme 无死锁配置
deadlock-free system 无死锁系统
deadlock free system 无死锁系统
deadlock-free routing 无死锁路由
deadlock-free multicast 中解除死锁的多
Deadlock-free scheduling 无死锁调度
The four algorithms are shown to be deadlock-free.
这四个算法被证明是无死锁的。
参考来源 - WormholeIt is a deadlock-free adaptive routing algorithm supporting prioritized traffic for Torus.
它是一种在Torus交换结构中支持多优先等级业务的无死锁的内部路由算法,能支持对时延有不同要求的多种业务。
参考来源 - Torus交换结构中对多优先级业务交换性能的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
The data transfer path from the calculation of this algorithm is the shortest deadlock-free transfer path.
根据该算法得出的数据传输路径是无死锁的最短传输路径。
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.
在避免系统死锁的前提下，设计了基于目录的无效使能协议，并证明其保证了缓存一致性。
Disagreement does not cause deadlock because the lander are free to experiment.
分歧并不会导致僵局产生，因为联邦州(lander)可以自由实行教育试点工程。
应用推荐