面试官:好了,你也休息了十分钟了,咱们接着往下聊聊SynchronousQueue的非公平模式吧。

Hydra:好的,有了前面公平模式的基础,非公平模式理解起来就非常简单了。公平模式下,SynchronousQueue底层使用的是TransferQueue,是一个先进先出的队列,而非公平模式与它不同,底层采用了后进先出的TransferStack栈来实现。

下面我们还是先写一个例子来看看效果,首先创建3个线程使用put方法向SynchronousQueue中插入数据,结束后再使用3个线程调用take方法:

SynchronousQueue<Integer> queue=new SynchronousQueue<>(false);

@AllArgsConstructor
class PutThread implements Runnable{
int i;
@SneakyThrows
@Override
public void run() {
queue.put(i);
System.out.println("putThread "+i+" end");
}
}
class TakeThread implements Runnable{
@SneakyThrows
@Override
public void run() {
System.out.println("takeThread take: "+queue.take());
}
} for (int i = 1; i <=3; i++) {
new Thread(new PutThread(i)).start();
Thread.sleep(1000);
}
for (int i = 1; i <=3 ; i++) {
new Thread(new TakeThread()).start();
Thread.sleep(1000);
}

运行上面的代码,查看结果:

takeThread take: 3
putThread 3 end
takeThread take: 2
putThread 2 end
takeThread take: 1
putThread 1 end

可以看到,生产者线程在执行完put后会进行阻塞,直到有消费者线程调用take方法取走了数据,才会唤醒被阻塞的线程。并且,数据的出队与入队顺序是相反的,即非公平模式下采用的是后进先出的顺序。

面试官:就是把结构从队列换成了栈,真就这么简单?

Hydra:并不是,包括底层节点以及出入栈的逻辑都做了相应的改变。我们先看节点,在之前的公平模式中队列的节点是QNode,非公平模式下栈中节点是SNode,定义如下:

volatile SNode next; // 指向下一个节点的指针
volatile SNode match; // 存放和它进行匹配的节点
volatile Thread waiter; // 保存阻塞的线程
Object item;
int mode;
SNode(Object item) {
this.item = item;
}

QNode类似,如果是生产者构建的节点,那么item非空,如果是消费者产生的节点,那么itemnull。此外还有一个mode属性用来表示节点的状态,它使用TransferStack中定义的3个常量来表示不同状态:

static final int REQUEST    = 0; //消费者
static final int DATA = 1; //生产者
static final int FULFILLING = 2; //匹配中状态

TransferStack中没有携带参数的构造函数,使用一个head节点来标记栈顶节点:

volatile SNode head;

面试官:基本结构就讲到这吧,还是老规矩,先从入队操作开始分析吧。

Hydra:当栈为空、或栈顶元素的类型与自己相同时,会先创建一个SNode节点,并将它的next节点指向当前栈顶的head,然后将head指针指向自己。这个过程中通过使用CAS保证线程安全,如果失败则退出,在循环中采取自旋的方式不断进行尝试,直到节点入栈成功。用一张图来表示两个线程同时入栈的场景:

当节点完成入栈后,调用awaitFulfill方法,等待匹配的操作的到来。在这一过程中,会使节点对应的线程进行自旋或挂起操作,直到匹配操作的节点将自己唤醒,或被其他线程中断、等待超时。

当入栈后的节点是栈顶节点,或者节点的类型为FULFILLING匹配状态时,那么可能会马上完成匹配,因此先进行自旋,当超过自旋次数上限后再挂起。而如果节点在自旋过程中,有新的节点压入栈顶,会将非栈顶节点剩余的自旋次数直接清零,挂起线程避免浪费资源。

面试官:你上面也说了,挂起的线程有可能会超时或者被中断,这时候应该怎么处理?

Hydra:当这两种情况出现时,SNode会将match属性设为自身,退出awaitFulfill方法,然后调用clean方法将对应的节点清理出栈。具体情形可分为两种情况。先说简单的情况,如果清理的是栈顶节点,那么直接将head节点指向它的next节点,即将当前栈顶结点弹出即可。

