Java 重入锁和读写锁

本文部分摘自《Java 并发编程的艺术》

重入锁

重入锁 ReentrantLock，顾名思义，就是支持重进入的锁，它表示该锁能够支持一个线程对资源的重复加锁。除此之外，该锁还支持获取锁时的公平和非公平性选择

所谓不支持重进入，可以考虑如下场景：当一个线程调用 lock() 方法获取锁之后，如果再次调用 lock() 方法，则该线程将会被自己阻塞，原因是在调用 tryAcquire(int acquires) 方法时会返回 false，从而导致线程阻塞

synchronize 关键字隐式的支持重进入，比如一个 synchronize 修饰的递归方法，在方法执行时，执行线程在获取锁之后仍能连续多次地获得该锁。ReentrantLock 虽然不能像 synchronize 关键字一样支持隐式的重进入，但在调用 lock() 方法时，已经获得锁的线程，能够再次调用 lock() 方法获取锁而不被阻塞

1. 实现重进入

重进入特性的实现需要解决以下两个问题：

• 线程再次获取锁

  锁需要去识别获取锁的线程是否为当前占据锁的线程，如果是，则再次成功获取

• 锁的最终释放

  线程重复 n 次获取锁，随后在第 n 次释放该锁后，其他线程能获取到锁。实现此功能，理应考虑使用计数

ReentrantLock 通过组合自定义同步器来实现锁的获取与释放，以非公平锁实现为例，获取同步状态的代码如下所示，主要是增加了再次获取同步状态的处理逻辑

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()) {
        // 将同步值进行增加，并返回 true
        int nextc = c + acquires;
        if (nextc < 0)
            throw new Error("Maximum lock count exceeded");
        setState(nextc);
        return true;
    }
    return false;
}

考虑到成功获取锁的线程再次获取锁，只是增加同步状态值，这也就要求 ReentrantLock 在释放同步状态时减少同步状态值，该方法代码如下：

protected final boolean tryRelease(int releases) {
    // 减少状态值
    int c = getState() - releases;
    if (Thread.currentThread() != getExclusiveOwnerThread())
        throw new IllegalMonitorStateException();
    boolean free = false;
    // 当同步状态为0，将占有线程设为null，并返回true，表示释放成功
    if (c == 0) {
        free = true;
        setExclusiveOwnerThread(null);
    }
    setState(c);
    return free;
}

2. 公平与非公平获取锁的区别

如果一个锁是公平的，那么锁的获取顺序就应该符合请求的绝对时间顺序，也即 FIFO。回顾上一节，非公平锁只要 CAS 设置同步状态成功，即表示当前线程获取了锁，而公平锁则不同，代码如下：

