线程如何知道如何“回到”先前锁定的块？

Question

考虑以下代码：（注意：为了代码清晰起见，删除了所有尝试/捕获）

Object lock1 = new Object();
Object lock2 = new Object();
List<Integer> list1 = new ArrayList<Integer>();
List<Integer> list2 = new ArrayList<Integer>();

public void process() {
    for (int i = 0; i < 1000; i++) {
        methodA();
        methodB();
    }
}

public void methodA() {

    synchronized (lock1) {
        Thread.sleep(1); // mimics other operations
        list1.add(random.nextInt(100));
    }
}

public void methodB() {

    synchronized (lock2) {
        Thread.sleep(1); // mimics other operations
        list2.add(random.nextInt(100));
    }
}

现在假设创建了两个线程，它们都只需在它们的＜code＞run（）＜/code＞中调用＜code＞process（）＜/code＞方法。

假设当thread2尝试访问方法A（）时，锁已经被thread1获取了。据我所知，thread2将跳过同步锁，退出方法A（），并启动方法B（这就是拥有多个锁对象的意义）。但我的问题是thread2如何知道“返回”并完成方法A（），而不是继续for循环？

我知道情况是这样的，因为list1和list2最后都有2000个 ，这意味着这两个线程都成功地完成了

我唯一的猜测是，当线程遇到一个被锁定的同步块时，它会将该块存储在队列（或其堆栈？）中并继续前进，直到该块再次空闲。

Answer 1

MethodA（） 和 methodB（） 是按顺序调用的，因此如果锁在 methodA（） 中，直到并且除非锁被清除，否则线程将处于阻塞状态。

Answer 2

据我所知，thread2将跳过同步锁，退出方法A（），并启动方法B

不，线程 2 将阻塞，即。停止执行，直到另一个线程完成方法 A 并释放锁。然后，它将恢复执行、获取锁并执行方法。