源码系列-reentrant公平锁和非公平锁的区别

公平锁和非公平锁的区别就在于下面这些代码,下面的代码的意思是判断队列中是否有其他队列在等待,如果有其他的在等待了已经,那么自旋的时候就不去抢锁了,非公平锁在抢锁就直接去抢的,但是公平锁抢锁之前会去判断一下有没有前辈,如果有前辈我就不抢了,所以综上一句话,公平锁是你后加的线程要去老老实实排队,非公平锁就是新加的线程可能和老线程一起去抢,非公平锁有至少四次机会可以超车,第一次是在reentrantlock里面,第二次是在aqs里面,第三次是在自旋操作里面,自旋抢锁失败之后判定前置结点是否是signal状态,刚创建的结点是0状态,所以再次去自旋抢锁,这里抢不到锁就会阻塞自己,然后才是真正的老老实实的等待.

    public final boolean hasQueuedPredecessors() {
        // The correctness of this depends on head being initialized
        // before tail and on head.next being accurate if the current
        // thread is first in queue.//这个要等于false才能抢到锁,公平锁的精髓
        Node t = tail; // Read fields in reverse initialization order
        Node h = head;
        Node s;
        return h != t &&
            ((s = h.next) == null || s.thread != Thread.currentThread());
    }

上面的代码是判定队列中是否有前辈队列,这我估计就是公平锁性能差的原因,因为他要经过多次判定队列中有阻塞线程,会多好几次判断,比非公平锁性能差

分析:当头结点和尾节点相等的时候 h!=t的结果就是false,因为是&&操作,一false全false,说明肯定没有前辈节点,返回false,也就是说没有前辈节点,然后就可以去抢锁了,那么当什么时候头结点会等于尾节点呢,就是没有节点加入的时候头结点会等于尾结点,但是是不是意味着头结点不等于尾结点就说明一定有前辈在里面呢?那也不一定,当有前辈在里面然后又出队列的时候,就会出现一种情况,头结点指向一个节点,那个节点还没有被gc,但是尾节点已经指向null了,这个时候就要进入第二重判断了,如果头结点的下一个结点是null,这里不是很明白,但是当前线程不是次结点很好理解,就是说当你是次结点时候即使里面有前辈,甚至里面里面只有你一个,那么你也可以抢