AQS源码分析

本文深入解析了AQS(AbstractQueuedSynchronizer)的内部机制,包括同步队列、节点管理、公平与非公平锁的实现,以及相关类如ReentrantLock、CountDownLatch等的应用。详细阐述了线程如何通过AQS排队、等待和唤醒,并分析了源码中的关键方法如tryAcquire、acquireQueued等,展示了AQS在并发控制中的核心作用。
摘要由CSDN通过智能技术生成

解释

AQS分析

官网解释

先进先出等待队列 state状态来记录锁的占用和释放

CLH队列是一个单向链表

AQS是采用了CLH队列的思想,在上面做了改进是虚拟的双向队列

和AQS有关的类

ReentrantLock

CountDownLatch

ReentrantReadWriteLock 读写锁

Semaphore

有阻塞必然要排队

源码

每一个请求线程都会被封装进Node,是一个内部类

源码说明

state:0空闲状态,1是争抢状态

AQS同步队列的基本结构

AQS内部体系架构

Node内部类

predecessor():获取前面节点状态

属性说明

AQS源码分析

以ReentrantLock为例

有参构造

无参构造

lock底层其实操作的是sync对象的lock方法

默认调用的是非公平的lock方法

非公平lock的落地实现

1.这里cas来判断,期望是0空闲,抢成功改成1

2.设置当前独占的线程为自己

抢到直接就用了

否则

调用acquire方法,再去排队

公平lock的落地实现

直接acquire(1);

钩子方法:

实现类:

获取状态标志位 0空闲 1占用

判断前面有没有排队的线程

返回true说明前面有一个排队的线程,返回false,当前队列是个空队列或者排第一个。

小结

加入到等待队列

非公平锁源码解读

非公平:

调用lock

调用acquire

调用tryAcquire

调用nonfairTryAcquire

非公平没有hasQueuedPredecessors()方法

公平:

调用lock

调用acquire

调用tryAcquire

公平才有hasQueuedPredecessors()方法

========================================

Java中的AQS(AbstractQueuedSynchronizer)是实现锁和同步器的一种重要工具。在AQS中,一个节点表示一个线程,依次排列在一个双向队列中,同时使用CAS原子操作来保证线程安全。当多个线程对于同一资源竞争时,一个节点会被放置在队列的尾部,其他线程则在其之前等待,直到该资源可以被锁定。 当一个线程调用lock()方法进行锁定时,它会首先调用tryAcquire()方法尝试获取锁。如果当前资源尚未被锁定,则该线程成功获取锁,tryAcquire()返回true。如果当前资源已被锁定,则线程无法获取锁,tryAcquire()返回false。此时该线程就会被加入到等待队列中,同时被加入到前一个节点的后置节点中,即成为它的后继。然后该线程会在park()方法处等待,直到前一个节点释放了锁,再重新尝试获取锁。 在AQS中,当一个节点即将释放锁时,它会调用tryRelease()方法来释放锁,并唤醒后置节点以重试获取锁。如果当前节点没有后置节点,则不会发生任何操作。当一个线程在队列头部成功获取锁和资源时,该线程需要使用release()方法释放锁和资源,并唤醒等待队列中的后置节点。 总之,AQS中的锁机制是通过双向等待队列实现的,其中节点表示线程,使用CAS原子操作保证线程安全,并在tryAcquire()和tryRelease()方法中进行锁定和释放。该机制保证了多线程环境下资源的正确访问和线程的安全执行。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值