Multithreading 以下对象是否等待空闲?

Multithreading 以下对象是否等待空闲?,multithreading,wait-free,Multithreading,Wait Free,以下是完整的问题: 以下属性是否等同于表示对象x为 有空吗 对于x的每一个无限历史H,每一个具有无穷多个 H中的步骤完成了无限多个方法调用 因此,我理解为无等待,不管怎样,调用该方法的线程都将以有限的步骤完成方法执行。从示例中我们知道,每个线程都完成无限多个方法。如果它不是无等待的,那么它应该在某个方法中停止(因此它需要无限多的步骤来完成方法)因此它不能完成无限多的方法(因为它在方法中的某个地方停止了)。因此它是无等待的 上面的推理正确吗?我希望得到更准确/正确的答案。这不是一个真正的java问

以下是完整的问题:

以下属性是否等同于表示对象x为 有空吗

对于x的每一个无限历史H,每一个具有无穷多个 H中的步骤完成了无限多个方法调用

因此,我理解为无等待,不管怎样,调用该方法的线程都将以有限的步骤完成方法执行。从示例中我们知道,每个线程都完成无限多个方法。如果它不是无等待的,那么它应该在某个方法中停止(因此它需要无限多的步骤来完成方法)因此它不能完成无限多的方法(因为它在方法中的某个地方停止了)。因此它是无等待的


上面的推理正确吗?我希望得到更准确/正确的答案。

这不是一个真正的java问题。我认为你在这方面会有更好的运气——实际编程问题也是如此(因此,通常不必担心线程完成无限多步。:)@谢谢你的建议。我也会发到那里,但如果有人能在这里帮忙,我将不胜感激。:)它们对我来说似乎相当,正是因为你所说的原因。我不知道,无限是一件奇怪的事情你的证明似乎让人想起希尔伯特的酒店,但我不知道它是否真的是,或者这是否有任何关系。这不是一个真正的java问题。我想你在以下方面会更幸运——实用编程问题更是如此(因此通常不担心线程完成无限多的步骤。:)@yshavit谢谢你的建议。我也会在那里发布,但如果有人能在这里提供帮助,我将不胜感激。:)它们对我来说似乎相当,正是因为你所说的原因。我不知道,无限是一件奇怪的事情你的证据似乎让人想起希尔伯特的酒店,但我不知道它是否真的是这样,或者这是否有任何关系。