ReentrantReadWriteLock底层读写状态如何设计的?

ReentrantReadWriteLock 的底层设计通过状态管理来区分读锁和写锁，允许多个线程并发读操作，但在进行写操作时，必须独占对该资源的访问。以下是其底层读写状态的详细设计：

1. 内部状态

ReentrantReadWriteLock 通过一个整数状态来表示当前的读写状态。具体而言，它通常包括以下几个部分：

• 读锁计数：表示当前有多少个线程持有读锁。
• 写锁持有者：指向持有写锁的线程（如果有的话）。

2. 状态表示

ReentrantReadWriteLock 的状态通常用 int 类型的变量来表示，具体设计可以想象为：

class ReentrantReadWriteLock {
    private int readCount; // 当前持有读锁的线程数
    private Thread writer; // 持有写锁的线程
    private int writeLockCount; // 写锁的持有次数（支持重入）
}

3. 读锁的实现

• 获取读锁：在请求读锁时，系统会首先检查当前是否有线程持有写锁。如果没有持有写锁，允许增加读锁计数：

public void lockRead() {
    if (writer == null) { // 如果没有持有写锁
        readCount++; // 增加读锁计数
    } else {
        // 如果存在写锁，当前线程需要进入等待状态
        acquireQueued(); // 该线程需要阻塞等待
    }
}

• 释放读锁：当线程完成读取操作时，应减少读锁计数：

public void unlockRead() {
    if (readCount > 0) {
        readCount--; // 释放一个读锁
    }
}

4. 写锁的实现

• 获取写锁：写锁是独占的，只有当没有线程持有读锁或写锁时，线程才可以获取写锁：

public void lockWrite() {
    if (readCount == 0 && writer == null) { // 检查没有读锁和写锁持有者
        writer = Thread.currentThread(); // 设置为当前线程
        writeLockCount++; // 增加写锁计数
    } else {
        // 进入等待状态
        acquireQueued();
    }
}

• 释放写锁：释放写锁时，降低写锁计数，并设置写锁持有者为 null：

public void unlockWrite() {
    if (writer == Thread.currentThread()) {
        writeLockCount--; // 释放一个写锁
        if (writeLockCount == 0) {
            writer = null; // 如果没有重入，设置写锁持有者为 null
        }
    }
}

5. 公平与非公平的实现

对于公平模式，ReentrantReadWriteLock 会使用等待队列，确保线程按照请求的顺序获取锁。在非公平模式下，后请求的线程在写锁释放时可能会插队获取锁。

6. 条件变量

ReentrantReadWriteLock 还支持条件变量，允许线程在特定条件下等待。条件变量会与当前持有写锁的状态进行交互，以确保状态的正确性。

7. 总结

ReentrantReadWriteLock 通过维护读锁计数和写锁持有者的状态，成功实现了读写分离的机制。这种设计使得它能够高效地支持并发读操作，同时保证写操作的独占性，适合于读多写少的场景，有效提升了系统的性能。

如果你有其他问题或需要进一步探讨，请随时在评论区留言！