手撕Linux信号量：从古老的PV原语到现代内核

2. Linux内核中的信号量实现

在Linux信号量的内核实现中，核心数据结构是struct semaphore，定义在中。它包含三个关键成员：原子变量count（记录信号量值）、等待队列wait_list以及一个自旋锁用于保护队列操作。主要接口函数有：

• sema_init(struct semaphore *sem, int val)：初始化信号量并设置初始值。
• down(struct semaphore *sem)：执行P操作，如果信号量值为0，当前进程进入不可中断睡眠。
• down_interruptible(struct semaphore *sem)：P操作的可中断版本，允许被信号唤醒。
• up(struct semaphore *sem)：执行V操作，释放信号量并唤醒等待进程。

这些函数内部通过原子操作和等待队列机制保证了PV原语的原子性，体现了内核同步的精髓。例如，当多个进程同时调用down时，只有第一个能成功减小count，其余都会安全地加入等待队列。

3. 信号量使用示例

下面是一个简单的内核模块片段，展示如何使用信号量保护一个全局计数器：

#include #include static struct semaphore my_sem;static int counter = 0;void worker_function(void){    down(&my_sem);  // P操作    counter++;      // 临界区    up(&my_sem);    // V操作}static int __init my_init(void){    sema_init(&my_sem, 1);  // 初始值为1，用于互斥    return 0;}module_init(my_init);

这个例子中，信号量my_sem确保counter的修改是原子的，避免了竞争条件。

4. 信号量的简洁美学与现代演进

信号量的魅力在于用一个整数和两个原子操作就解决了复杂的同步问题，这种极简设计影响了后续的许多同步机制。在Linux现代内核中，虽然引入了更高效的mutex、completion和RCU等，但信号量依然在需要计数型同步的场景（如管理有限资源）中发挥作用。理解信号量，就等于掌握了并发编程的基石，能帮助你更好地驾驭多线程/进程环境。

5. 总结

从Dijkstra的PV原语到Linux内核的精密实现，信号量始终散发着简洁而强大的美学光芒。无论是初学操作系统的学生，还是深耕内核的开发者，都能从中受益。希望这篇文章能帮你理清Linux信号量的脉络，体会到同步工具背后的设计哲学。