ReentrantLock中的公平锁与非公平锁

简介

ReentrantLock是一种可重入锁,可以等同于synchronized的使用,但是比synchronized更加的强大、灵活。
一个可重入的排他锁,它具有与使用 synchronized 方法和语句所访问的隐式监视器锁定相同的一些基本行为和语义,但功能更强大。ReentrantLock 将由最近成功获得锁定,并且还没有释放该锁定的线程所拥有。当锁定没有被另一个线程所拥有时,调用 lock 的线程将成功获取该锁定并返回。如果当前线程已经拥有该锁定,此方法将立即返回。可以使用 isHeldByCurrentThread() 和 getHoldCount() 方法来检查此情况是否发生。

内部实现

ReentrantLock内部拥有一个Sync内部类,该内部类继承自AQS,该内部类有两个子类FairSync和NonfairSync,分别代表了公平锁和非公平锁,ReentrantLock默认使用非公平锁

那么ReentrantLock内部的公平锁和非公平锁有什么区别呢?

区别主要在于两种锁实现的获取锁的方式,tryAcquire方法实现的不同:

首先来看看非公平锁:
protected final boolean tryAcquire(int acquires) {
        return nonfairTryAcquire(acquires);
}
final boolean nonfairTryAcquire(int acquires) {
	final Thread current = Thread.currentThread();
	int c = getState();//获取state
	if (c == 0) {//state == 0表示锁没有被任何线程持有
		if (compareAndSetState(0, acquires)) {//尝试设置state,如果设置成功,则获取到锁
			setExclusiveOwnerThread(current);// 将当前锁的持有者设置为当前线程
			return true;
		}
	}
	else if (current == getExclusiveOwnerThread()) {//如果当前线程是锁的持有者,直接返回成功
		int nextc = c + acquires;
		if (nextc < 0) // overflow
			throw new Error("Maximum lock count exceeded");
		setState(nextc);
		return true;
	}
	return false;//否则,获取锁失败
}
可以看到,非公平锁获取锁的过程是:首先判断当前锁是否被其他线程持有,如果是,直接返回失败,否则尝试获取锁

再来看看公平锁的加锁过程:
protected final boolean tryAcquire(int acquires) {
        final Thread current = Thread.currentThread();
        int c = getState();
        if (c == 0) {
            if (!hasQueuedPredecessors() &&
		compareAndSetState(0, acquires)) {
		setExclusiveOwnerThread(current);
		return true;
	}
    }
    else if (current == getExclusiveOwnerThread()) {
	    int nextc = c + acquires;
	    if (nextc < 0)
		    throw new Error("Maximum lock count exceeded");
	    setState(nextc);
	    return true;
    }
    return false;
}

对比上面的非公平锁的加锁过程,可以看到公平锁多了一个hasQueuedPredecessors方法的判断,来看看该方法的实现:
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.
    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());
}

其实就是判断当前线程是否为CLH队列的头节点

我们知道,尝试获取锁失败的线程都会被放入到CLH队列中,然后自旋尝试获取锁。对比公平锁和非公平锁的获取方式可以看到,公平锁之所以公平,是因为后续的线程必须进入到CLH同步队列中排队等候获取锁,但是分公平锁不需要,如果某个线程尝试获取锁的时候当前锁刚好被释放掉,那么它可以直接尝试获取锁,如果获取锁成功,直接执行,获取失败时,才进入到CLH同步队列

总结

通过上面的分析可以看到,公平锁是将所有线程依次放入CLH同步队列,然后再从队列中依次取出来执行;而非公平锁是部分已经进入同步队列的线程会像公平锁一样获取锁,但是其他尚且没有进入同步队列的线程可以与CLH同步队列中的首节点线程竞争锁;这也是为什么非公平锁性能比公平锁性能更佳的原因
posted @ 2018-08-02 23:42  SheaChen  阅读(1236)  评论(0编辑  收藏  举报