Synchronized 与 ReentrantLock 的区别

工作中我们经常会遇到 Java 常见的加锁方法,本文着重介绍最常见的 synchronized 与 ReentrantLock 的区别,以及说明在动态高并发时为什么推荐 ReentrantLock 而不是 Synchronized?

一 Synchronized 与 ReentrantLock 的区别

1.1 底层实现的区别

底层实现上来说,synchronized 是 JVM 层面的锁,是 Java 关键字,通过 monitor 对象来完成(monitorenter 与 monitorexit),对象只有在同步块或同步方法中才能调用 wait / notify 方法,ReentrantLock 是从 jdk1.5 以来(java.util.concurrent.locks.Lock)提供的 API 层面的锁。

synchronized 的实现涉及到锁的升级,具体为无锁、偏向锁、自旋锁、向 OS 申请重量级锁,ReentrantLock 实现则是通过利用CAS(CompareAndSwap)自旋机制保证线程操作的原子性和 volatile 保证数据可见性以实现锁的功能。

synchronized (new Object()){

}

new ReentrantLock();

1.2 是否可手动释放

synchronized 不需要用户去手动释放锁,synchronized 代码执行完后系统会自动让线程释放对锁的占用。

ReentrantLock 则需要用户去手动释放锁,如果没有手动释放锁,就可能导致死锁现象。一般通过 lock() 和 unlock() 方法配合 try / finally 语句块来完成,使用释放更加灵活。

    private int number = 0;
    private Lock lock = new ReentrantLock();
    private Condition condition = lock.newCondition();
    private AtomicInteger atomicInteger;

    public void increment() throws Exception {
        lock.lock();
        try {

            while (number != 0) {
                condition.await();
            }
            //do something
            number++;
            System.out.println(Thread.currentThread().getName() + "\t" + number);
            condition.signalAll();
        } catch (Exception e) {
            e.printStackTrace();
        } finally {
            lock.unlock();
        }

    }

1.3 是否可中断

synchronized 是不可中断类型的锁,除非加锁的代码中出现异常或正常执行完成。

ReentrantLock 则可以中断,可通过 trylock(long timeout,TimeUnit unit) 设置超时方法;或者将 lockInterruptibly() 放到代码块中,调用 interrupt 方法进行中断。

public boolean tryLock(long timeout, TimeUnit unit)
            throws InterruptedException {
        return sync.tryAcquireNanos(1, unit.toNanos(timeout));
}

public void lockInterruptibly() throws InterruptedException {
        sync.acquireInterruptibly(1);
}

1.4 是否公平锁

synchronized 为非公平锁。

ReentrantLock 则即可以选公平锁也可以选非公平锁,通过构造方法 new ReentrantLock 时传入 boolean 值进行选择,为空默认 false 非公平锁,true 为公平锁。

/**
     * Creates an instance of {@code ReentrantLock}.
     * This is equivalent to using {@code ReentrantLock(false)}.
     */
    public ReentrantLock() {
        sync = new NonfairSync();
    }

    /**
     * @param fair {@code true} if this lock should use a fair ordering policy
     */
    public ReentrantLock(boolean fair) {
        sync = fair ? new FairSync() : new NonfairSync();
    }

1.5 锁是否可绑定条件 Condition

synchronized 不能绑定。

ReentrantLock 通过绑定 Condition 结合 await() / singal() 方法实现线程的精确唤醒,而不是像 synchronized 通过 Object 类的 wait() / notify() / notifyAll() 方法要么随机唤醒一个线程要么唤醒全部线程。

示例:用ReentrantLock绑定三个条件实现线程A打印一次1,线程B打印两次2,线程C打印三次3
class Resource {
    private int number = 1;//A:1  B:2  C:3
    private Lock lock = new ReentrantLock();
    private Condition c1 = lock.newCondition();
    private Condition c2 = lock.newCondition();
    private Condition c3 = lock.newCondition();

