Java资源读写锁实现疑问：多线程并发场景下的概念性问题

嘿，我完全懂你遇到的这个问题——这绝对是读写锁初次实现时最容易踩的坑之一！你说的核心问题在于：你的读锁逻辑可能把读操作也变成了串行执行，而没有真正实现“多读共享”的特性。

常见的错误根源 #

通常新手实现读写锁时会犯这几个错：

• 用单一互斥量全程保护读操作：比如每次读都把整个读过程锁起来，导致同一时间只能有一个线程读，完全违背了读写锁的设计初衷。
• 没有正确管理读者计数：读锁的关键是“允许多个读者同时持有读锁，但要确保写锁获取时没有任何读者在操作”，如果你的计数逻辑不对，要么串行读，要么会出现读写同时进行的问题。
• 忽略了“第一个读者加写锁，最后一个读者释放写锁”的逻辑：这是实现多读并行的核心——第一个读者要阻止写操作，之后的读者只需要累加计数，不需要再阻塞写操作，直到最后一个读者离开才释放对写操作的阻塞。

修正后的读写锁实现思路（以C++为例） #

下面是一个能正确支持多读并行的读写锁实现，我会一步步解释逻辑：

#include <mutex>
#include <condition_variable>

class ReadWriteLock {
private:
    std::mutex mtx;               // 保护内部状态的互斥量
    std::condition_variable cv;   // 用于等待锁的条件变量
    int active_readers = 0;       // 当前活跃的读者数量
    bool active_writer = false;   // 是否有活跃的写者

public:
    // 获取读锁
    void lock_read() {
        std::unique_lock<std::mutex> lock(mtx);
        // 等待没有活跃写者才能进入读操作
        cv.wait(lock, [this]() { return !active_writer; });
        // 增加活跃读者计数
        active_readers++;
        // 这里释放了unique_lock，其他读者可以进来了！
    }

    // 释放读锁
    void unlock_read() {
        std::unique_lock<std::mutex> lock(mtx);
        active_readers--;
        // 如果是最后一个读者，唤醒等待的写者
        if (active_readers == 0) {
            cv.notify_one();
        }
    }

    // 获取写锁
    void lock_write() {
        std::unique_lock<std::mutex> lock(mtx);
        // 必须等所有读者离开，且没有活跃写者才能获取写锁
        cv.wait(lock, [this]() { return active_readers == 0 && !active_writer; });
        active_writer = true;
    }

    // 释放写锁
    void unlock_write() {
        std::unique_lock<std::mutex> lock(mtx);
        active_writer = false;
        // 唤醒所有等待的线程（读者和写者都能被唤醒）
        cv.notify_all();
    }
};

关键逻辑解释 #

1. 读锁的并行性：当第一个读者获取读锁时，它会等待写操作结束，然后增加读者计数，接着就释放了保护内部状态的互斥量——这意味着后续的读者可以直接进入（只要没有活跃写者），多个读者能同时执行读操作。
2. 写锁的独占性：写者必须等到所有读者都离开，且没有其他写者在操作，才能获取写锁，确保写操作是完全独占的。
3. 状态同步：用互斥量保护active_readers和active_writer的修改，用条件变量处理等待和唤醒逻辑，避免忙等。

额外注意点 #

• 上面的实现是读优先的：如果一直有读者不断进来，写者可能会一直饥饿。如果需要写优先，可以调整lock_read中的等待条件，比如当有写者等待时，新读者要等写者完成。
• 记得在实际使用时，用RAII风格的锁（比如封装成std::lock_guard的变体），避免忘记解锁导致死锁。

内容的提问来源于stack exchange，提问作者Jan Parzydło