【死磕Java并发】——J.U.C之重入锁：ReentrantLock

锁介绍

ReentrantLock,可重入锁，是一种递归无阻塞的同步机制。它等同于sychronized,但提供比关键字synchrozied更强大、更灵活的锁机制，性能也能好。API介绍如下：
一个可重入的互斥锁定 Lock，它具有与使用 synchronized 方法和语句所访问的隐式监视器锁定相同的一些基本行为和语义，但功能更强大。ReentrantLock 将由最近成功获得锁定，并且还没有释放该锁定的线程所拥有。当锁定没有被另一个线程所拥有时，调用 lock 的线程将成功获取该锁定并返回。如果当前线程已经拥有该锁定，此方法将立即返回。可以使用 isHeldByCurrentThread() 和 getHoldCount() 方法来检查此情况是否发生。

ReetrantLock提供了两种锁机制，一种是公平锁、一种是非公平锁。默认实现的是非公平锁，因为公平锁在多线程环境下效率往往没有非公平锁效率高，吞吐量也比较低。
ReeentrantLock重入锁类UML图：

实现的是Lock接口，在ReentrantLock里面是通过Sync类（它有FairSync和NonfaiSync两个具体实现类）实现公平锁和非公平锁，并且Sync是通过继承AQS实现的同步状态更新。

如何获取锁

//非公平锁
ReentrantLock lock = new ReentrantLock();
//公平锁
ReentrantLock lock2 = new ReentrantLock(false);
lock.lock(); //获取对应的锁（加锁）
lock方法：
    public void lock() {
        sync.lock();
    }

Sync提供了统一获取锁的方法#lock,具体实现由其具体子类决定，默认实现的是nonfairTryAcquire(int acquires)方法，默认实现的是非公平机制的锁获取，源码如下：

final void lock() {
        //第一次会用CAS操作快速尝试获取同步状态，锁获取成功就将当前线程置为已拥有锁状态的线程
        if (compareAndSetState(0, 1))
            setExclusiveOwnerThread(Thread.currentThread());
        else
            //获取失败，调用AQS的acquire(int arg)方法
            acquire(1);
    }

acquire方法是定义在AQS中的

public final void acquire(int arg) 
        if (!tryAcquire(arg) &&
                acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
            selfInterrupt();
    }

这个方法首先调用tryAcquire(int arg)方法，在AQS中讲述过，tryAcquire(int arg)需要自定义同步组件提供实现，非公平锁实现如下：

protected final boolean tryAcquire(int acquires) {
        return nonfairTryAcquire(acquires);
    }

    final boolean nonfairTryAcquire(int acquires) {
        //当前线程
        final Thread current = Thread.currentThread();
        //获取同步状态
        int c = getState();
        //state == 0,表示该锁处于空闲状态
        if (c == 0) {
            //获取锁成功，设置为当前线程所有
            if (compareAndSetState(0, acquires)) {
                setExclusiveOwnerThread(current);
                return true;
            }
        }
        //在多线程环境下，程序可能会突然没得到cpu资源而没有再执行下去，而载这个时间段可能已经让之前没有获得锁的小城得到了锁，毕竟会将未获取锁的线程封装成一个节点放到一个等待同步队列中，所以需要进行线程重入判断
        //判断锁持有的线程是否为当前线程
        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;
    }

该方法主要逻辑：首先判断同步状态state == 0 ?，如果是表示该锁还没有被线程持有，直接通过CAS获取同步状态，如果成功返回true。如果state != 0，则判断当前线程是否为获取锁的线程，如果是则获取锁，成功返回true。成功获取锁的线程再次获取锁，这是增加了同步状态state。

释放锁

ReentrantLock提供#unlock来释放锁

public void unlock(){
    sync.release(1);//可以看到内部是使用Sync的release来释放锁的
}

Sync.release（）源码如下：

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

与获取同步状态的acquire(int arg)方法相似，释放同步状态的tryRelease(int arg)同样是需要自定义同步组件自己实现：

 protected final boolean tryRelease(int releases) {
        //减掉releases
        int c = getState() - releases;
        //如果释放的不是持有锁的线程，抛出异常
        if (Thread.currentThread() != getExclusiveOwnerThread())
            throw new IllegalMonitorStateException();
        boolean free = false;
        //state == 0 表示已经释放完全了，其他线程可以获取同步状态了
        if (c == 0) {
            free = true;
            setExclusiveOwnerThread(null);
        }
        setState(c);
        return free;
    }

只有当同步状态彻底释放后该方法才会返回true。当state == 0 时，则将锁持有线程设置为null，free= true，表示释放成功。

公平锁与非公平锁比较

公平锁：

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

public final boolean hasQueuedPredecessors() {
        Node t = tail;  //尾节点
        Node h = head;  //头节点
        Node s;

        //头节点 != 尾节点
        //同步队列第一个节点不为null
        //当前线程是同步队列第一个节点
        return h != t &&
                ((s = h.next) == null || s.thread != Thread.currentThread());
    }

比较非公平锁和公平锁获取同步状态的过程，会发现两者唯一的区别就在于公平锁在获取同步状态时多了一个限制条件：hasQueuedPredecessors()，该方法主要做一件事情：主要是判断当前线程是否位于CLH同步队列中的第一个（这样才保证公平）。如果是则返回true，否则返回false。

ReentrantLock与synchronized的区别

他们具有相同的功能和内存语义。
1、与synchronized相比，ReentrantLock提供了更多，更加全面的功能，具备更强的扩展性。例如：时间锁等候，可中断锁等候，锁投票。
2、ReentrantLock还提供了条件Condition，对线程的等待、唤醒操作更加详细和灵活，所以在多个条件变量和高度竞争锁的地方，ReentrantLock更加适合（以后会阐述Condition）。
3、ReentrantLock提供了可轮询的锁请求。它会尝试着去获取锁，如果成功则继续，否则可以等到下次运行时处理，而synchronized则一旦进入锁请求要么成功要么阻塞，所以相比synchronized而言，ReentrantLock会不容易产生死锁些。
4、ReentrantLock支持更加灵活的同步代码块，但是使用synchronized时，只能在同一个synchronized块结构中获取和释放。注：ReentrantLock的锁释放一定要在finally中处理，否则可能会产生严重的后果。
5、ReentrantLock支持中断处理（可体现在ADS的acquire方法中，如果没有获取到锁并且不能讲当前线程节点加入到同步等待队列就会自我中断处理：selfInterrupt），且性能较synchronized会好些。