deadlock-freeness

[计] 无死锁性