读写锁原理：语义、公平性与实现

读写锁（Read-Write Lock）是并发控制中一种精细化的同步原语，它区分了“读”与“写”两种操作，允许多个读者同时访问共享资源，但写者必须独占访问。这种机制在“读多写少”的场景下，能显著提升并发性能，是内核与高性能中间件中不可或缺的基石。

读写锁的语义与状态机

读写锁的核心语义可以用一个简单的状态机来概括。锁的持有状态分为三种：空闲、读锁定、写锁定。

公平性与写饥饿问题

读写锁的语义虽然清晰，但在实际调度中，公平性是一个必须正视的问题。如果设计不当，写者可能被源源不断的读者“饿死”。

读写锁在内核中的实现

Linux 内核提供了多种读写锁实现，以适应不同上下文（进程上下文 vs 中断上下文）和性能要求。

1. 经典读写自旋锁 (rwlock_t)

适用于短临界区，不允许睡眠。读者和写者通过原子操作竞争一个 32 位计数器。

// 内核源码: include/linux/rwlock_types.h
typedef struct {
    arch_rwlock_t raw_lock;
} rwlock_t;

// 使用示例
rwlock_t my_rwlock;
rwlock_init(&my_rwlock);

read_lock(&my_rwlock);   // 读者获取锁
// ... 读临界区 ...
read_unlock(&my_rwlock);

write_lock(&my_rwlock);  // 写者获取锁
// ... 写临界区 ...
write_unlock(&my_rwlock);

2. 读写信号量 (struct rw_semaphore)

适用于长临界区，允许写者睡眠等待。内核中广泛用于文件系统和内存管理。

// 内核源码: include/linux/rwsem.h
struct rw_semaphore {
    atomic_long_t count;
    struct list_head wait_list;
    // ...
};

// 使用示例
struct rw_semaphore my_rwsem;
init_rwsem(&my_rwsem);

down_read(&my_rwsem);   // 读者获取锁（可睡眠）
// ... 读临界区 ...
up_read(&my_rwsem);

down_write(&my_rwsem);  // 写者获取锁（可睡眠）
// ... 写临界区 ...
up_write(&my_rwsem);

3. RCU (Read-Copy-Update)

一种无锁的读端同步机制，读者几乎无开销，写者通过“发布-订阅”和“宽限期回收”实现更新。这是本课程后续章节的核心内容。

读写锁在用户态的实现

用户态程序通常通过 POSIX 线程库（pthreads）使用读写锁。其实现依赖于内核的 futex 机制，在无竞争时通过原子操作完成，有竞争时陷入内核睡眠。

// POSIX 读写锁示例
#include <pthread.h>

pthread_rwlock_t rwlock = PTHREAD_RWLOCK_INITIALIZER;

void reader_thread() {
    pthread_rwlock_rdlock(&rwlock);
    // 读取共享数据
    pthread_rwlock_unlock(&rwlock);
}

void writer_thread() {
    pthread_rwlock_wrlock(&rwlock);
    // 修改共享数据
    pthread_rwlock_unlock(&rwlock);
}

下表对比了内核态与用户态读写锁的关键差异：

读写锁 vs RCU：一个初步的对比

在进入 RCU 的深入学习之前，先建立一个宏观对比，有助于理解为什么 RCU 在某些场景下能取代读写锁。