这是完整的问题:
以下属性是否等同于说对象 x 是无等待的?
对于 x 的每一个无限历史 H,每一个在 H 中执行无限步的线程都会完成无限次的方法调用。
所以我将无等待理解为无论如何,调用该方法的线程将在有限的步骤中完成方法执行。从示例中我们知道每个线程完成无限数量的方法。如果它不是无等待的,那么它应该已经在某个方法中停止(因此它应该采取无限数量的步骤来完成该方法),因此它无法完成无限数量的方法(因为它已经在方法的某个地方停止了)。所以它是无等待的.
上述推理是否正确?我将不胜感激更准确/正确的答案。