死锁预防： ConTest 可以分析是否以冲突的顺序嵌套地拥有锁，这表明有死锁的危险。
Deadlock prevention: ConTest can analyze whether locks were taken nestedly in conflicting order, which indicates a danger of deadlock.
这样命名的原因在于该构造的相位有序性和死锁预防属性。
The name comes from the construct's phase-ordering and deadlock-avoidance properties.
该算法是分布式和基于局部信息的，可以预防死锁。
This algorithm was distributed and based on local information, and it could prevent deadlock.
应用推荐