Liveness assertions state that certain events are guaranteed to occur eventually - for instance, that a given thread will eventually wake up instead of sleeping forever.

• 生存断言声明保证最终发生某些事件例如,给定的线程将最终被唤醒,而不是永远休眠。