protected final boolean tryAcquire(int acquires) {
    final Thread current = Thread.currentThread();
    int c = getState();
    if (c == 0) {
        /*
         * 唯一不同的就是判断条件多了 hasQueuedPredecessors()
         * 该方法用来判断当前节点是否有前驱节点
         * 如果该方法返回 true，表示有线程比当前线程更早请求获取锁
         * 因此需要等待前驱线程释放锁之后才能继续获取锁
         */
        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;
}

读写锁

之前提到的锁基本都是排它锁，同一时刻只允许一个线程访问，而读写锁在同一时刻可以允许多个线程访问，但在写线程访问时，所有的读线程和其他写线程均被阻塞。读写锁维护了一对锁，一个读锁和一个写锁，通过分离读锁和写锁，使得并发性相比一般的排它锁有了很大提升

1. 接口示例

下面通过缓存示例说明读写锁的使用方式

public class Cache {

    static Map<String, Object> map = new HashMap<>();
    static ReentrantReadWriteLock rwl = new ReentrantReadWriteLock();
    static Lock r = rwl.readLock();
    static Lock w = rwl.writeLock();

    /**
     * 获取一个 key 对应的 value
     */
    public static Object get(String key) {
        r.lock();
        try {
            return map.get(key);
        } finally {
            r.unlock();
        }
    }

    /**
     * 设置 key 对应的 value，并返回旧的 value
     */
    public static Object put(String key, Object value) {
        w.lock();
        try {
            return map.put(key, value);
        } finally {
            w.unlock();
        }
    }

    /**
     * 清空所有的内容
     */
    public static void clear() {
        w.lock();
        try {
            map.clear();
        } finally {
            w.unlock();
        }
    }
}

2. 读写状态的设计

读写锁同样依赖自定义同步器来实现功能，而读写状态就是其同步器状态。读写锁的自定义同步器需要在同步状态（一个整型变量）上维护多个读线程和一个写线程的状态，为此需要读写锁将变量切分成两部分，高 16 位表示读，低 16 位表示写

上图表示一个线程已经获取了写锁，且重进入了两次，同时也连续两次获取了读锁。通过位运算可以迅速确定读和写各自的状态，假设当前同步状态值为 S，则：

• 写状态等于 S & 0x0000FFFF（将高 16 位全部抹去）
• 读状态等于 S >>> 16（无符号右移 16 位）
• 当写状态增加 1 时，等于 S + 1
• 当读状态增加 1 时，等于 S + (1<<6)，也就是 S + 0x00010000

根据状态的划分能得出一个结论：S 不等于 0 时，当写状态（S & 0x0000FFFF）等于 0 时，则读状态（S >>> 16）大于 0，即读锁已被获取

3. 写锁的获取与释放

写锁是一个支持重进入的排它锁。如果当前线程已经获取了写锁，则增加写状态。如果当前线程在获取写锁时，读锁已被获取，或者该线程不是获取写锁的线程，则当前线程进入等待状态，获取写锁的代码如下：

protected final boolean tryAcquire(int acquires) {
    Thread current = Thread.currentThread();
    int c = getState();
    // exclusiveCount 方法会用 c & 0x0000FFFF，即得出写状态个数
    int w = exclusiveCount(c);
    if (c != 0) {
        // 根据上面提到的推论，c 不等于 0，而 w 等于 0，证明存在读锁
        // 当前线程也不是获取了写锁的线程
        if (w == 0 || current != getExclusiveOwnerThread())
            return false;
        if (w + exclusiveCount(acquires) > MAX_COUNT)
            throw new Error("Maximum lock count exceeded");
        setState(c + acquires);
        return true;
    }
    if (writerShouldBlock() || !compareAndSetState(c, c + acquires))
        return false;
    setExclusiveOwnerThread(current);
    return true;
}

写锁的每次释放均会减少写状态，当写状态为 0 时表示写锁已被释放，从而等待的读写线程能够继续访问读写锁，同时前次写线程的修改对后续读写线程可见

4. 读锁的获取与释放

读锁是一个支持重进入的共享锁，它能被多个线程同时获取，在没有其他写线程访问时，读锁总能被成功获取，这里对获取读锁的代码做了简化：

protected final int tryAcquireShared(int unused) {

    for(;;) {
        int c = getState();
        int nextc = c + (1<<16);
        if(nextc < c) {
            throw new Error("Maximum lock count exceeded");
        }
        // 如果其他线程已经获取写锁，则读取获取失败
        if(exclusiveCount(c) != 0 && owner != Thread.currentThread()) {
            return -1;
        }
        if(compareAndSetState(c, nextc)) {
            return 1;
        }
    }
}

读锁的每次释放均减少读状态，减少的值是 1<<16

5. 锁降级

锁降级指的是写锁降级成为读锁。如果当前线程拥有写锁，然后将其释放，最后再获取读锁，这种分段完成的过程不能称之为锁降级。锁降级是指把持住写锁，再获取读锁，随后释放写锁的过程

public void processData() {
    readLock.lock();
    if(!update) {
        // 必须先释放读锁
        readLock.unlock();
        // 锁降级从写锁获取到开始
        writeLock.lock();
        try {
			if(!update) {
                // 准备数据的流程（略）
                update = true;
            }
            readLock.lock();
        } finally {
            writeLock.unlock();
        }
    }
    try {
        // 使用数据的流程（略）
    } finally {
        readLock.unlock();
    }
}

上例中，当数据发生变更，则 update（使用 volatile 修饰）被设置为 false，此时所有访问 processData 方法的线程都能感知到变化，但只有一个线程能获取到写锁，其余线程会被阻塞在写锁的 lock 方法上。当前线程获取写锁完成数据准备之后，再次获取读锁，随后释放写锁，完成锁降级