    //1 判断
    public void print1() {

        lock.lock();

        try {
            //判断
            while (number != 1) {
                c1.await();
            }
            //2 do sth
            for (int i = 1; i < 2; i++) {
                System.out.println(Thread.currentThread().getName() + "\t" + number);
            }

            //3 通知
            number = 2;
            c2.signal();
        } catch (Exception e) {
            e.printStackTrace();
        } finally {
            lock.unlock();
        }
    }

    //1 判断
    public void print2() {

        lock.lock();

        try {
            //判断
            while (number != 2) {
                c2.await();
            }
            //2 do sth
            for (int i = 1; i < 3; i++) {
                System.out.println(Thread.currentThread().getName() + "\t" + number);
            }

            //3 通知
            number = 3;
            c3.signal();
        } catch (Exception e) {
            e.printStackTrace();
        } finally {
            lock.unlock();
        }
    }

    //1 判断
    public void print3() {

        lock.lock();

        try {
            //判断
            while (number != 3) {
                c3.await();
            }
            //2 do sth
            for (int i = 1; i < 4; i++) {
                System.out.println(Thread.currentThread().getName() + "\t" + number);
            }

            //3 通知
            number = 1;
            c1.signal();
        } catch (Exception e) {
            e.printStackTrace();
        } finally {
            lock.unlock();
        }
    }
}

public static void main(String[] args) {

        Resource resource = new Resource();

        new Thread(()->{
            for (int i = 1; i <= 2; i++) {
                resource.print1();
            }
        },"A").start();


        new Thread(()->{
            for (int i = 1; i <= 2; i++) {
                resource.print2();
            }
        },"B").start();


        new Thread(()->{
            for (int i = 1; i <= 2; i++) {
                resource.print3();
            }
        },"C").start();


    }

输出结果为:

A 1 B 2 B 2 C 3 C 3 C 3 A 1 B 2 B 2 C 3 C 3 C 3

1.6 锁的对象

synchronzied 锁的是对象,锁是保存在对象头里面的,根据对象头数据来标识是否有线程获得锁 / 争抢锁。

ReentrantLock 锁的是线程,根据进入的线程和 int 类型的 state 标识锁的获得 / 争抢。

二 为什么推荐 ReentrantLock 而不是 Synchronized?

Synchronized 和 ReentrantLock 我们都很熟悉了,作为 java 中最常用的本地锁,最初版本中 ReentrantLock 的性能是远远强于 Synchronized 的,后续 java 在一次次的版本迭代中对 Synchronized 进行了大量的优化,直到 jdk1.6 之后,两种锁的性能已经相差无几,甚至 Synchronized 的自动释放锁会更好用。

在面试时被问到 Synchronized 和 ReentrantLock 的使用选择时,很多朋友都脱口而出的说用 Synchronized ,甚至在我面试的时候问候选者,也很少有人能够答出所以然来,下面我们来详细分析下两种的对比。

2.1 Synchronized 使用

在 java 代码中 synchronized 的使用是非常简单的。

  • 直接贴在方法上 (锁住的是当前类的字节码文件)
  • 贴在代码块上 (锁住的是对象)

Synchronized 与 ReentrantLock 的区别_第1张图片
程序运行期间,Synchronized 那一块儿代码发生么什么?来看一张图:
Synchronized 与 ReentrantLock 的区别_第2张图片
在多线程运行过程中, 线程会去先抢对象的监视器 ,这个监视器是对象独有的,其实就相当于一把钥匙,抢到了,那你就获得了当前代码块的执行权。

其他没有抢到的线程会进入队列 (SynchronizedQueue) 当中等待,等待当前线程执行完后,释放锁。

最后,当前线程执行完毕后通知出队然后继续重复当前过程。

从 JVM 的角度来看 monitorenter 和 monitorexit 指令代表着代码的执行与结束 。

2.1.1 SynchronizedQueue

SynchronizedQueue 是一个比较特殊的队列,它没有存储功能,它的功能就是维护一组线程,其中每个插入操作必须等待另一个线程的移除操作,同样任何一个移除操作都等待另一个线程的插入操作。因此此队列内部其实没有任何一个元素,或者说容量是0,严格说并不是一种容器。由于队列没有容量,因此不能调用 peek 操作,因为只有移除元素时才有元素。

