JUC系列学习(三):ReentrantLock的使用、源码解析及与Synchronized的异同

本文涉及的产品
全局流量管理 GTM,标准版 1个月
云解析 DNS,旗舰版 1个月
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
简介: `ReentrantLock`同`Synchronized`一样可以实现线程锁的功能,同样具有可重入性,除此之外还可以实现公平锁&非公平锁,其底层是基于`AQS`框架实现的。

ReentrantLock介绍及使用

ReentrantLockSynchronized一样可以实现线程锁的功能,同样具有可重入性,除此之外还可以实现公平锁&非公平锁,其底层是基于AQS框架实现的。

主要方法

  • lock(): 加锁
  • lockInterruptibly(): 加锁,支持中断
  • tryLock():
  • tryLock(long timeout, TimeUnit unit):
  • unlock(): 解锁
  • newCondition(): 初始化Condition条件,如在A线程中使用condition.await()中断执行并释放锁,B线程中可以通过condition.signal/condition.signalAll来通知A线程恢复执行。
  • getHoldCount(): 返回当前state的值,默认是0
  • isHeldByCurrentThread(): 当前线程是否是锁的持有者
  • isLocked(): 是否有锁
  • isFair(): 是否是公平锁
  • getOwner(): 获取持有当前锁的线程,如果没有返回null
  • hasQueuedThreads():
  • getQueueLength():
  • getQueuedThreads():
  • hasWaiters(): 在Condition Queue中是否有Node,只能在互斥锁中调用,否则会抛异常。
  • getWaitQueueLength():
  • getWaitingThreads(Condition condition):

通过一个例子来看下ReentrantLock的基本用法:

  • lock加锁 unlock解锁:
//初始化 ReentrantLock
ReentrantLock reentrantLock = new ReentrantLock();

//lock加锁 unlock解锁
MyRunnable runnable = new MyRunnable(reentrantLock);
Thread threadA = new Thread(runnable,"threadA");
Thread threadB = new Thread(runnable,"threadB");
threadA.start();
threadB.start();

static class MyRunnable implements Runnable {

    private ReentrantLock reentrantLock;

    MyRunnable(ReentrantLock reentrantLock) {
        this.reentrantLock = reentrantLock;
    }

    @Override
    public void run() {
        try {
            reentrantLock.lock();
            for (int i = 0; i < 5; i++) {
                System.out.println(Thread.currentThread().getName() + "," + i);
            }

        } catch (Exception e) {
            e.printStackTrace();
        } finally {
            reentrantLock.unlock();
        }
    }
}

输出结果:

threadA,0
threadA,1
threadA,2
threadA,3
threadA,4
threadB,0
threadB,1
threadB,2
threadB,3
threadB,4

通过结果可以说明ReentrantLock可以保证多线程访问共享资源的顺序性。

  • conditionawait、signal/signalAll 通知
//condition:await、signal/signalAll通知
Condition condition = reentrantLock.newCondition();
ThreadC threadC = new ThreadC(reentrantLock, condition);
threadC.start();
Thread.sleep(2000);
ThreadD threadD = new ThreadD(reentrantLock, condition);
threadD.start();

static class ThreadC extends Thread {
    private ReentrantLock reentrantLock;
    private Condition condition;

    ThreadC(ReentrantLock reentrantLock, Condition condition) {
        this.reentrantLock = reentrantLock;
        this.condition = condition;
        setName("ThreadC");
    }

    @Override
    public void run() {
        System.out.println(Thread.currentThread().getName() + ": 开始运行");
        try {
            reentrantLock.lock();
            System.out.println(Thread.currentThread().getName() + ": 通过condition.await中断运行并放弃锁");
            condition.await();
            System.out.println(Thread.currentThread().getName() + ": 重新获取锁,恢复执行");

        } catch (Exception e) {
            e.printStackTrace();
        } finally {
            reentrantLock.unlock();
            System.out.println(Thread.currentThread().getName() + ": 释放锁");
        }
    }
}

static class ThreadD extends Thread {
    private ReentrantLock reentrantLock;
    private Condition condition;

    ThreadD(ReentrantLock reentrantLock, Condition condition) {
        this.reentrantLock = reentrantLock;
        this.condition = condition;
        setName("ThreadD");
    }

    @Override
    public void run() {
        System.out.println(Thread.currentThread().getName() + ": 开始运行");
        try {
            reentrantLock.lock();
            System.out.println(Thread.currentThread().getName() + ": 通过condition.signal去唤醒ThreadC");
            condition.signal();
        } catch (Exception e) {
            e.printStackTrace();
        } finally {
            reentrantLock.unlock();
            System.out.println(Thread.currentThread().getName() + ": 释放锁");
        }
    }
}

