以下线程代码中的同步工作情况如何？代码流程是什么？

Question

class ThreadA {
public static void main(String[] args) {
    ThreadB b = new ThreadB();
    b.start();
    synchronized (b) {
        try {
            System.out.println("Waiting for b to complete...");
            b.wait();
        } catch (InterruptedException e) {
        }
        System.out.println("Total is: " + b.total);
    }
}}

class ThreadB extends Thread {
int total;

public void run() {
    synchronized (this) {
        for (int i = 0; i < 100; i++) {
            total += i;
        }
        notify();
    }
}}

我无法理解上述程序中的代码流程以及如何调用 run 方法。 当对象属于ThreadB 类时，为什么ThreadA 的main() 线程能够同步对象b。除此之外，当main() 线程遇到wait() 时，执行如何转移到ThreadB 中的run()。

Answer 1

为什么 main() 甚至在 ThreadB 的 run() 能够执行之前到达同步块。

你的程序有一个竞态条件。

在main() 调用b.start() 之后，有两个线程正在运行，未同步，它们竞相锁定（即同步）b 对象。无法预测哪个线程会先锁定它。

如果main()线程先锁定它，那么它会调用b.wait()。这将暂时解锁b 对象，并允许其他线程运行。另一个线程将完成它的工作，调用b.notify() 并退出synchronized 块。一旦它退出，main() 线程将能够从wait() 调用中返回。

如果第二个线程首先锁定b 对象，则行为会有所不同：它将完成它的工作，调用notify()，然后返回。但在这种情况下，notify() 调用将不会执行任何操作，因为在尝试进入synchronized 块时，main() 线程将被阻塞。它不会在 b.wait() 调用中等待，如果没有任何其他线程在等待，notify() 不会做任何事情。

那么在这种情况下接下来会发生什么，当ThreadB 线程离开synchronized 块时，main() 线程将能够进入它并调用wait()。程序将在此时挂起，因为ThreadB 线程已经完成工作并死亡。没有其他线程可以调用notify()。

当两个（或更多）线程竞相做某事时，我们称之为竞态条件，程序的输出取决于哪个线程先到达那里。

Answer 2

除了 main() 线程遇到 wait() 时，执行如何转移到 ThreadB 中的 run()。

调用wait()之前

如果下一步会调用wait method，则表示主线程当前持有对象b的监视器。如果 threadB 想要执行 run() 方法，它将被阻塞等待 main thread 持有的 b 的 monitor。

调用 wait()

表示main thread释放monitor，进入等待状态，通知thread scheduler re_dispatch。然后ThreadB就可以得到monitor，做事了。

通知（）

完成它的工作后，threadB 调用 notify() 来唤醒一个正在该对象的 monitor 上等待的单个线程，这里是 主线程时间>。 主线程会继续工作。