Java队列之SynchronousQueue源码解析

目录

1.SynchronousQueue

1.1整体架构

1.2非公平的堆栈

1.2.1堆栈结构

1.3公平的队列

1.3.1队列结构

---

1.SynchronousQueue

---

1.1整体架构

• 本身没有容量的大小，当put的数据被take消费/take等待put操作放入数据，完成后才可以返回
• 一种是先入先出的结构，一种是先入后出的结构

    // 堆栈和队列共同的接口
    // 负责执行 put or take
    abstract static class Transferer<E> {
        // e 为空的，会直接返回特殊值，不为空会传递给消费者
        // timed 为 true，说明会有超时时间
        abstract E transfer(E e, boolean timed, long nanos);
    }
    // 堆栈 后入先出 非公平
    // Scherer-Scott 算法
    static final class TransferStack<E> extends Transferer<E> {
    }
    // 队列 先入先出 公平
    static final class TransferQueue<E> extends Transferer<E> {
    }
    private transient volatile Transferer<E> transferer;

    // 无参构造器默认为非公平，是堆栈结构
    public SynchronousQueue(boolean fair) {
        transferer = fair ? new TransferQueue<E>() : new TransferStack<E>();
    }

• 通过transfer方法来进行实现

1.2非公平的堆栈

1.2.1堆栈结构

• take和put的操作都是在堆栈头部进行操作，每次take的时候都是最新的数据

static final class SNode {
    // 栈的下一个，就是被当前栈压在下面的栈元素
    volatile SNode next;
    // 节点匹配，用来判断阻塞栈元素能被唤醒的时机
    // 比如我们先执行 take，此时队列中没有数据，take 被阻塞了，栈元素为 SNode1
    // 当有 put 操作时，会把当前 put 的栈元素赋值给 SNode1 的 match 属性，并唤醒 take 操作
    // 当 take 被唤醒，发现 SNode1 的 match 属性有值时，就能拿到 put 进来的数据，从而返回
    volatile SNode match;
    // 栈元素的阻塞是通过线程阻塞来实现的，waiter 为阻塞的线程
    volatile Thread waiter;
    // 未投递的消息，或者未消费的消息
    Object item;             
} 

过程大致为：

如果栈头数据为空或者栈头操和本次操作一样，就将当前操作设置为栈头，并且看其他线程能否满足自己，不能满足就会阻塞

如果栈头是阻塞的（栈头节点已经有了/跟栈头操作也不一样）就会判断当前操作能否唤醒栈头操作，能唤醒的话就会赋值match属性，然后进行唤醒，成功唤醒后，拿到了数据这两个线程就可以返回。

1.3公平的队列

1.3.1队列结构

/** 队列头 */
transient volatile QNode head;
/** 队列尾 */
transient volatile QNode tail;
// 队列的元素
static final class QNode {
    // 当前元素的下一个元素
    volatile QNode next;         
    // 当前元素的值，如果当前元素被阻塞住了，等其他线程来唤醒自己时，其他线程
    // 会把自己 set 到 item 里面
    volatile Object item;         // CAS'ed to or from null
    // 可以阻塞住的当前线程
    volatile Thread waiter;       // to control park/unpark
    // true 是 put，false 是 take
    final boolean isData;
}  

公平性主要体现在，每次put数据是放在队尾，每次take数据是遍历到头部然后取第一个被阻塞的put线程，这样就保证了顺序

大致过程为：

线程一take数据，然后发现队列没有数据就会阻塞

线程二往队尾部put数据，然后在从后向前找第一个被阻塞的take操作，将数据赋值给线程一并唤醒线程一，自己会进行阻塞

线程一被唤醒后就可以拿到线程二put的数据了，线程一就成功返回。