执行结果:

ThreadC: 开始运行
ThreadC: 通过condition.await中断运行并放弃锁
ThreadD: 开始运行
ThreadD: 通过condition.signal去唤醒ThreadC
ThreadD: 释放锁
ThreadC: 重新获取锁,恢复执行
ThreadC: 释放锁

ReentrantLock源码分析

public interface Lock {
    void lock();

    void lockInterruptibly() throws InterruptedException;

    boolean tryLock();

    boolean tryLock(long timeout, TimeUnit unit) throws InterruptedException;

    void unlock();

    Condition newCondition();
}

Lock 提供了一种无条件的、可轮询的、定时的、可中断的锁获取操作。所有加锁和解锁方法都是显式的。

ReentrantLock实现了Lock接口,并提供了与Synchronized相同的互斥性与可见性。同时当锁不可用时ReentrantLock提供了更高的灵活性。

公平锁及非公平锁

ReentrantLock中有一个静态内部类Sync并且继承了AbstractQueuedSynchronizer(AQS),所以ReentrantLock的底层是基于AQS同步器框架实现的,默认使用的是非公平锁,如果需要使用公平锁,初始化时需要传入参数true,即ReentrantLock reentrantLock = new ReentrantLock(true), 对应的源码:

//默认实现是非公平锁
public ReentrantLock() {
    sync = new NonfairSync();
}
//传入true 初始化的是FairSync公平锁,否则是NonfairSync非公平锁
public ReentrantLock(boolean fair) {
    sync = fair ? new FairSync() : new NonfairSync();
}

那么公平锁FairSync及非公平锁NonfairSync内部又是怎么实现的呢?继续往下看:

//抽象类Sync,继承自AQS,默认实现的是非公平锁方法
abstract static class Sync extends AbstractQueuedSynchronizer {
    private static final long serialVersionUID = -5179523762034025860L;

    //抽象方法 在子类中实现
    abstract void lock();
    
    //非公平锁
    final boolean nonfairTryAcquire(int acquires) {
        final Thread current = Thread.currentThread();
        int c = getState();
        //state为0 表示还没有加锁
        if (c == 0) {
            //非公平锁直接通过CAS再次获取锁 如果成功 直接设置当前线程为独占锁
            if (compareAndSetState(0, acquires)) {
                setExclusiveOwnerThread(current);
                return true;
            }
        }
        else if (current == getExclusiveOwnerThread()) {
            //如果当前state不为0 说明已经有线程持有锁 如果持有锁的是当前线程,那么直接对state进行加1 所以ReentrantLock也有可重入性
            int nextc = c + acquires;
            if (nextc < 0) // overflow
                throw new Error("Maximum lock count exceeded");
            setState(nextc);
            return true;
        }
        return false;
    }

    //释放锁
    protected final boolean tryRelease(int releases) {
        int c = getState() - releases;
        if (Thread.currentThread() != getExclusiveOwnerThread())
            throw new IllegalMonitorStateException();
        boolean free = false;
        if (c == 0) {
            free = true;
            setExclusiveOwnerThread(null);
        }
        setState(c);
        return free;
    }

    //是否是互斥锁
    protected final boolean isHeldExclusively() {
        return getExclusiveOwnerThread() == Thread.currentThread();
    }

    final ConditionObject newCondition() {
        return new ConditionObject();
    }

    final Thread getOwner() {
        return getState() == 0 ? null : getExclusiveOwnerThread();
    }

    final int getHoldCount() {
        return isHeldExclusively() ? getState() : 0;
    }

    final boolean isLocked() {
        return getState() != 0;
    }

    private void readObject(java.io.ObjectInputStream s)
        throws java.io.IOException, ClassNotFoundException {
        s.defaultReadObject();
        setState(0); // reset to unlocked state
    }
}

//1、非公平锁实现,继承自Sync
static final class NonfairSync extends Sync {
    private static final long serialVersionUID = 7316153563782823691L;

    final void lock() {
        //非公平锁直接通过CAS尝试获取锁
        if (compareAndSetState(0, 1))
            setExclusiveOwnerThread(Thread.currentThread());
        else
            //调用AQS中的acquire()方法,acquire()方法又会调用到tryAcquire()方法
            acquire(1);
    }

    protected final boolean tryAcquire(int acquires) {
         //调用抽象父类Sync中的方法,见上面Sync类中nonfairTryAcquire方法注释
        return nonfairTryAcquire(acquires);
    }
}

//2、公平锁实现,继承自Sync
static final class FairSync extends Sync {
    private static final long serialVersionUID = -3000897897090466540L;

