37、Linux内核中的读写信号量：原理与实现解析

Linux内核中的读写信号量：原理与实现解析

1. 引言

在Linux内核中，同步原语是确保多进程或多线程安全访问共享资源的关键机制。此前，我们已经探讨了不同类型的自旋锁、信号量和互斥量等同步原语。本文将聚焦于一种特殊类型的同步原语——读写锁（readers–writer lock），尤其是读写信号量（reader/writer semaphore）。在深入了解其在Linux内核中的实现之前，让我们先从理论层面探究读写信号量与普通信号量的区别。

2. 读写信号量基础

对数据的操作主要分为两种：读取（read）和写入（write）。通常情况下，读取操作的执行频率高于写入操作。基于此，我们希望有一种机制能够允许多个进程同时读取锁定的数据，前提是没有进程对数据进行修改。读写锁便提供了这样的功能。

当一个进程想要写入数据时，其他所有的读写进程都会被阻塞，直到该进程释放锁。而当一个进程读取数据时，其他想要读取相同数据的进程不会被锁定，可以同时进行读取操作。读写信号量的实现基于普通信号量，下面我们来看看它在Linux内核中的表示方式。

普通信号量的结构定义如下：

struct semaphore { raw_spinlock_t lock; unsigned int count; struct list_head wait_list; };

而读写信号量在include/linux/rwsem.h头文件中定义，其结构如下：