JUC源码分析-容器-SynchronousQueue

概述

没有容量的阻塞队列，它的每个插入操作都要等待其他线程相应的移除操作，反之亦然。

SynchronousQueue（后面称SQ）内部没有容量，所以不能通过peek方法获取头部元素；也不能单独插入元素，可以简单理解为它的插入和移除是“一对”对称的操作

SQ 为等待过程中的生产者或消费者线程提供可选的公平策略（默认非公平模式）。非公平模式通过栈（LIFO）实现，公平模式通过队列（FIFO）实现。使用的数据结构是双重队列（Dual queue）和双重栈（Dual stack）（后面详细讲解）。

算法分析

以Dual stack为例

源码中实现了一种队列结构的算法

队列中有两个角色 传递者和接受者， 传递者之间排队，接受者之间排队，默认第一个入队的节点是接受者，后面入队的节点的模式与这个节点相同的为接受者，不同的为传递者。按照入队顺序，传递者和接受者配对后2个节点同时出队。

 

图解如下

A是接受者，B是传递者

 

源码中的 取数据和放数据 都可以作为接受者和传递者，实现了 取数据和放数据各自的排队，并且只有取和放数据同时配对才能执行的功能。

数据的传递怎么实现？？

传递者与接受者配对时，将数据传递给接受者。接受者拿到的数据后根据自己是取数据或放数据，返回不同的结果。

取数据的方法：take(),poll(),poll(timeout) 放数据的方法：put(E e),offer(E e), offer(E e,timeout)

取数据的方法和放数据的方法都依赖transfer（）实现，以put方法为例

public void put(E o) throws InterruptedException {

if (o == null) throw new NullPointerException();

if (transferer.transfer(o, false, 0) == null) {

Thread.interrupted();

throw new InterruptedException();

}

}

transferer是个什么鬼？

transferer在初始化时候创建

public SynchronousQueue(boolean fair) {

transferer = fair ? new TransferQueue() : new TransferStack();

}

默认使用TransferStack实现。

 

下先分析一下TransferStack.transfer()

 

理解这个队列的算法后，再来看核心部分的源码就比较容易理解了

源码分析

 

put/take方法核心实现

算法的基本循环包括以下三个行为

1. 如果队列中为空，或与头部包含的节点但是模式相同，作为接受者入队，等待传递者匹配成功后，返回传递过来的数据。
2. 与头部包含的节点模式不同，作为传递者入队。寻找接受者匹配后，将数据传递给接受者，出队这两个节点。
3. 如果队列中的头结点被其他传递者占据，帮助传递者完成匹配和出队工作，然后重试入队。

 

 

Object transfer(Object e, boolean timed, long nanos) {

SNode s = null; // constructed/reused as needed

int mode = (e == null) ? REQUEST : DATA;

 

for (;;) {

S