    final void lock() {
        //不同于非公平锁,这里并不会通过CAS去尝试获取锁 而是直接调用FairSync类中重写的tryAcquire方法
        acquire(1);
    }

    protected final boolean tryAcquire(int acquires) {
        final Thread current = Thread.currentThread();
        int c = getState();
        if (c == 0) {
           //不同于非公平锁,除非没有等待节点Node或者在队列中的第一个,否则不会尝试获取锁而是加入到等待队列中(在父类AQS中实现)
            if (!hasQueuedPredecessors() &&
                compareAndSetState(0, acquires)) {
                setExclusiveOwnerThread(current);
                return true;
            }
        }
        else if (current == getExclusiveOwnerThread()) {
            int nextc = c + acquires;
            if (nextc < 0)
                throw new Error("Maximum lock count exceeded");
            setState(nextc);
            return true;
        }
        return false;
    }
}

公平锁和非公平锁都继承了Sync,通过代码对比,可以看出有2个地方的实现不一样:

1、在调用lock()方法时,公平锁不会通过CAS直接尝试获取锁,而非公平锁会直接通过CAS尝试获取锁,如果成功,那么会直接获取锁返回(比等待队列中的线程优先获取到锁,从而导致非公平性)。

2、当非公平锁获取锁失败后,和公平锁一样都会进入tryAcquire方法中,如果此时之前的锁释放了(state==0),非公平锁会再次执行一次CAS尝试获取锁,而公平锁会判断队列中是否有线程在等待,没有的话才会尝试去获取锁,否则直接加入到等待队列中。如果非公平锁/公平锁尝试获取锁失败,那么都会进入阻塞队列中等待唤醒。此外,如果当前state不为0(已经有线程持有锁),判断持有锁的是不是当前线程,如果是,那么直接对state进行加1 所以ReentrantLock具有可重入性。

性能对比:非公平锁有更好的性能,吞吐量比较大,同时,非公平锁可能会导致在阻塞队列中的线程一直处于饥饿状态

Synchronized浅析 & ReentrantLock对比

Synchronized浅析:

Synchronized是基于Jvm层面的互斥锁,底层通过monitor指令来实现加锁和解锁,可以把monitor当成一把锁,锁里面包含了计数器线程指针,当计数器为0时,表示锁没有被任何线程持有,当计数器大于0时表示锁已经被某个线程持有,线程指针指的即使持有当前锁的线程,当同一线程多次申请该锁时,计数器会进行叠加(可重入性),这里跟AQS中的state概念是类似的。

monitor.png

PS:Synchronized在1.5之前属于重量级锁,线程的阻塞和唤醒需要CPU从用户态转为内核态,频繁的阻塞和唤醒对CPU来说是一件耗性能的工作,从而影响到并发性能。JDK1.6后对其做了一系列的优化,主要包括:自旋锁、偏向锁、轻量级锁、重量级锁、锁消除、锁粗化等,通过一系列锁优化技术在特定场景下可以大大提高并发性能。

自旋锁:

自旋锁是指当一个线程获取锁时,如果已经被其他线程获取锁,当前线程将循环等待(执行无实际意义的循环),不断判断锁是否能够成功获取,直到成功才会退出循环

优点:旋锁可以减少不必要用户态与内核态之间的来回切换,提高了性能。线程状态一直处于用户态。

缺点

  • 自旋锁是不公平的,若多个线程自旋,无法满足等待最长时间的线程最先获取锁,即存在线程饥饿的问题
  • 如果某个线程持有锁的时间过长,会导致其他自旋等待的线程循环等待,过度消耗CPU做无用功。

Synchronized、ReentrantLock对比:

对比 Synchronized ReentrantLock
实现原理 Jvm层面的内置互斥锁,底层通过monitorentermonitorexit两个字节码指令来实现加锁解锁操作的 应用层互斥锁
是否需要手动释放锁 否(自动释放) 是(需要手动释放锁)
其他 修饰普通方法、成员变量为对象锁,不同对象的锁互相不影响;修饰static静态方法为类锁。不可中断,不支持定时 Lock锁可以中断,支持定时

通过对比我们看到,ReentrantLock的功能相比于Synchronized来说,功能更强大,如:可以实现公平锁、可以中断、支持定时等功能,但是是否能认为ReentrantLock可以完全替代Synchronized呢?答案是否认的,可以看到ReentrantLock在使用时需要手动释放锁,这里就好像一颗定时炸弹,一旦开发者忘记了释放锁,就会导致后续的所有线程都不能再获取锁。ReentrantLock在某种程度上可以认为是Synchronized的一种补充,两者各有优缺点。

