java：如果总是在锁释放之前调用notify（），那么等待的线程如何获得相同的锁？

Question

我想我已经知道这个问题的答案，但是，我想阅读你的意见，以确保我真正理解java线程的状态机（或图表）是如何工作的。

想象线程A在返回给定值之前运行通知（）：

public class baz{

    // Thread B runs this:
    public synchronized void bar(){
       wait();
    } 

    // Thread A runs this:
    public synchronized int foo(){
       notify();
       return 11;
    }
}

notify（）将在线程A释放锁之前调用（这将发生在return 11；语句之后）。那么，线程B（通过wait（）方法）如何获得线程a仍然持有的锁呢？注意，当通知线程B时，线程A尚未释放锁。

因此，我对这种情况的看法如下：

调用etc（）后，线程B会将其状态从“运行”更改为“等待”。线程B收到通知后（来自线程A通知（）方法），会从“等待（）”返回，将其状态更改为“可运行”并尝试获取锁。由于线程A尚未释放锁，线程B将在对象的监视器上被阻塞，并将其状态从“可运行”传递给“阻塞”。最终，线程A释放锁后，线程B将获取锁并将其状态从“阻塞”传递给“运行”。

是这样吗？对于这个问题，我想了解的是，从一个wait（）返回的线程发生了什么，该线程由已经获取的锁同步。

Answer 1

是的，你的解释是正确的。

当您在对象上调用< code>wait()时，调用线程将被添加到对象的等待集。当它被< code>notify()ied时，它将被从等待集中删除，并对该对象执行锁定操作(它位于该对象上< code>synchronized块内)。那个锁定动作将阻塞当前线程，直到它完成，即。已锁定对象监视器。

这与两个线程尝试在同一对象上输入同步块时的行为完全相同。到达的第一个线程将锁定对象监视器，立即完成锁定对象。其他线程阻塞，直到其锁定操作完成，即。在第一个线程解锁监视器之后。