AQS源码解析(ReentrantLock)
创始人
2025-01-08 20:36:04
0

        什么是AQS:Juc中的大多数同步器都是围绕着一些相同的基础行为,比如等待队列,条件队列,共享,独占获取变量这些行为,抽象出来就是基于AQS(AbstractQueuedSynchronizer)实现的。所以可以把AQS看成这些行为的一个整合。

        管程:管程是指管理共享变量,以及对共享变量操作的过程,以此来让它们支持并发。不管是sychronized还是ReentrantLock,都是基于MESA的管程模型实现的

入口等待队列:

        如果共享资源已经被占用,那么其余线程会被阻塞在里面,等待唤醒的时候才会再去竞争共享变量

条件变量等待队列:

        ReentrantLock中的Condition.await()的时候会进入对应的条件队列,调用signal()的时候会从条件队列进入到入口等待队列,sychronized中只有一个条件等待队列(因为没有Condition),这个队列实现了阻塞唤醒的功能。

      来看一下ReentrantLock.lock()中的关键代码

//尝试获取共享变量  protected final boolean tryAcquire(int acquires) {         final Thread current = Thread.currentThread();         //获取共享变量         int c = getState();         if (c == 0) {             //cas尝试修改共享变量,如果成功了,那么将独占线程设置成当前线程             if (compareAndSetState(0, acquires)) {                 setExclusiveOwnerThread(current);                 return true;             }         }         else if (current == getExclusiveOwnerThread()) {             //锁重入逻辑,state+1             setState(c + acquires);             return true;         }         return false; } 

           tryAcquire方法中做的事情就是尝试去获取共享变量state(默认是0),如果获取到了那么通过cas将其修改成1,然后将其独占线程设置成当前线程,如果是锁重入,那么就将state再次+1,如果是多个线程进来,未获取到共享变量的线程,接下来会走到addWaiter中的enq()方法。

    //构造阻塞队列     private Node enq(final Node node) {         for (;;) {             //第一次进来的时候肯定是null             Node t = tail;             if (t == null) { // Must initialize                 //通过cas设置头尾指针,都指向空Node(首节点)                 if (compareAndSetHead(new Node()))                     tail = head;             } else {                 //第二次循环的时候,首结点已经构造完                 node.prev = t;                 //将尾指针指向该节点,并且绑定和首节点之间的指向关系                 if (compareAndSetTail(t, node)) {                     t.next = node;                     return t;                 }             }         }     }

          enq()主要用来创建阻塞队列,构造空节点为头结点,并且将头结点的next变量指向传入的节点,将传入节点的prev变量指向头结点。如果已经构造过了阻塞队列,那么会在addWaiter中就直接创建节点之间的指向关系,然后返回。并且会跳至acquireQueued方法

    final boolean acquireQueued(final Node node, int arg) {         boolean failed = true;         for (;;) {             //前置节点如果是头结点,那么会再次去竞争共享资源             final Node p = node.predecessor();             if (p == head && tryAcquire(arg)) {             //如果竞争成功,那么就会将头结点设置成该节点,并且将其线程和prev全部置空                 setHead(node);                 p.next = null; // help GC                 failed = false;                 return interrupted;             }             //如果获取不到,那么就调用lockSupport.park进行阻塞,等到释放锁的时候被唤醒             if (shouldParkAfterFailedAcquire(p, node) &&                 parkAndCheckInterrupt())                 interrupted = true;         }        }

        构造完阻塞队列入队之后,并不会立马就进行阻塞,而是会先判断他的前置节点是否是头结点,如果是,那么会再一次进行资源竞争(所以如果是公平锁,被唤醒之后会将前置节点是头结点的那个节点出队然后获取资源)。如果获取不到那么就调用lockSupport.park()进行阻塞。

        公平锁和非公平锁的区别:公平锁只会从阻塞队列里面按照入队顺序一个个的去竞争,非公平锁在释放锁的时候,如果有线程进来了,那么也会去立马抢占锁,并不会按顺序入到阻塞队列中,这是两者的最大区别。

        条件队列的源码可以自行再去解读一下(主要就是调用了await和signal方法,await的时候入条件队列,signal的时候从条件队列转到阻塞队列),本文主要讲解了获取锁的整个流程。但是现在一般用的都是微服务架构,分布式锁的实现和源码解析可以参考下文 分布式锁源码解析

上一篇:自制迷宫游戏 c++

下一篇:python基础语法

相关内容

热门资讯

一分钟内幕!科乐吉林麻将系统发... 一分钟内幕!科乐吉林麻将系统发牌规律,福建大玩家确实真的是有挂,技巧教程(有挂ai代打);所有人都在...
一分钟揭秘!微扑克辅助软件(透... 一分钟揭秘!微扑克辅助软件(透视辅助)确实是有挂(2024已更新)(哔哩哔哩);1、用户打开应用后不...
五分钟发现!广东雀神麻雀怎么赢... 五分钟发现!广东雀神麻雀怎么赢,朋朋棋牌都是是真的有挂,高科技教程(有挂方法)1、广东雀神麻雀怎么赢...
每日必看!人皇大厅吗(透明挂)... 每日必看!人皇大厅吗(透明挂)好像存在有挂(2026已更新)(哔哩哔哩);人皇大厅吗辅助器中分为三种...
重大科普!新华棋牌有挂吗(透视... 重大科普!新华棋牌有挂吗(透视)一直是有挂(2021已更新)(哔哩哔哩)1、完成新华棋牌有挂吗的残局...
二分钟内幕!微信小程序途游辅助... 二分钟内幕!微信小程序途游辅助器,掌中乐游戏中心其实存在有挂,微扑克教程(有挂规律)二分钟内幕!微信...
科技揭秘!jj斗地主系统控牌吗... 科技揭秘!jj斗地主系统控牌吗(透视)本来真的是有挂(2025已更新)(哔哩哔哩)1、科技揭秘!jj...
1分钟普及!哈灵麻将攻略小,微... 1分钟普及!哈灵麻将攻略小,微信小程序十三张好像存在有挂,规律教程(有挂技巧)哈灵麻将攻略小是一种具...
9分钟教程!科乐麻将有挂吗,传... 9分钟教程!科乐麻将有挂吗,传送屋高防版辅助(总是存在有挂)1、完成传送屋高防版辅助透视辅助安装,帮...
每日必看教程!兴动游戏辅助器下... 每日必看教程!兴动游戏辅助器下载(辅助)真是真的有挂(2025已更新)(哔哩哔哩)1、打开软件启动之...