在另一个 Synchronized 中调用 Synchronized

call Synchronized inside another Synchronized

第 1 部分:

假设如下一段代码

void method1(){

    synchronized (lockObject){
        method2();
        System.out.println("line4");
    }

}

void method2(){
    System.out.println("line1");

    synchronized (lockObject){
        System.out.println("line2");
    }

    System.out.println("line3");
}

这是死锁吗?这是一个安全的代码吗?输出是否总是:

line1
line2 
line3
line4

第 2 部分:

如果method2()在另一个线程上执行怎么办?输出会不同吗?像这样:

void method1(){

    synchronized (lockObject){
        method2();
        System.out.println("line4");
    }

}

void method2(){
        newThread= new Thread(new Runnable() {
            @Override
            public void run() {     
                System.out.println("line1");
                synchronized (lockObject){
                    System.out.println("line2");
                }
                System.out.println("line3");
            }
        }).start();
}

我猜第二个代码的输出可能是:

line4
line1 
line2
line3

这是正确的吗?

内部锁是可重入的。一个线程可以获取一个,即使它已经拥有它。

来自the Oracle tutorial

Recall that a thread cannot acquire a lock owned by another thread. But a thread can acquire a lock that it already owns. Allowing a thread to acquire the same lock more than once enables reentrant synchronization. This describes a situation where synchronized code, directly or indirectly, invokes a method that also contains synchronized code, and both sets of code use the same lock. Without reentrant synchronization, synchronized code would have to take many additional precautions to avoid having a thread cause itself to block.

对于您的第二个示例,您启动的新线程必须等到通过调用 method1 释放锁。在新线程启动之前,对 method1 的调用很可能会完成,释放锁,因为启动新线程需要一段时间,但不能保证。 "line1" 可以在 "line4" 之前打印。要打印 "line2",方法 1 调用必须先完成。

是的,您可以在同一个对象上进行多次同步而不会出现死锁,它的工作方式类似于可重入锁。

至于输出。第一种是简单的顺序输出,同步不影响。第二个将产生预期的输出,因为另一个线程将不得不等待第一个线程释放 lockObject。

编辑,line1 和 line4 的顺序未确定,因为之前没有同步。 line2 和 line3 总是在 line4 之后,因为第二个线程在第一个线程离开 method1 同步块之前无法开始打印 line1。

第 1 部分:不,没有死锁,因为只有一把锁。当可以按不同的顺序获取多个锁时,就会发生死锁。输出将始终相同。

第 2 部分:不会出现死锁,但打印语句的顺序可能会有所不同。第 1-3 行将始终以正确的顺序出现,但 "line4" 语句可以在第 1 行或第 2 行之前打印。

如果您想防止第 4 行出现在第 1 行和第 2 行之间,您需要通过将它们移动到 synchronized 块内使它们显示为 "atomic" 操作。