java - 当线程进入 Java 中的同步块(synchronized block)/方法时到底发生了什么

Question

我很好奇当我的线程到达同步块(synchronized block)并阻塞监视器时到底发生了什么。

它实际上是否在所有其他尝试使用此监视器的线程上隐式调用 wait()？或者监视器有一些正在更改的特定标志？

另外，当我们跳出同步块(synchronized block)时会发生什么？它会以某种方式为当前监视器调用 notify 或 notifyAll 吗？

我真的很纠结这个。

Answer 1

我认为最好从底层同步原语的角度来思考:Java 监视器是一个互斥体，同步块(synchronized block)是一个区域，其中互斥体在 { 上锁定并在 上解锁} 和 wait、notify 和 notifyAll 是在与互斥体关联的条件变量上调用的方法。

要记住的重要一点是，当 wait() 被调用时，互斥锁可以在同步块(synchronized block)中解锁，因为 wait 将解锁互斥锁并阻塞，直到 notify 或 notifyAll被称为。

因此，尽管推断这是不可能的，但多个线程仍然可以在同步块(synchronized block)中被阻塞。

更新:带注释的代码演示了这一点:

Object lock;
// ...
synchronized (lock) { // Underlying mutex is locked.
    // ...
    lock.wait(); // Unlocks mutex, blocks until notify, relocks mutex
    // ...
} // Underlying mutex unlocked

一旦 lock.wait() 被调用，其他线程就可以自由进入同步块(synchronized block)。它们也会阻塞，直到 lock.notify() 或 lock.notifyAll() 唤醒它们。