1 前言

锁是用来控制多个线程访问共享资源的方式,一般来说,一个锁能防止多个线程同时访问共享资源(但是有些锁可以允许多个线程并发的访问共享资源,如读写锁)。在以前,Java程序是靠synchronized来实现锁功能的,而在Java SE 5之后,并发包中新增了Lock接口(以及相关实现类)用来实现锁功能,他提供了与synchronized关键字类似的同步功能,只是在使用时需要显式的获取锁和释放锁,虽然它缺少了synchronized提供的隐式获取释放锁的便捷性,但是却拥有了锁获取和释放的可操作性、可中断的获取锁以及超时获取锁等多种synchronized关键字不具备的同步特性。很多锁都通过实现Lock接口来完成对锁的操作,比如可重入锁(ReentrantLock)、前一张讲的Redisson分布式锁等,而Lock接口的实现,基本是都是通过聚合了一个同步器的子类来完成线程访问控制的,而同步器,就是我们常说的AQS(AbstractQueuedSynchronizer),也是今天要记录的内容。

2 什么是AQS

AQS(队列同步器AbstractQueuedSynchronizer)是用来构建锁或者其他同步组件的基础框架,它使用了一个int成员变量来表示同步状态,通过内置的FIFO队列来完成资源获取线程的排队工作。

如上图所示,同步器的主要使用方式是继承,子类通过继承同步器并实现它的抽象方法来管理同步状态,在抽象方法的实现过程中免不了要对同步状态进行修改,这时就需要使用同步器提供的3个方法来进行操作:
1、getState():获取当前同步状态

2、setState():设置当前同步状态

3、compareAndSetState(int expect, int update):通过CAS设置当前状态,该方法能保证状态设置的原子性

子类推荐被定义为自定义同步组件的静态内部类,同步器自身没有实现任何同步接口,它仅仅是定义了若干同步状态获取和释放的方法来供自定义同步组件使用。同步器既可以支持独占式获取同步状态(单个线程获取锁),也可以支持共享式获取同步状态(多个线程获取到锁),这样就可以方便实现不同类型的同步组件(如上图所示的可重入锁:ReentrantLock、可重入读写锁:ReentrantReadWriteLock、计数器:CountDownLatch等等)

3 同步器可重写的方法

