QNode的源码信息分析
- 一行一行的分析大概内容；下面会省略大量的CAS操作
- 当前节点可以获取到的next节点
- item在生产者和消费者下有所不同。生产者是有数据。消费者为null。
- waiter为当前线程
- isData属性是用来区分消费者和生产者的属性。值得一提的是最终生产者需要将item交给消费者，最终消费者需要向生产者获取item
SynchronousQueue的TransferQueue源码中核心方法transfer方法分析
- 作为TransferQueue的核心内容存在
- e作为要传递的参数
- timed属性，为false代表无限阻塞。true代表阻塞nacos时间
- QNode s = null，是要封装当前的生产者和消费者信息。
- 布尔类型的isData ，e要是为null，那么isData为false。代表消费者；反之要是e不为null，isData为true是生产者。
- 下面这个死循环是作者的一种写作习惯。
- 接下来的获取头节点head，获取尾节点tail。
- 下面是健壮性判断，防止TransferQueue还没有被初始化。因为在TransferQueue的构造方法中是不会出现都为空的，只有一种可能那就是指令重排了，所以需要重新初始化。
-
接着上面说，判断h==t，代表头节点和尾节点相等。队列为空，没有生产者和消费者。或者要是前一个判断不成立，那说明队列中是存在元素，那就进行后续的判断，当前节点和队列节点是不是同一种角色。也就说要是队列中是存在生产者，那我来一看我也是生产者那么我也进队列。要是队列中存在的是消费者，那我过来一看我也是消费者那我也进队列。或循环的特点就是只要满足了任意一个条件那我就进队列。
-
进来之后首先获取尾节点的next，要是t不是尾节点，说明当前由其他线程并发进来修改了tail，那就重新走for循环吧
-
要是尾节点的下一个节点不为空，说明前面的线程存在并发添加了一个节点，那就修改尾节点的指向，重新走for循环。
-
总结就是进来之后就是处理了并发的问题。
-
前面都没有问题，那就没有并发问题我们继续。
-
下面是一个判断 if (timed && nanos <= 0) ，判断当前线程是不是可以阻塞，要是timed为true代表可以阻塞一会，但是要是阻塞的时间小于等于0，那就不需要进行下去了。
-
if (s == null)，经过前面的判断，证明可以阻塞，需要将加入到队列的节点构建出来。
-
(!t.casNext(null, s)) 这个是基于CAS的操作，将当前线程尾节点的next节点设置为新创建的节点s。但是主要是一个非判断，证明是失败才进来那就要说明修改失败了。需要重新for循环。
-
advanceTail(t, s); 还能继续说明CAS成功了，那就替换掉tail的指向。
-
Object x = awaitFulfill(s, e, timed, nanos);说明进入到队列中，那就需要挂起线程。等待消费者或者生产者。x则是作为替代返回后的数据
-
前面那个if判断没有进去，代表者队列中由元素，而我的类型还和那个不一样，那我就要进去消费了。
-
获取头节点的next节点，作为要匹配的节点。
-
下面这个三个或逻辑的判断，t不是尾节点，m为null，或者头节点不是头节点那就重新走for循环。
-
否则说明并发没有问题，可以获取数据了
-
Object x = m.item;或者m的item节点作为x；
-
首先下面这个判断x不为空，然后再才和左边这个判断类型是一致的话，那就说明出现了并发的问题，消费者匹配消费者，生产者匹配生产者没有意义。
-
x == m这个判断条件是说明节点取消了，那就没必要去匹配了。
-
!m.casItem(x, e))这个判断条件注意前面的逻辑非，要是判断到这里说明可以交换数据了，但是要是交换失败了，那也说明并发有问题。
-
然后就需要方法块中的语句重新设置head节点，并且重新走一遍for循环。
-
要是判断都没有进去说明一切正常，那就继续往后面走。
-
advanceHead(h, m);替换head
-
唤醒head的next线程
-
最后返回，要是x不为空那说明是生产者，那就直接返回x，要是为null，那就返回e
- 判断要是元素和节点相等，那说明节点取消了。进入清空当前节点，将上一个节点的next指向当前节点的next，就是绕过当前节点。直接拜拜。
- 判断当前节点是不是还在队列中
- 要是在进入方法将当前节点这是为head
- 要是x不为null，说明是消费者获取到了数据，将当前节点设置尾自己，方便GC，线程位置null
- 最后返回数据，生产者不为null，返回自己生产的数据x，消费者则是返回消费的数据e。