探究Lock控制的代码块出现异常后线程是否会自动释放锁

探究Lock控制的代码块出现异常后线程是否会自动释放锁

Lock的说明

接口是JDK5.0以后新出的对同步机制的补充，其与synchronized的最大区别就在于Lock接口是必须手动上锁和手动解锁的，不管在什么情况下。

本文章主要是为了测试需要同步的代码在出现了异常后，Lock是否会自动释放锁，从而探究在利用Lock实现同步机制时，是否一定要将需要同步的代码块全都放在try-catch-finally中。

测试Lock上锁的同步代码块出现异常后是否会自动释放锁

测试思路：创建一个线程类，并声明一个静态锁，在需要同步的代码里故意抛出运行时异常；之后声明两个该线程的实例，并且都启动，根据运行结果判定结论。

先放上代码：

import java.util.concurrent.locks.ReentrantLock;

/**
 * 验证Lock控制的同步代码块，即使出现了异常，JVM也不会自动释放Lock锁；
 @author 龟粮
 * @create 2021-04-28 12:25
 */
public class LockTest {

    public static void main(String[] args) {

        MyThread m1 = new MyThread(); //第一个线程实例；
        m1.start();
        MyThread m2 = new MyThread(); //第二个线程实例；
        m2.start();

    }

}

class MyThread extends Thread{

    private static ReentrantLock lock = new ReentrantLock();

    @Override
    public void run() {
        test();
    }

    public void test()
    {
        System.out.println("我是：" + Thread.currentThread().getName());
        lock.lock(); //手动上锁；
        System.out.println(Thread.currentThread().getName() + "成功上锁");
        //故意抛出运行时异常，终止后面的手动释放锁的代码，以此来测定遇到异常情况下Lock是否会自动释放锁；
        int i = 1/0; 
        System.out.println(Thread.currentThread().getName() + "准备开锁");
        lock.unlock(); //手动释放锁；
        System.out.println(Thread.currentThread().getName() + "开锁成功");
    }

}

猜想一：如果同步代码出现了异常，Lock会自动释放锁，那么应该两个线程最后都能上锁，也就是(lock后)第二个输出语句会输出两次。

猜想二：如果同步代码出现了异常，Lock不会自动释放锁，那么其中一个线程(A)在成功上锁后会抛出异常然后拿着锁终止，另一个线程(B)会一直等待A线程的锁释放并争夺该锁。

运行结果：

从运行结果可以看出，只有Thread-0上锁成功，并且抛出了运行时异常；但此时整个程序并没有终止(黄色框框住的地方)，说明此时Thread-0虽然因异常没有处理而终止了，但Thread-1还一直停留在run()里等待Thread-0释放锁(锁是共用的),所以程序才会一直在运行着。

结论：

1. 因为Lock同步机制，即便需要同步的代码块遇到了异常，线程也不会自动释放锁，所以我们必须手动解锁，以便不影响其他线程对该锁的使用
2. 基于1.的原因，我们必须把需要同步的代码块放在try中，将解锁的代码放在finally中，确保无论程序是否遇到了异常、return语句等，finally中的解锁代码都会被执行