相关文章
|
12天前
|
存储 设计模式 算法
【23种设计模式·全精解析 | 行为型模式篇】11种行为型模式的结构概述、案例实现、优缺点、扩展对比、使用场景、源码解析
行为型模式用于描述程序在运行时复杂的流程控制,即描述多个类或对象之间怎样相互协作共同完成单个对象都无法单独完成的任务,它涉及算法与对象间职责的分配。行为型模式分为类行为模式和对象行为模式,前者采用继承机制来在类间分派行为,后者采用组合或聚合在对象间分配行为。由于组合关系或聚合关系比继承关系耦合度低,满足“合成复用原则”,所以对象行为模式比类行为模式具有更大的灵活性。 行为型模式分为: • 模板方法模式 • 策略模式 • 命令模式 • 职责链模式 • 状态模式 • 观察者模式 • 中介者模式 • 迭代器模式 • 访问者模式 • 备忘录模式 • 解释器模式
【23种设计模式·全精解析 | 行为型模式篇】11种行为型模式的结构概述、案例实现、优缺点、扩展对比、使用场景、源码解析
|
12天前
|
设计模式 存储 安全
【23种设计模式·全精解析 | 创建型模式篇】5种创建型模式的结构概述、实现、优缺点、扩展、使用场景、源码解析
结构型模式描述如何将类或对象按某种布局组成更大的结构。它分为类结构型模式和对象结构型模式,前者采用继承机制来组织接口和类,后者釆用组合或聚合来组合对象。由于组合关系或聚合关系比继承关系耦合度低,满足“合成复用原则”,所以对象结构型模式比类结构型模式具有更大的灵活性。 结构型模式分为以下 7 种: • 代理模式 • 适配器模式 • 装饰者模式 • 桥接模式 • 外观模式 • 组合模式 • 享元模式
【23种设计模式·全精解析 | 创建型模式篇】5种创建型模式的结构概述、实现、优缺点、扩展、使用场景、源码解析
|
12天前
|
设计模式 存储 安全
【23种设计模式·全精解析 | 创建型模式篇】5种创建型模式的结构概述、实现、优缺点、扩展、使用场景、源码解析
创建型模式的主要关注点是“怎样创建对象?”,它的主要特点是"将对象的创建与使用分离”。这样可以降低系统的耦合度,使用者不需要关注对象的创建细节。创建型模式分为5种:单例模式、工厂方法模式抽象工厂式、原型模式、建造者模式。
【23种设计模式·全精解析 | 创建型模式篇】5种创建型模式的结构概述、实现、优缺点、扩展、使用场景、源码解析
|
1月前
|
PyTorch Shell API
Ascend Extension for PyTorch的源码解析
本文介绍了Ascend对PyTorch代码的适配过程,包括源码下载、编译步骤及常见问题,详细解析了torch-npu编译后的文件结构和三种实现昇腾NPU算子调用的方式:通过torch的register方式、定义算子方式和API重定向映射方式。这对于开发者理解和使用Ascend平台上的PyTorch具有重要指导意义。
|
13天前
|
安全 搜索推荐 数据挖掘
陪玩系统源码开发流程解析,成品陪玩系统源码的优点
我们自主开发的多客陪玩系统源码,整合了市面上主流陪玩APP功能,支持二次开发。该系统适用于线上游戏陪玩、语音视频聊天、心理咨询等场景,提供用户注册管理、陪玩者资料库、预约匹配、实时通讯、支付结算、安全隐私保护、客户服务及数据分析等功能,打造综合性社交平台。随着互联网技术发展,陪玩系统正成为游戏爱好者的新宠,改变游戏体验并带来新的商业模式。
|
2月前
|
监控 Java 应用服务中间件
高级java面试---spring.factories文件的解析源码API机制
【11月更文挑战第20天】Spring Boot是一个用于快速构建基于Spring框架的应用程序的开源框架。它通过自动配置、起步依赖和内嵌服务器等特性,极大地简化了Spring应用的开发和部署过程。本文将深入探讨Spring Boot的背景历史、业务场景、功能点以及底层原理,并通过Java代码手写模拟Spring Boot的启动过程,特别是spring.factories文件的解析源码API机制。
87 2
|
3月前
|
缓存 Java 程序员
Map - LinkedHashSet&Map源码解析
Map - LinkedHashSet&Map源码解析
87 0
|
3月前
|
算法 Java 容器
Map - HashSet & HashMap 源码解析
Map - HashSet & HashMap 源码解析
69 0
|
3月前
|
存储 Java C++
Collection-PriorityQueue源码解析
Collection-PriorityQueue源码解析
75 0
|
3月前
|
安全 Java 程序员
Collection-Stack&Queue源码解析
Collection-Stack&Queue源码解析
96 0