Java中的锁（4）深入理解ReentrantLock

柔情只为你懂 2022-06-07 07:35 204阅读 0赞

理解了AQS和CAS之后，再来理解ReentrantLock就很简单了。

ReentrantLock是可重入锁，什么是可重入锁呢？可重入锁就是当前持有该锁的线程能够多次获取该锁，无需等待。

--------------------

## **ReentrantLock中的公平锁和非公平锁** ##

首先我们先看看ReentrantLock的构造方法， 分为两种，公平锁和非公平锁。

//默认非公平锁
    public ReentrantLock() {
        sync = new NonfairSync();
    }
    
    //fair为true时，采用公平锁策略
    public ReentrantLock(boolean fair) {    
        sync = fair ? new FairSync() : new NonfairSync();
    }

![这里写图片描述][SouthEast]

> 公平锁：公平锁遵循先来后到的原则，对于先对锁进行获取的请求一定先被满足  
> 非公平锁：反之，不遵循先来后到的原则。直接抢资源

一般来说，非公平锁的效率比较高，但是公平锁能减少”饥饿“的发生概率。

--------------------

## **ReentrantLock的实现原理** ##

首先看看ReentrantLock的源码

public class ReentrantLock implements Lock, java.io.Serializable { 
        private final Sync sync;
        abstract static class Sync extends AbstractQueuedSynchronizer {
    
    
            //抽象的Lock方法，交给NonfairSync和FairSync去实现 
            abstract void lock();
    
            /** * Performs non-fair tryLock. tryAcquire is implemented in * subclasses, but both need nonfair try for trylock method. */
            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;
            }
    
            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;
            }
    
        }
        //默认非公平锁
        public ReentrantLock() {
            sync = new NonfairSync();
        }
        //fair为false时，采用公平锁策略
        public ReentrantLock(boolean fair) {    
            sync = fair ? new FairSync() : new NonfairSync();
        }
        public void lock() { sync.lock(); }
        public void unlock() { sync.release(1);}
        public Condition newCondition() {    return sync.newCondition();}
        ...
    }

看过介绍AQS的那篇文章是不是觉得这个源码很熟悉？ 没错，ReentrantLock把lock和unlock方法委托给同步器完成。

通过分析ReentrantLock的源码，可知对其操作都转化为对Sync对象的操作，由于Sync继承了AQS，所以基本上都可以转化为对AQS的操作。如将ReentrantLock的lock函数转化为对Sync的lock函数的调用，而具体会根据采用的策略（如公平策略或者非公平策略）的不同而调用到Sync的不同子类。

--------------------

## **重入的实现** ##

重进入是指任意线程在获取到锁之后能够再次获取该锁而不会被锁所阻塞。  
1）**线程再次获取锁**。锁需要去识别获取锁的线程是否为当前占据锁的线程，如果是，则再  
次成功获取。  
2）**锁的最终释放。**线程重复n次获取了锁，随后在第n次释放该锁后，其他线程能够获取到  
该锁。锁的最终释放要求锁对于获取进行计数自增，计数表示当前锁被重复获取的次数，而锁  
被释放时，计数自减，当计数等于0时表示锁已经成功释放。

这里我们以非公平锁为例。

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) throw new Error("Maximum lock count exceeded");
            setState(nextc);
            return true;
        }
        return false;
    }

通过判断当前线程是否为获取锁的线程来决定获取操作是否成功，如果是获取锁的线程再次请求，则将同步状态值进行增加并返回true，表示获取同步状态成功。

成功获取锁的线程再次获取锁，只是增加了同步状态值，这也就要求ReentrantLock在释放同步状态时减少同步状态值。

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

如果该锁被获取了n次，那么前(n-1)次tryRelease(int releases)方法必须返回false，而只有同步状态完全释放了，才能返回true。可以看到，该方法将同步状态是否为0作为最终释放的条件，当同步状态为0时，将占有线程设置为null，并返回true，表示释放成功。

--------------------

## **非公平锁实现** ##

在非公平锁中，每当线程执行lock方法时，都尝试利用CAS把state从0设置为1。

那么Doug lea是如何实现锁的非公平性呢？  
我们假设这样一个场景：

1.持有锁的线程A正在running，队列中有线程BCDEF被挂起并等待被唤醒；

2.在某一个时间点，线程A执行unlock，唤醒线程B；  
同时线程G执行lock，这个时候会发生什么？线程B和G拥有相同的优先级，这里讲的优先级是指获取锁的优先级，同时执行CAS指令竞争锁。如果恰好线程G成功了，线程B就得重新挂起等待被唤醒。

NonfairSync类继承了Sync类，表示采用非公平策略获取锁，其实现了Sync类中抽象的lock方法，源码如下。

