AQS独占锁入队方法addWaiter详解

  写博客是为了记录学习心得，同时也分享下自己对代码的思考，排版可能略显粗糙，后面会集中整理AQS这部分为一篇完整的学习博客，下面是我对addWaiter的理解，以及提出了一个小问题。

private Node addWaiter(Node mode){
    Node node = new Node(mode);
    for(;;){
        Node oldTail = tail
        if(oldTail != null){
            node.setPrevRelaxed(oldTail);
            if(compareAndSetTail(oldTail, node)){
                oldTail.next = node;
                return node;
            }
            else{
                Node h;
                if (HEAD.compareAndSet(this, null, (h = new Node())))
                    tail = h;
        }
        }
    }
}

解析：
  第一行为独占锁构造方法，在for循环里只有节点成功入队才能终止循环，并且这里通过CAS提供了安全的入队操作（可能有多个线程竞争入队）。加入等待队列的节点要么发现等待队列为空，自己是加入的第一个节点，要么发现在自己加入前已经在排队了。现在考虑第一种情况，假设等待队列为空，我们想往等待队列加入第一个节点。第四行获取当前AQS同步器的尾节点，这时候做一个判断，如果尾节点为空，则代表此时等待队列为空，跳到11~12行去创建一个虚的head头节点，此时头尾节点都指向这个虚节点。在保证等待队列至少有一个头节点后，继续循环，此时第一个节点发现尾节点不为空了,就先将自己的前节点设置为oldTail，但是这里注意并不能保证这个oldTail没有被其他竞争节点占据了，所以后面有个CAS判断，判断之前获得的尾节点是否和现在读到的尾节点为同一个，若不是同一个，说明尾节点已经被别的节点抢走了，这时重新循环，读取新的尾节点；若CAS判断之前读到的尾节点和现在的尾节点为同一个，则可以将当前入队节点加入到尾节点后，指定为尾节点的后继，并返回当前节点（这里产生了一个疑问，如果多个节点同时竞争时，在CAS判断时都发现尾节点未变化，然后都将自己设置为尾节点，这样不是会出问题么）。第二种情况入队节点发现入队时已经在排队，这时和前面一致，只是少了一个创建虚节点的环节。