举个例子:

喝酒的时候, 先把酒倒入酒盅,然后再倒入酒杯,这就是正常的队列 。

喝酒的时候, 把酒直接倒入酒杯,这就是 SynchronizedQueue 。

这个例子应该很清晰易懂了,它的好处就是可以直接传递,省去了一个第三方传递的过程。

2.1.2 锁升级过程

在 jdk1.6 以前,Synchronized 是一个重量级锁,还是先贴一张图:
Synchronized 与 ReentrantLock 的区别_第3张图片
这就是为什么说,Synchronized 是一个重量级锁的原因, 因为每一次锁的资源都是直接和 cpu 去申请的,而 cpu 的锁数量是固定的 ,当 cpu 锁资源使用完后还会进行锁等待,这是一个非常耗时的操作。

但是在 jdk1.6,针对代码层面进行了大量的优化,也就是我们常说的锁升级的过程:无锁–》偏向锁–》自旋锁–》重量级锁。

  • 无锁:对象一开始就是无锁状态。
  • 偏向锁: 相当于给对象贴了一个标签 (将自己的线程 id 存入对象头中),下次我再进来时,发现标签是我的,我就可以继续使用了。
  • 自旋锁: 想象一下有一个厕所,里面有一个人在,你很想上但是只有一个坑位,所以你只能徘徊等待,等那个人出来以后,你就可以使用了 。 这个自旋是使用 cas 来保证原子性的,关于 cas 我这里就不再赘述了。
  • 重量级锁: 直接向 cpu 去申请申请锁 ,其他的线程都进入队列中等待。

2.1.3 锁升级是什么时候发生的

  • 偏向锁:一个线程获取锁时会由无锁升级为偏向锁
  • 自旋锁:当产生线程竞争时由偏向锁升级为自旋锁,想象一下 while(true) ;
  • 重量级锁:当线程竞争到达一定数量或超过一定时间时,晋升为重量级锁

2.1.4 锁的信息是记录在哪里

Synchronized 与 ReentrantLock 的区别_第4张图片
这张图是对象头中 markword 的数据结构 ,锁的信息就是在这里存放的,很清楚的表明了锁在升级的时候锁信息的变动, 其实就是通过二进制的数值,来对对象进行一个标记,每个数值代表一种状态 。

2.1.5 既然synchronized有锁升级那么有锁降级吗

这个问题和我们的题目就有很大的关联了。

在 HotSpot 虚拟机中是有锁降级的, 但是仅仅只发生在 STW 的时候 ,只有垃圾回收线程能够观测到它,也就是说, 在我们正常使用的过程中是不会发生锁降级的,只有在 GC 的时候才会降级。

所以题目的答案,你懂了吗?哈哈,我们接着往下走。

2.2 ReentrantLock 的使用

Synchronized 与 ReentrantLock 的区别_第5张图片
ReentrantLock 的使用也是非常简单的,与 Synchronized 的不同就是需要自己去手动释放锁,为了保证一定释放,所以通常都是和 try~finally 配合使用的。

2.2.1 ReentrantLock 的原理

ReentrantLock 意为可重入锁,说起 ReentrantLock 就不得不说 AQS ,因为其底层就是使用 AQS 去实现的。

ReentrantLock 有两种模式,一种是公平锁,一种是非公平锁。

  • 公平模式下等待线程入队列后会严格按照队列顺序去执行
  • 非公平模式下等待线程入队列后有可能会出现插队情况

Synchronized 与 ReentrantLock 的区别_第6张图片
这就是 ReentrantLock 的结构图,我们看这张图其实是很简单的,因为主要的实现都交给 AQS 去做了,我们下面着重聊一下 AQS。

2.2.2 AQS

AQS(AbstractQueuedSynchronizer):AQS 可以理解为就是一个可以实现锁的框架。

简单的流程理解:

