公平鎖和非公平鎖的區別

在java的鎖機制中，公平和非公平的參考物是什麼，我的而言以爲是相對產生的結果而立，
簡單的來講，若是一個線程組裏，能保證每一個線程都能拿到鎖，那麼這個鎖就是公平鎖。
相反，若是保證不了每一個線程都能拿到鎖，也就是存在有線程餓死，那麼這個鎖就是非公平鎖。

本文圍繞ReenTrantLock來說。

實現原理

那如何能保證每一個線程都能拿到鎖呢，隊列FIFO是一個完美的解決方案，也就是先進先出，java的ReenTrantLock也就是用隊列實現的公平鎖和非公平鎖。
在公平的鎖中，若是有另外一個線程持有鎖或者有其餘線程在等待隊列中等待這個所，那麼新發出的請求的線程將被放入到隊列中。
而非公平鎖上，只有當鎖被某個線程持有時，新發出請求的線程纔會被放入隊列中（此時和公平鎖是同樣的）。
因此，它們的差異在於非公平鎖會有更多的機會去搶佔鎖。

公平鎖：

final Thread current = Thread.currentThread();
int c = getState();
if (c == 0) {
    if (!hasQueuedPredecessors() &&
        compareAndSetState(0, acquires)) {
        setExclusiveOwnerThread(current);
        return true;
    }
}

hasQueuedPredecessors的實現

public final boolean hasQueuedPredecessors() {

    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());
}

非公平鎖：

final Thread current = Thread.currentThread();
int c = getState();
if (c == 0) {
    if (compareAndSetState(0, acquires)) {
        setExclusiveOwnerThread(current);
        return true;
    }
}

本文由猿必過 YBG 發佈