以下代码为可重入锁继承同步器后重写的方法:

  • protected boolean tryAcquire(int acquires):独占式获取同步锁状态,实现该方法需要查询当前状态并判断同步状态是否符合预期,然后再进行CAS设置同步状态。
    /*** 非公平锁*/static final class NonfairSync extends Sync {private static final long serialVersionUID = 7316153563782823691L;/*** Performs lock.  Try immediate barge, backing up to normal* acquire on failure.*/final void lock() {if (compareAndSetState(0, 1))setExclusiveOwnerThread(Thread.currentThread());elseacquire(1);}protected final boolean tryAcquire(int acquires) {// nonfairTryAcquire方法和下面的公平锁方法除了判断是否在队列首位之外没有不同return nonfairTryAcquire(acquires);}}/*** 公平锁*/static final class FairSync extends Sync {private static final long serialVersionUID = -3000897897090466540L;final void lock() {acquire(1);}/*** Fair version of tryAcquire.  Don't grant access unless* recursive call or no waiters or is first.*/protected final boolean tryAcquire(int acquires) {final Thread current = Thread.currentThread();// 获取当前同步状态int c = getState();// 判断是否符合预期if (c == 0) {// 判断是否在队列首位并且CAS设置当前状态成功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;}}

  • protected boolean tryRelease(int acquires):独占式释放同步锁状态,等待获取同步状态的线程将有机会获取同步状态。
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 boolean isHeldExclusively():当前同步器是否在独占模式下被线程占用,一般该方法表示是否被当前线程锁独占。
protected final boolean isHeldExclusively() {// While we must in general read state before owner,// we don't need to do so to check if current thread is ownerreturn getExclusiveOwnerThread() == Thread.currentThread();}

以下代码为读写锁继承同步器后重写的方法:

  • protected int tryAcquireShared(int arg):共享式获取同步状态,返回大于0的值,表示获取锁成功,反之获取锁失败。
protected final int tryAcquireShared(int unused) {Thread current = Thread.currentThread();// 获取当前同步状态int c = getState();// 如果有线程持有写锁,则返回-1if (exclusiveCount(c) != 0 &&getExclusiveOwnerThread() != current)return -1;// 获取持有锁的线程数int r = sharedCount(c);// 判断是否阻塞,判断线程数量,判断CAS设置是否成功if (!readerShouldBlock() &&r < MAX_COUNT &&compareAndSetState(c, c + SHARED_UNIT)) {// 当前线程是第一个获取到锁的线程if (r == 0) {firstReader = current;firstReaderHoldCount = 1;// 否则就++} else if (firstReader == current) {firstReaderHoldCount++;} else {  HoldCounter rh = cachedHoldCounter;if (rh == null || rh.tid != getThreadId(current))cachedHoldCounter = rh = readHolds.get();else if (rh.count == 0)readHolds.set(rh);rh.count++;}return 1;}// 死循环去获取锁return fullTryAcquireShared(current);}

  • protected boolean tryReleaseShared(int arg):共享式释放同步状态。
protected final boolean tryReleaseShared(int unused) {Thread current = Thread.currentThread();// 对应上面获取锁来读就好了if (firstReader == current) {// assert firstReaderHoldCount > 0;if (firstReaderHoldCount == 1)firstReader = null;elsefirstReaderHoldCount--;} else {HoldCounter rh = cachedHoldCounter;if (rh == null || rh.tid != getThreadId(current))rh = readHolds.get();int count = rh.count;if (count <= 1) {readHolds.remove();if (count <= 0)throw unmatchedUnlockException();}--rh.count;}for (;;) {int c = getState();int nextc = c - SHARED_UNIT;if (compareAndSetState(c, nextc))// Releasing the read lock has no effect on readers,// but it may allow waiting writers to proceed if// both read and write locks are now free.return nextc == 0;}}

上面例子,因为读写锁是共享锁,可重入锁是独占锁,而同步器对于共享锁和独占锁都提供了可重写的方法来获取锁或者释放锁,所以分了两个例子来写。

4 同步器提供的模版方法

  • void acquire(int arg):独占式获取同步状态,如果当前线程获取同步状态成功则返回,否则,将会进入同步队列等待。
public final void acquire(int arg) {// 如果获取锁失败,则加入同步队列,如果加入同步队列成功则自旋阻塞唤醒来不断的尝试获取锁,直到线程被中断或获取到锁if (!tryAcquire(arg) &&acquireQueued(addWaiter(Node.EXCLUSIVE), arg))selfInterrupt();}

  • void acquireInterruptibly(int arg):与上面acquire相似,但是当前方法如果在获取锁的过程中线程中断会抛出InterruptedException并返回。
public final void acquireInterruptibly(int arg) throws InterruptedException {// 线程中断抛出异常if (Thread.interrupted())throw new InterruptedException();// 如果没有获取到锁if (!tryAcquire(arg))// 不断自旋尝试获取锁doAcquireInterruptibly(arg);}

  • boolean tryAcquireNanos(int arg, long nanosTimeout):在acquireInterruptibly()方法的基础上增加了超时时间,如果在超时时间内获取到了锁,则返回true,否则返回false。
public final boolean tryAcquireNanos(int arg, long nanosTimeout) throws InterruptedException {// 中断抛异常if (Thread.interrupted())throw new InterruptedException();// 相应时间内不断获取锁,超时返回falsereturn tryAcquire(arg) ||doAcquireNanos(arg, nanosTimeout);}

  • void acquireShared(int arg):共享式的获取同步状态,如果当前线程未获取到同步状态,则会进入同步队列等待,与独占锁的主要区别是在同一时刻可以有多少个线程获取到同步状态。
public final void acquireShared(int arg) {// 如果获取锁失败,则不断自旋尝试获取锁,tryAcquireShared方法在上面有讲if (tryAcquireShared(arg) < 0)doAcquireShared(arg);}

  • void acquireSharedInterruptibly(int arg):与acquireShared方法相似,只是如果线程中断,当前方法会抛出异常。
public final void acquireSharedInterruptibly(int arg) throws InterruptedException {// 中断抛出异常if (Thread.interrupted())throw new InterruptedException();// 如果获取锁失败,则不断自旋尝试获取锁if (tryAcquireShared(arg) < 0)doAcquireSharedInterruptibly(arg);}

  • boolean tryAcquireSharedNanos(int arg, long nanosTimeout):在acquireSharedInterruptibly方法的基础上增加了超时时间。
public final boolean tryAcquireSharedNanos(int arg, long nanosTimeout) throws InterruptedException {// 中断抛出异常if (Thread.interrupted())throw new InterruptedException();// 在超时时间内如果获取锁失败,则不断自旋尝试获取锁return tryAcquireShared(arg) >= 0 ||doAcquireSharedNanos(arg, nanosTimeout);}

  • boolean release(int arg):独占式释放同步状态,该方法在释放同步状态之后,会将队列中的第一个节点包含的线程唤醒。
public final boolean release(int arg) {// 如果获取锁成功if (tryRelease(arg)) {Node h = head;if (h != null && h.waitStatus != 0)// 唤醒第一个节点的线程unparkSuccessor(h);return true;}return false;}

  • boolean releaseShared(int arg):共享式释放同步状态。
public final boolean releaseShared(int arg) {// 如果释放锁成功if (tryReleaseShared(arg)) {// 唤醒线程doReleaseShared();return true;}return false;}

  • Collection getQueuedThreads():获取等待在同步队列上的线程集合。
public final Collection<Thread> getQueuedThreads() {ArrayList<Thread> list = new ArrayList<Thread>();for (Node p = tail; p != null; p = p.prev) {Thread t = p.thread;if (t != null)list.add(t);}return list;}

同步器提供的模板方法基本是分为3类:

  • 独占式获取与释放同步状态
  • 共享式获取与释放同步状态
  • 查询同步队列中的等待线程集合

5 根据同步器自定义同步组件

上面介绍了一些AQS提供的可重写方法和模板方法,接下来我们自定义一个独占锁(在同一时刻只有一个线程能获取锁,其他获取锁的线程只能处于同步队列中,当获取到锁的线程释放锁之后,后面的线程才能够获取锁)

public class ExclusiveLock implements Lock {/*** 自定义同步器*/private static class Sync extends AbstractQueuedSynchronizer{// 判断是否处于占用状态@Overrideprotected boolean isHeldExclusively(){return getState() == 1;}// 加锁@Overrideprotected boolean tryAcquire(int arg) {// 通过CAS设置同步状态(设置成功返回true 设置失败返回false)if (compareAndSetState(0, 1)){setExclusiveOwnerThread(Thread.currentThread());return true;}return false;}// 释放锁@SneakyThrows@Overrideprotected boolean tryRelease(int arg) {// 如果同步状态为未获取锁,则抛出异常,没有线程获取到锁,不能释放锁if (getState() == 0){throw new IllegalAccessException();}// 释放锁setExclusiveOwnerThread(null);setState(0);return true;}// 返回一个Condition,每个Condition都包含一个Condition队列protected Condition newCondition() {return new ConditionObject();}}private final Sync sync = new Sync();@Overridepublic void lock() {// 独占式加锁sync.acquire(1);}@Overridepublic void lockInterruptibly() throws InterruptedException {// 加锁线程中断抛出异常,否则自旋加锁sync.acquireInterruptibly(1);}@Overridepublic boolean tryLock() {// 加锁成功返回true,否则设置占用排它锁的线程是当前线程return sync.tryAcquire(1);}@Overridepublic boolean tryLock(long time, TimeUnit unit) throws InterruptedException {// 加锁线程中断抛出异常,否则在有效时间内尝试自旋加锁return sync.tryAcquireSharedNanos(1, unit.toNanos(time));}@Overridepublic void unlock() {// 释放锁sync.release(1);}@Overridepublic Condition newCondition() {// 返回Conditionreturn sync.newCondition();}
}

如上代码,我们自定义了一个独占锁,它在同一时刻只允许一个线程占有锁。sync内部类继承了同步器并实现了独占式获取和释放同步状态。在tryAcquire(int arg)方法中,如果通过CAS设置成功,则代表获取了同步状态,而在tryRelease(int arg)方法中只是将同步状态重制为0。用户在使用ExclusiveLock时并不会直接和内部同步器打交道,而是调用ExclusiveLock提供的方法即可,如加锁调用lock()方法,如果获取锁失败则会被加入同步队列中,释放锁调用unlock()方法,如果没有线程获取锁的时候释放锁会抛出异常,还可以按指定时间尝试获取锁等等。

结尾

本来想把同步器实现原理也写一些的,结果看了一下篇幅好想有些许长,那就分两篇来写把,如果看完感觉有帮助的,请帮忙点个赞, ,有缘下篇文章再见!

unit类型是什么?_项目中有用过锁吗?能解释一下什么是AQS(AbstractQueuedSynchronizer)吗?...相关推荐

  1. unit类型是什么?_面试官虚晃一枪:项目中有用过锁吗?能解释一下什么是AQS?...

    1 前言 锁是用来控制多个线程访问共享资源的方式,一般来说,一个锁能防止多个线程同时访问共享资源(但是有些锁可以允许多个线程并发的访问共享资源,如读写锁).在以前,Java程序是靠synchroniz ...

  2. 项目中使用粘性布局不起作用_项目中的 Git 使用规范

    祖师爷 Linus 在创造了伟大的 Linux 之后,又创造了应用最广泛的代码管理工具 -- Git,极大地提高了程序员的生产力. 现如今大部分项目都在使用 Git 作为代码管理工具,不论是在代码管理 ...

  3. 关于mysql的项目_项目中常用的MySQL 优化

    本文我们来谈谈项目中常用的MySQL优化方法,共19条,具体如下: 一.EXPLAIN 做MySQL优化,我们要善用EXPLAIN查看SQL执行计划. 下面来个简单的示例,标注(1.2.3.4.5)我 ...

  4. 各种面试题 挺好 挺重要 项目中 有用 的地方

    说说你对缓存的理解? 1.使用缓存的目的: 提高应用程序的性能,减少到数据库的访问次数, 举个简单应用场景,比如微信群聊,当服务器收到一条消息的时候,需要把消息插入数据库.最原始的做法,就是每当有一条 ...

  5. ssm把图片保存到项目中_项目中的图片跨域问题解决方式

    现象 首先,在生产环境中,由于进行编辑图片时,将图片回显到ReactCrop组件中进行可裁剪编辑,然而回显时,需要将图片转化为base64的格式或者blob对象, 此时需要将图片次绘制成canvas进 ...

  6. 读写分离怎么实现_项目中如何实现读写分离?怎么配置?

    上篇文章中,在两个 windows 系统的电脑上安装了最新版 8.0.21 MySQL 数据库,并且配置了主从.MySQL如何配置读写分离? 主从复制的原理思想也很简单,就是从库不断地同步主库的改动, ...

  7. java中如何限制输入非空_项目中的参数限制、非空、以及集合中的验证,你真的会做吗(Java)...

    背景: 在项目管理中,我们通常要对一个个参数做验证, 前端校验,后端加校验,这里为了保证校验的一致性,我们需要将我们的校验写的比较高效率一点,不至于满篇都是is null的进行参数验证,为了成为一个成 ...

  8. mysql 常用优化方案_项目中常用的 19 条 MySQL 优化方案

    声明一下:下面的优化方案都是基于 " Mysql-索引-BTree类型 " 的 一.EXPLAIN 做MySQL优化,我们要善用 EXPLAIN 查看SQL执行计划. 下面来个简单 ...

  9. 工程中多个不同类型线程池_软件工程中不同类型的设计策略

    工程中多个不同类型线程池 As we know that the designing phase is probably the second phase in the software develo ...

最新文章

  1. 陷阱~关于引用类型,请不要模棱两可!
  2. layui时间怎么设置年月日时分秒_layui-laydate时间日历控件使用方法详解
  3. quick-cocos2d-x开发环境Lua for IntelliJ IDEA的安装
  4. Chrome浏览器插件新建标签页插件Momentum
  5. 应用程序的并行配置不正确_阿里架构师:天天高并发,达不到百万以上并发都不叫高并发...
  6. rabbitmq 安装 linux
  7. Spring Boot Java应用代码混淆介绍
  8. Xshell 鼠标选中 中断ctrl+c 问题
  9. ASP.NET的CreateUserWizard
  10. 【Qt】Qt5.14.2配置yaml-cpp
  11. mac上禁用复制粘贴
  12. 什么是存储过程,存储过程的作用及优点
  13. 负载均衡算法--源地址哈希法(Hash)
  14. 关于广告投放系统:竞价策略(2018)
  15. Java编程入门基础知识合集
  16. 文件名字超出计算机无法删除,电脑文件名太长无法删除怎么办
  17. 无敌2_大师级鱼丸云吞终极海鲜面
  18. 微信小程序—修改日期
  19. android usb type-c
  20. Java开源 开源工作流

热门文章

  1. 说说我最近比较迷的Criminal Minds
  2. oracle的工具cmd,数据库命令行工具DBCLI
  3. oracle 执行计划 ppt,oracle查看执行计划的方法
  4. rocketmq 初探(一)
  5. 2019年终总结-2020展望「持续更新至31号」
  6. 使用nginx搭建https服务器
  7. 3 微信公众号开发 接受普通消息
  8. 使用Flex生成GUID
  9. 南邮哈夫曼编码c语言代码_漫画:“哈夫曼编码” 是什么鬼?
  10. 动态规划之力扣股票类问题