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)可以自由实行教育试点工程。
应用推荐