为什么基于FIFO的同步队列可以实现非公平锁?
由FIFO队列的特性知,先加入同步队列等待的线程会比后加入的线程更靠近队列的头部,那么它将比后者更早的被唤醒,它也就能更早的得到锁。从这个意义上,对于在同步队列中等待的线程而言,它们获得锁的顺序和加入同步队列的顺序一致,这显然是一种公平模式。**然而,线程并非只有在加入队列后才有机会获得锁,哪怕同步队列中已有线程在等待,非公平锁的不公平之处就在于此 **。回看下非公平锁的加锁流程,线程在进入同步队列等待之前有两次抢占锁的机会:
第一次是非重入式的获取锁,只有在当前锁未被任何线程占有(包括自身)时才能成功;
第二次是在进入同步队列前,包含所有情况的获取锁的方式。
公平锁与非公平锁源码上区别:
非公平指的是,没有获得锁的线程阻塞进入队列并按照顺序获取锁,头结点是正在占用锁的线程。当头节点释放锁是,头结点的下一个节点唤醒获取锁。但是在唤醒并获得锁的过程中,其余队列外的线程可能获取资源,这就是非公平的含义。队列外的线程可以和队列里的线程竞争锁(非重入的时候,state=0)。
公平是指,当有锁时,非重入的时候,state=0。如果队列里有线程,就按照顺序获取,且队列外线程获取该锁失败,进入队列。如果队列为空,这是队列外的线程才可以获取该锁。