断言系统将决不会使其本身陷入死锁

• To assert that the system will never get itself into deadlock