一、概念

注意:因为ReentrantLock 类可以实现公平锁和非公平锁,所以本文的讲解以该类为主。


1.1 公平锁

多个线程按照申请锁的顺序去获得锁,线程会直接进入队列去排队,永远都是队列的第一位才能得到锁。


1.2 非公平锁

多个线程去获取锁的时候,会直接去尝试获取,获取不到,再去进入等待队列,如果能获取到,就直接获取到锁。在这个过程中,会和队列中的线程竞争,得到锁的顺序并不一定是先到先得。


1.3 ReentrantLock 类

ReentrantLock是一个可重入且独占式的锁,并且同时实现了公平锁和非公平锁,所以本文的讲解以该类为主。


1.3.1 Sync

Sync是RenntrantLock类的一个内部抽象类,官方解释为是一个帮助类。该类继承了AQS,所以具备AQS的大部分属性和方法,同时又重写了一些必要方法:tryRelease(),isHeldExclusively(),也就是说继承该类的类都具有该方法。

同时该类有新加一些自己的方法,供具体的实现类使用:nonfairTryAcquire(),newCondition()。nonfairTryAcquire()是为了非公平锁模式下竞争锁,newCondition(),最终是为了创建条件队列。


1.3.2 NonfairSync

NonfairSync继承了Sync,是一个实现类,重要的方法有:lock(),tryAcquire(int acquires)


1.3.3 FairSync

FairSync继承了Sync,是一个实现类,重要的方法有:lock(),tryAcquire(int acquires)

总结:公平锁和非公平锁在概念上的区分:是否优先进入队列。优先进入队列的线程是公平锁,优先抢占资源的是非公平锁。


二、公平锁和非公平锁重要方法

2.1 lock

使用RenntrantLock构造函数可以构建公平锁和非公平锁,两者区别主要体现在lock方法中,具体有两处,构造方法如下:
//默认非公平锁
public ReentrantLock() {
        sync = new NonfairSync();
    }
//传入true,可以构建公平锁
public ReentrantLock(boolean fair) {
        sync = fair ? new FairSync() : new NonfairSync();
    }

ReentrantLock的获取锁方法的路径:lock()->acquire(),其中acquire()方法可以参考AQS之理论知识(一)中的讲解,两者的区别是lock方法以及不同实现类重写的tryAcquire()。

2.1.1 NonfairSync 的lock

final void lock() {
   //区别一:非公平锁竞争锁资源会先去竞争锁,而公平锁只会在锁状态为0时才会竞争锁
            if (compareAndSetState(0, 1))
                setExclusiveOwnerThread(Thread.currentThread());
            else
                acquire(1);
        }

调用NonfairSync 的lock,直接竞争锁,成功的话直接返回。失败的话,执行acquire(),因为AQS是模块方法,所以NonfairSync 需要重写tryAcquire(),在这个方法中当锁状态为0时直接竞争锁,无需查看队列是否有线程。

2.1.2 FairSync的lock

final void lock() {
            acquire(1);
        }
 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;
        }

调用FairSync的lock,直接执行acquire(),因为AQS是模块方法,所以FairSync需要重写tryAcquire(),在这个方法中当锁状态为0时直接竞争锁,需要查看队列是否有线程,有线程的话将新线程添加到队列中,其他业务和非公平锁一致。

总结:

区别一:非公平锁竞争锁资源会先去竞争锁,而公平锁只会在锁状态为0时才会竞争锁;

区别二:公平锁查看队列里面是否有节点,有的话,加入队列,没有的话直接去抢锁;而非公平锁则是直接抢锁。

2.2 unlock

public void unlock() {
        sync.release(1);
    }

    public final boolean release(int arg) {
        if (tryRelease(arg)) {
            Node h = head;
            if (h != null && h.waitStatus != 0)
                unparkSuccessor(h);
            return true;
        }
        return false;
    }

RenntrantLock的解锁调用的是AQS的release(),而解锁调用的tryRelease(arg)是两者共用的。所以解锁的步骤依然是两大步骤:

1、 更改锁状态,如果锁被完全释放,同时将独占锁绑定的线程清空。
2、 唤醒队列的节点绑定的线程。

2.3 await

因为await方法最终调用的是Condition中的方法,所以AQS中await方法无法重写,都是公用AQS现成的方法。


2.4 signal

因为signal方法最终调用的是Condition中的方法,所以AQS中signal方法无法重写,都是公用AQS现成的方法。


三、总结

3.1 公平锁和非公平锁在概念上的区分:

是否优先进入队列。优先进入队列的线程是公平锁,优先抢占资源的是非公平锁。

3.2 公平锁和非公平锁的在ReentrantLock实现上的区别:

区别一:非公平锁竞争锁资源会先去竞争锁,而公平锁只会在锁状态为0时才会竞争锁。

区别二:公平锁查看队列里面是否有节点,有的话,加入队列,没有的话直接去抢锁;而非公平锁则是直接抢锁。