面试官:那么如果要删除的节点不是栈顶的节点呢?

Hydra:如果清理的不是栈顶节点,会稍微有一些麻烦。因为栈的底层是一个单向的链表结构,所以需要从栈顶head节点开始遍历,遍历到被删除节点的后继节点为止。所以在清除工作开始前,先使用了一个past节点标记需要删除节点的下一个节点,作为结束遍历的标记。

然后创建一个标记节点p,初始时指向head结点,开始循环,如果pnext节点不是需要被删除的节点,那么就将p向后移一个位置,直到找到这个需要被删除的中断或超时的节点,然后将pnext指向这个删除节点的next节点,在逻辑上完成链表中节点的删除。

面试官:单一类型节点的入栈应该说完了吧,接下来说说不同类型节点间是如何实现的匹配操作吧?

Hydra:好的,那我们先回顾一点上面的知识,前面说过每个节点有一个mode属性代表它的模式,REQUEST表示它是消费者,DATA表示是生产者,FULFILLING表明正处于匹配中的状态。

在一个新的线程调用方法时,先判断它的类型mode是什么,如果和当前栈顶head节点类型不同,且head节点的状态不为匹配中时,将它的状态设置为FULFILLING|mode,压入栈中。然后将尝试匹配新的head节点和它的next节点,如果匹配成功,会将next节点的match属性设置为head节点,唤醒挂起的next节点中的线程。

在完成匹配后,当前头结点对应的线程会协助推进head节点,将head指向next节点的下一个节点,即完成了栈顶两节点的出栈。最终消费者线程会返回匹配的生产者节点中的item数据值,而生产者线程也会结束运行退出。

我们以栈中当前节点为DATA类型,新节点为REQUEST类型画一张图,来直观的感受一下上面的流程:

面试官:总算是讲完了,能对SynchronousQueue做一个简单的总结吗?

Hydra:SynchronousQueue基于底层结构,实现了线程配对通信这一机制。在它的公平模式下使用的是先进先出(FIFO)的队列,非公平模式下使用的是后进先出(LIFO)的栈,并且SynchronousQueue没有使用synchronizedReentrantLock,而是使用了大量的CAS操作来保证并发操作。可能我们在平常的工作中使用场景不是很多,但是在线程池的设计中使用了SynchronousQueue,还是有很重要的应用场景的。

面试官:讲的还行,不过刚才这些和公平模式听起来感觉区别不大啊,没有什么技术含量。这样吧,你明天过来我们加试一场,我再给你打分。

Hydra:(溜了溜了,还是找家别的靠谱公司吧……)

最后

如果觉得对您有所帮助,小伙伴们可以点赞、转发一下~非常感谢

微信搜索:码农参上,来加个好友,点赞之交也好啊~

公众号后台回复“面试”、“导图”、“架构”、“实战”,获得免费资料哦~

