java无锁并发_无锁机制实现并发访问

8.SynchronousQueue的实现

在对线程池的介绍中，提到了一个非常特殊的等待队列SynchronousQueue。Syn-chronousQueue的容量为0，任何一个对Syn-chronousQueue的写需要等待一个对Syn-chronousQueue的读,因此，Syn-chronousQueue与其说是一个队列，不如说是一个数据交换通道。

对SynchronousQueue来说，它将put()和take()两个功能截然不同的操作抽象为一个共通的方法Transferer.transfer()。

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

当参数e为非空时，表示当前操作传递给一个消费者，如果为空，则表示当前操作需要请求一个数据。timed参数决定是否存在timeout时间，nanos决定了timeout的时长。如果返回值非空，则表示数据已经接受或者正常提供，如果为空，则表示失败(超时或者中断)。

SynchronousQueue内部会维护一个线程等待队列。等待队列中会保存等待线程以及相关数据的信息。比如，生产者将数据放入Syn-chronousQueue时，如果没有消费者接收，那么数据本身和线程对象都会打包在队列中等待(因为SynchronousQueue容积为0，没有数据可以正常放入)。

Transferer.transfer()函数的实现是Syn-chronousQueue的核心，它大体上分为三个步骤：

/*

* Basic algorithm is to loop trying one of three actions:

*

* 1. If apparently empty or already containing nodes of same

*    mode, try to push node on stack and wait for a match,

*    returning it, or null if cancelled.

*

* 2. If apparently containing node of complementary mode,

*    try to push a fulfilling node on to stack, match

*    with corresponding waiting node, pop both from

*    stack, and return matched item. The matching or

*    unlinking might not actually be necessary because of

*    other threads performing action 3:

*

* 3. If top of stack already holds another fulfilling node,

*    help it out by doing its match and/or pop

*    operations, and then continue. The code for helping

*    is essentially the same as for fulfilling, except

*    that it doesn't return the item.

*/

1. 如果等待队列为空，或者队列中节点的类型和本次操作是一致的，那么将当前操作压入队列等待。比如，等待队列中是读线程等待，本次操作也是读，因此这两个读都需要等待。进入等待队列的线程可能会被挂起，它们会等待一个“匹配”操作。

2. 如果等待队列中的元素和本次操作是互补的(比如等待操作是读，而本次操作是写)，那么就插入一个“完成”状态的节点，并且让他“匹配”到一个等待节点上。接着弹出这两个节点，并且使得对应的两个线程继续执行。

3. 如果线程发现等待队列的节点就是“完成”节点，那么帮助这个节点完成任务。其流程和步骤2是一致的。