// 非公平锁
        static final class NonfairSync extends Sync { 
            // 版本号
            private static final long serialVersionUID = 7316153563782823691L;
    
            // 获得锁
            final void lock() {
                if (compareAndSetState(0, 1)) // 比较并设置状态成功，状态0表示锁没有被占用
                    // 把当前线程设置独占了锁
                    setExclusiveOwnerThread(Thread.currentThread());
                else // 锁已经被占用，或者set失败
                    // 以独占模式获取对象，忽略中断
                    acquire(1); 
            }
    
            protected final boolean tryAcquire(int acquires) {
                return nonfairTryAcquire(acquires);
            }
        }

其执行流程：  
![这里写图片描述][SouthEast 1]

--------------------

## **公平锁实现** ##

在公平锁中，每当线程执行lock方法时，如果同步器的队列中有线程在等待，则直接加入到队列中。  
场景分析：

1.持有锁的线程A正在running，对列中有线程BCDEF被挂起并等待被唤醒；

2.线程G执行lock，队列中有线程BCDEF在等待，线程G直接加入到队列的对尾。  
所以每个线程获取锁的过程是公平的，等待时间最长的会最先被唤醒获取锁。

FairSync类也继承了Sync类，表示采用公平策略获取锁，其实现了Sync类中的抽象lock方法，源码如下。

// 公平锁
        static final class FairSync extends Sync { 
            // 版本序列化
            private static final long serialVersionUID = -3000897897090466540L;
    
            final void lock() {
                // 以独占模式获取对象，忽略中断
                acquire(1);
            }
    
            /** * Fair version of tryAcquire. Don't grant access unless * recursive call or no waiters or is first. */
            // 尝试公平获取锁
            protected final boolean tryAcquire(int acquires) {
                // 获取当前线程
                final Thread current = Thread.currentThread();
                // 获取状态
                int c = getState();
                if (c == 0) { // 状态为0
                    if (!hasQueuedPredecessors() &&
                        compareAndSetState(0, acquires)) { // 不存在已经等待更久的线程并且比较并且设置状态成功
                        setExclusiveOwnerThread(current);　 // 设置当前线程独占锁
                        return true;
                    }
                }
                else if (current == getExclusiveOwnerThread()) { // 状态不为0，即资源已经被线程占据
                    // 下一个状态
                    int nextc = c + acquires;
                    if (nextc < 0) // 超过了int的表示范围
                        throw new Error("Maximum lock count exceeded");
                    // 设置状态
                    setState(nextc);
                    return true;
                }
                return false;
            }
        }

该方法与nonfairTryAcquire(int acquires)比较，唯一不同的位置为判断条件多了hasQueuedPredecessors()方法，即加入了同步队列中当前节点是否有前驱节点的判断，如果该方法返回true，则表示有线程比当前线程更早地请求获取锁，因此需要等待前驱线程获取并释放锁之后才能继续获取锁。

其执行流程：  
![这里写图片描述][SouthEast 2]  
可以看出只要资源被其他线程占用，该线程就会添加到sync queue中的尾部，而不会先尝试获取资源。这也是和Nonfair最大的区别，Nonfair每一次都会尝试去获取资源，如果此时该资源恰好被释放，则会被当前线程获取，这就造成了不公平的现象，当获取不成功，再加入队列尾部。

--------------------

## **总结** ##

1.ReentrantLock提供了内置锁类似的功能和内存语义。

2.此外，ReetrantLock还提供了其它功能，包括定时的锁等待、可中断的锁等待、公平性、以及实现非块结构的加锁、Condition，对线程的等待和唤醒等操作更加灵活，一个ReentrantLock可以有多个Condition实例，所以更有扩展性，不过ReetrantLock需要显示的获取锁，并在finally中释放锁，否则后果很严重。

3.ReentrantLock在性能上似乎优于Synchronized，其中在jdk1.6中略有胜出，在1.5中是远远胜出。那么为什么不放弃内置锁，并在新代码中都使用ReentrantLock？

4.在java1.5中， 内置锁与ReentrantLock相比有例外一个优点：在线程转储中能给出在哪些调用帧中获得了哪些锁，并能够检测和识别发生死锁的线程。ReentrantLock的非块状特性任然意味着，获取锁的操作不能与特定的栈帧关联起来，而内置锁却可以。

[SouthEast]: /images/20220607/5abd26386cb6411b823764fa7d3b39b4.png
[SouthEast 1]: /images/20220607/abe12645e3d44787a760baa2859c73f1.png
[SouthEast 2]: /images/20220607/abb094bdd1ef42dfabfe8433f514e094.png