面试侃集合 | SynchronousQueue非公平模式篇的更多相关文章

  1. 面试侃集合 | SynchronousQueue公平模式篇

    面试官:呦,小伙子来的挺早啊! Hydra:那是,不能让您等太久了啊(别废话了快开始吧,还赶着去下一场呢). 面试官:前面两轮表现还不错,那我们今天继续说说队列中的SynchronousQueue吧. ...

  2. 图解SynchronousQueue原理详解-非公平模式

    SynchronousQueue原理详解-非公平模式 开篇 说明:本文分析采用的是jdk1.8 约定:下面内容中Ref-xxx代表的是引用地址,引用对应的节点 前面已经讲解了公平模式的内容,今天来讲解 ...

  3. 面试侃集合 | ArrayBlockingQueue篇

    面试官:平常在工作中你都用过什么什么集合? Hydra:用过 ArrayList.HashMap,呃-没有了 面试官:好的,回家等通知吧- 不知道大家在面试中是否也有过这样的经历,工作中仅仅用过的那么 ...

  4. 图解SynchronousQueue原理-公平模式

    SynchronousQueue原理详解-公平模式 一.介绍 SynchronousQueue是一个双栈双队列算法,无空间的队列或栈,任何一个对SynchronousQueue写需要等到一个对Sync ...

  5. 面试侃集合 | LinkedBlockingQueue篇

    面试官:好了,聊完了ArrayBlockingQueue,我们接着说说LinkedBlockingQueue吧 Hydra:还真是不给人喘口气的机会,LinkedBlockingQueue是一个基于链 ...

  6. 面试侃集合 | DelayQueue篇

    面试官:好久不见啊,上次我们聊完了PriorityBlockingQueue,今天我们再来聊聊和它相关的DelayQueue吧. Hydra:就知道你前面肯定给我挖了坑,DelayQueue也是一个无 ...

  7. 死磕 java同步系列之ReentrantLock源码解析(一)——公平锁、非公平锁

    问题 (1)重入锁是什么? (2)ReentrantLock如何实现重入锁? (3)ReentrantLock为什么默认是非公平模式? (4)ReentrantLock除了可重入还有哪些特性? 简介 ...

  8. 图解AQS原理之ReentrantLock详解-非公平锁

    概述 并发编程中,ReentrantLock的使用是比较多的,包括之前讲的LinkedBlockingQueue和ArrayBlockQueue的内部都是使用的ReentrantLock,谈到它又不能 ...

  9. 【JAVA秒会技术之秒杀面试官】秒杀Java面试官——集合篇(一)

    [JAVA秒会技术之秒杀面试官]秒杀Java面试官——集合篇(一) [JAVA秒会技术之秒杀面试官]JavaEE常见面试题(三) http://blog.csdn.net/qq296398300/ar ...

随机推荐

  1. 分布式存储bfs

    来自bilibili的bfs,很喜欢它的分层结构,我认为,把它改造成类似hadoop的平台,也是可以的. 1.实现分布式存储 其实就是同步元信息和调度的问题,同步元信息可以使用zk,调度具体看应用.b ...

  2. 提示No input file specified的解决方法

    (一)IIS Noinput file specified 方法一:改PHP.ini中的doc_root行,打开ini文件注释掉此行,然后重启IIS 方法二: 请修改php.ini 找到 ; cgi. ...

  3. Docker学习笔记---通俗易懂

    目录 Docker 简介 Docker安装 Docker的基本组成 安装Docker 配置阿里云镜像加速 回顾helloworld流程 工作原理 Docker的常用命令 帮助命令 镜像命令 容器命令 ...

  4. hdu4287 水题

    题意:          水题,就是给你一些单词,和一些按键记录,问打出下面的那些单词,每一个按键记录一共按了多少次. 思路:       直接把每个单词的每一位转换成数字,然后再把每个单词转换的数字 ...

  5. 查找和定位Android应用的按钮点击事件的代码位置基于Xposed Hook实现

    本文博客地址:https://blog.csdn.net/QQ1084283172/article/details/80956455 在进行Android程序的逆向分析的时候,经常需要通过Androi ...

  6. 分解uber依赖注入库dig-源码分析

    上一篇帖子 分解uber依赖注入库dig-使用篇 把如何使用dig进行代码示例说明,这篇帖子分析dig的源码,看他是如何实现依赖注入的. dig实现的中心思想:所有传入Provide的函数必须要有除e ...

  7. PHP中文转拼音扩展

    Pinyin 基于 CC-CEDICT 词典的中文转拼音工具,更准确的支持多音字的汉字转拼音解决方案. 安装 使用 Composer 安装: $ composer require "over ...

  8. PHP解压压缩包文件到指定目录的实现

    $src_file为文件路径,上传文件返回压缩包路径即可 public function unzip($src_file, $dest_dir=false, $create_zip_name_dir= ...

  9. 第一章 FreeBSD之系统安装

    一.默认选择 >>[Boot Multi User],按回车键 二.默认选择 >> [Install] 三.选择默认的键盘设置 >>[Select] 四.配置主机名 ...

  10. windows桌面图标及任务管理栏丢失

    背景环境: 卸载某些软件,如Auto CAD 2011 之后,会出现桌面图标和任务栏丢失的现象,某些重要文件没有保存或者不能注销及重启的动作 1:按组合键Ctrl+Shift+Esc,键调出任务管理器 ...