线程执行synchronized同步代码块时再次重入该锁过程中抛异常,是否会释放锁

 一个线程执行synchronized同步代码时，再次重入该锁过程中，如果抛出异常，会释放锁吗？

如果锁的计数器为1，抛出异常，会直接释放锁；

那如果锁的计数器为2，抛出异常，会直接释放锁吗？

来简单测试一下

@Slf4j
public class SynchronizedExceptionRunnable implements Runnable {

    private volatile boolean flag = true;

    @Override
    public void run() {
        synchronized (this) {
            if (flag) {
                //让先启动的线程先执行异常方法methodB后，flag==false，并且抛出异常线程停止，直接释放锁，不会执行后面的代码；
                methodB();
            } else {
                //后启动的线程再获取锁，进入if-else,再获取锁执行methodA
                methodA();
            }
            log.info("{}:if-else end!",Thread.currentThread().getName());
        }
    }

    public synchronized void methodA(){
        log.info("ThreadName:{}----methodA", Thread.currentThread().getName());
    }

    public synchronized void  methodB() {
        flag = false;
        log.warn("ThreadName:{}----methodB will throw a exception!",Thread.currentThread().getName());

        //如果把下面这行抛异常的代码注释掉，会执行下面的线程睡眠5秒和最后的日志代码
        //如果不注释，会抛出异常，不在执行后面的代码，并且释放锁，methodA方法就会执行
        int a = 1/0;


        try {
            Thread.sleep(5000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        log.info("ThreadName:{}----methodB End!",Thread.currentThread().getName());
    }
}

启动类

public class Main {
    public static void main(String[] args) {
        SynchronizedExceptionRunnable runnable = new SynchronizedExceptionRunnable();

        Thread thread1 = new Thread(runnable,"杯子");
        Thread thread2 = new Thread(runnable,"人");
        thread1.start();
        thread2.start();
    }
}

执行结果如下图：

结果分析：

当“杯子”线程获取到锁，锁的计数器为1，因为哨兵flag的原因，先获取到锁的线程调用方法methodB，会再次获取锁(因为synchronized是可重入锁)，此时锁的计数器为2，然后执行methodB，该方法会抛出异常，锁的计数器直接置为0，直接释放锁；

然后“人”线程获取到锁，锁的计数器为1，由于flag在methodB中被设置为false，调用没有异常的methodA，会再次获取锁，此时锁的计数器为2，执行完methodA，锁的计数器-1，此时锁的计数器为1，再执行完run方法中的if-else，打印日志，最后释放锁。

如果不抛异常，是什么情况呢？我们把抛异常的代码int a = 1/0 注释掉。执行结果如下：

这个结果大家肯定清楚，就不在赘述。

 

总结

所以如果锁的计数器为2，执行过程中抛出异常，锁的计数器直接置为0，会直接释放锁！

应该是一个线程，如果执行同步代码块过程中抛出异常未捕获，会立即终止，退出同步代码块，并且释放锁，不会执行后续代码。

最核心的就是抛了异常，线程内部如果没处理，线程会直接停止！