本文共 1495 字，大约阅读时间需要 4 分钟。

ReentrantLock类是Java中一个高级同步工具，它通过内部的FairLock和NonfairLock两个子类实现了公平锁和非公平锁的功能。这两个子类都继承自Sync类，通过FIFO队列实现线程的等待和调度。

NonfairLock的独特之处

NonfairLock的实现与FairLock的主要区别在于它在获取锁时的逻辑判断。NonfairLock在尝试获取锁时不会检查队列头部是否有等待的线程，而是直接根据当前状态进行判断。

boolean nonfairTryAcquire(int acquires) {
    Thread current = Thread.currentThread();
    int c = getState();
    if (c == 0) {
        if (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;
}

FairLock的实现逻辑

FairLock则在获取锁时会检查队列中是否有等待的线程。它通过hasQueuedPredecessors()方法来判断当前线程是否是队列中的后续线程。

boolean tryAcquire(int acquires) {
    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;
}

关键实现细节

在这两种锁的实现中，最关键的区别在于NonfairLock是否检查队列中的线程。NonfairLock直接尝试获取锁，而FairLock则会先检查是否有其他线程在等待。如果有，FairLock会确保只有当前线程才能获取锁，避免其他线程在不公平的情况下获得优先权。

转载地址：http://eevfk.baihongyu.com/