摘要：作者畢來(lái)生微信鎖狀態(tài)轉(zhuǎn)換分類(lèi)以后幫助我們提供了線(xiàn)程同步機(jī)制，通過(guò)顯示定義同步鎖來(lái)實(shí)現(xiàn)對(duì)象之間的同步。等待重新嘗試因?yàn)樵谥惺怯藐P(guān)鍵字聲明的，故可以在線(xiàn)程間可見(jiàn)再次判斷一下能否持有鎖可能線(xiàn)程同步代碼執(zhí)行得比較快，已經(jīng)釋放了鎖，不可以就返回。

作者 : 畢來(lái)生
微信: 878799579

? Jdk1.5以后幫助我們提供了線(xiàn)程同步機(jī)制，通過(guò)顯示定義同步鎖來(lái)實(shí)現(xiàn)對(duì)象之間的同步。還是Doug Lea這個(gè)家伙寫(xiě)的。相信讀過(guò)源碼的人在很多地方都可以看到這個(gè)家伙。

? Lock可以顯示的進(jìn)行加鎖，解鎖。但是每次只能有一個(gè)線(xiàn)程對(duì)Lock對(duì)象加鎖

? Lock實(shí)現(xiàn)結(jié)構(gòu)如下圖所示：

? 按照使用的常用度，分別標(biāo)注了（1），（2），（3）。接下來(lái)我們就主要學(xué)習(xí)一下ReentrantLock的使用

? ReentrantLock實(shí)現(xiàn)的前提就是AbstractQueuedSynchronizer，簡(jiǎn)稱(chēng)AQS.。核心方法內(nèi)部實(shí)現(xiàn)均在A(yíng)QS中，后續(xù)我們?cè)谠敿?xì)解讀AQS相關(guān)知識(shí)點(diǎn)以及使用場(chǎng)景。我們先來(lái)看一段偽代碼用以表述可重入鎖的使用情況。接下來(lái)我們來(lái)詳細(xì)分析獲取鎖以及釋放鎖內(nèi)部實(shí)現(xiàn)到底做了什么事情。

package org.bilaisheng.juc;

import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

/**
 * @Author: bilaisheng
 * @Wechat: 878799579
 * @Date: 2019/1/3 22:55
 * @Todo: 偽代碼僅演示使用
 * @Version : JDK11 , IDEA2018
 */
public class ReentrantLockTest {


    public static void main(String[] args) {
        Lock lock = new ReentrantLock();

        // 獲取鎖
        lock.lock();
        
        // access the resource protected by this lock
        // do something
        
        // 釋放鎖
        lock.unlock();

    }
}

     /** Synchronizer providing all implementation mechanics */
    private final Sync sync;

    /**
     * Base of synchronization control for this lock. Subclassed
     * into fair and nonfair versions below. Uses AQS state to
     * represent the number of holds on the lock.
     */
    abstract static class Sync extends AbstractQueuedSynchronizer {
        // xxxx
    }    

他會(huì)根據(jù)傳入構(gòu)造方法的布爾類(lèi)型參數(shù)實(shí)例化出Sync的實(shí)現(xiàn)類(lèi)FairSync和NoFairSync。

FairSync： 公平的Sync

NoFairSync : 不公平的Sync

public ReentrantLock(boolean fair) {
    sync = fair ? new FairSync() : new NonfairSync();
}

? 我們用的比較多的ReentrantLock是非公平鎖，我們來(lái)用一張圖來(lái)分析一下看看它是如何實(shí)現(xiàn)的。

上圖就做了兩件事情：

1、設(shè)置AbstractQueuedSynchronizer的state為1

2、設(shè)置AbstractOwnableSynchronizer的thread為當(dāng)前線(xiàn)程

線(xiàn)程A正在執(zhí)行中，status = 1。

線(xiàn)程B嘗試?yán)肅AS去判斷state是不是0，是0就設(shè)置為1，當(dāng)然這一步操作肯定是失敗的，因?yàn)榫€(xiàn)程A已經(jīng)將state設(shè)置成了1，所以此時(shí)肯定是失敗的。

失敗了之后進(jìn)入FIFO等待隊(duì)列。等待重新嘗試

/**
 * Performs non-fair tryLock.  tryAcquire is implemented in
 * subclasses, but both need nonfair try for trylock method.
 */
@ReservedStackAccess
final boolean nonfairTryAcquire(int acquires) {
    final 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) // overflow
            throw new Error("Maximum lock count exceeded");
        setState(nextc);
        return true;
    }
    return false;
}

因?yàn)樵贏(yíng)bstractQueuedSynchronizer中state是用volatile關(guān)鍵字聲明的，故可以在線(xiàn)程間可見(jiàn)

/**
 * The synchronization state.
 */
private volatile int state;

再次判斷一下能否持有鎖（可能線(xiàn)程A同步代碼執(zhí)行得比較快，已經(jīng)釋放了鎖），不可以就返回false。

根據(jù)上方代碼可以看出同一個(gè)鎖最多能重入Integer.MAX_VALUE次，也就是2147483647。

此處較為簡(jiǎn)單。附上調(diào)用關(guān)系鏈路

// 步驟一
public void unlock() {
    sync.release(1);
}

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

//步驟二 ： ReentrantLock
 @ReservedStackAccess
protected final boolean tryRelease(int releases) {
    int c = getState() - releases;
    if (Thread.currentThread() != getExclusiveOwnerThread())
        throw new IllegalMonitorStateException();
    boolean free = false;
    if (c == 0) {
        free = true;
        setExclusiveOwnerThread(null);
    }
    setState(c);
    return free;
}

當(dāng)一條線(xiàn)程對(duì)同一個(gè)ReentrantLock全部解鎖之后，AQS的state就是0了，AbstractOwnableSynchronizer的exclusiveOwnerThread將被設(shè)置為null，這樣就表示沒(méi)有線(xiàn)程占有鎖，方法返回true。