公平锁:
Synchronized 与 ReentrantLock 的区别_第7张图片

  • 第一步:获取状态的 state 的值。
  1. 如果 state=0 即代表锁没有被其它线程占用,执行第二步。
  2. 如果 state!=0 则代表锁正在被其它线程占用,执行第三步。
  • 第二步:判断队列中是否有线程在排队等待。
  1. 如果不存在则直接将锁的所有者设置成当前线程,且更新状态 state 。
  2. 如果存在就入队。
  • 第三步:判断锁的所有者是不是当前线程。
  1. 如果是则更新状态 state 的值。
  2. 如果不是,线程进入队列排队等待。

非公平锁:
Synchronized 与 ReentrantLock 的区别_第8张图片

  • 第一步:获取状态的 state 的值。
  1. 如果 state=0 即代表锁没有被其它线程占用,则设置当前锁的持有者为当前线程,该操作用 CAS 完成。
  2. 如果不为 0 或者设置失败,代表锁被占用进行下一步。
  • 此时获取 state 的值,
  1. 如果是,则给 state+1,获取锁
  2. 如果不是,则进入队列等待
  3. 如果是 0,代表刚好线程释放了锁,此时将锁的持有者设为自己
  4. 如果不是 0,则查看线程持有者是不是自己

读完以上的部分相信你对 AQS 已经有了一个比较清楚的概念了,所以我们来聊聊小细节。

AQS 使用 state 同步状态 (0代表无锁,1代表有),并暴露出 getState 、 setState 以及 compareAndSet 操作来读取和更新这个状态,使得仅当同步状态拥有一个期望值的时候,才会被原子地设置成新值。

当有线程获取锁失败后,AQS 是通过一个双向的同步队列来完成同步状态的管理,就被添加到队列末尾。
在这里插入图片描述
这是定义头尾节点的代码,我们可以先使用 volatile 去修饰的,就是保证让其他线程可见,AQS 实际上就是修改头尾两个节点来完成入队和出队操作的。

AQS 在锁的获取时,并不一定只有一个线程才能持有这个锁,所以此时有了独占模式和共享模式的区别,我们本篇文章中的 ReentrantLock 使用的就是独占模式,在多线程的情况下只会有一个线程获取锁。
Synchronized 与 ReentrantLock 的区别_第9张图片
独占模式的流程是比较简单的,就根据 state 是否为 0 来判断是否有线程已经获得了锁,没有就阻塞,有就继续执行后续代码逻辑。
Synchronized 与 ReentrantLock 的区别_第10张图片
共享模式的流程根据 state 是否大于 0 来判断是否有线程已经获得了锁,如果不大于 0,就阻塞,如果大于 0,通过 CAS 的原子操作来自减 state 的值,然后继续执行后续代码逻辑。

三 总结

ReentrantLock 和 Synchronized 的区别:

  • 其实 ReentrantLock 和 Synchronized 最核心的区别就在于 Synchronized 适合于并发竞争低的情况,因为 Synchronized 的锁升级如果最终升级为重量级锁在使用的过程中是没有办法消除的,意味着每次都要和 cpu 去请求锁资源,而 ReentrantLock 主要是提供了阻塞的能力,通过在高并发下线程的挂起,来减少竞争,提高并发能力,所以我们文章标题的答案,也就显而易见了。
  • Synchronized 是一个关键字,是由 JVM 层面去实现的,而 ReentrantLock 是由 java api 去实现的。
  • Synchronized 是隐式锁,可以自动释放锁,ReentrantLock 是显式锁,需要手动释放锁。
  • ReentrantLock 可以让等待锁的线程响应中断,而 Synchronized 却不行,使用 Synchronized 时,等待的线程会一直等待下去,不能够响应中断。
  • ReentrantLock 可以获取锁状态,而 Synchronized 不能。

动态高并发时为什么推荐 ReentrantLock 而不是 Synchronized?

答案:Synchronized 升级为重量级锁后无法在正常情况下完成降级,而 ReentrantLock 是通过阻塞来提高性能的,在设计模式上就体现出了对多线程情况的支持。

你可能感兴趣的:(JAVA基础,java,面试)