手撕Linux信号量（从古老的PV原语到现代内核，极致简洁的同步美学）

二、经典的PV操作原语

PV操作是信号量的灵魂。在内核编程中，这些操作必须是原子的，即不可被中断。这种原子性保证了即使在多核 CPU 环境下，资源计数也不会出现逻辑错误。

// 伪代码展示PV逻辑void P(Semaphore s) {    disable_interrupts(); // 关中断，保证原子性    while (s.count <= 0) {        add_to_wait_queue(s.queue);        sleep();    }    s.count--;    enable_interrupts();}void V(Semaphore s) {    disable_interrupts();    s.count++;    if (!empty(s.queue)) {        wakeup_next(s.queue);    }    enable_interrupts();}

三、Linux内核中的信号量实现

在现代 Linux 内核中，信号量的结构体定义在 <linux/semaphore.h> 中。相比于互斥锁（Mutex），Linux信号量允许指定多个线程同时进入临界区，这在处理如“连接池”或“限流”场景时非常有用。

常用的内核 API 包括：

• sema_init(struct semaphore *sem, int val); - 初始化信号量
• down(&struct semaphore *sem); - 相当于 P 操作（可能引起睡眠）
• up(&struct semaphore *sem); - 相当于 V 操作

四、实战建议与总结

虽然信号量功能强大，但在现代开发中，如果资源数量仅为 1，建议优先使用 Mutex，因为 Mutex 拥有更好的优先级反转保护和调试支持。然而，掌握进程同步的基本功——信号量，是理解更高级并发模型的基础。