Linux内核同步原语：信号量机制详解-优快云博客

本文链接：https://blog.youkuaiyun.com/gitblog_00258/article/details/148464346

Linux内核同步原语：信号量机制详解

linux-insides-zh Linux 内核揭秘项目地址: https://gitcode.com/gh_mirrors/li/linux-insides-zh

前言

在Linux内核开发中，同步原语是确保多线程和多处理器环境下数据一致性的关键工具。本文将深入探讨Linux内核中的信号量机制，这是继自旋锁之后另一种重要的同步机制。我们将从理论基础到具体实现，全面解析信号量的工作原理和使用场景。

信号量基础概念

什么是信号量？

信号量是一种用于进程或线程同步的机制，由荷兰计算机科学家Edsger Dijkstra在1965年提出。与自旋锁不同，信号量允许等待的进程进入睡眠状态，这在需要长时间持有锁的场景下特别有用。

信号量的类型

二值信号量：值只能是0或1，相当于互斥锁
计数信号量：值可以是任意非负整数，允许多个进程同时访问资源

信号量与自旋锁的比较

| 特性 | 自旋锁 | 信号量 | |-------------|----------------------|----------------------| | 等待方式 | 忙等待 | 睡眠等待 | | 持有时间 | 非常短 | 可较长 | | 上下文切换 | 不允许 | 允许 | | 适用场景 | 临界区执行时间极短 | 临界区执行时间较长 |

Linux内核中的信号量实现

信号量数据结构

Linux内核中信号量由struct semaphore表示：

struct semaphore {
    raw_spinlock_t      lock;      // 保护信号量的自旋锁
    unsigned int        count;     // 可用资源计数
    struct list_head    wait_list; // 等待队列
};

信号量初始化

内核提供了两种初始化信号量的方式：

静态初始化：

DEFINE_SEMAPHORE(name); // 初始化二值信号量

动态初始化：

struct semaphore sem;
sema_init(&sem, count); // 初始化计数信号量

信号量操作API

Linux内核提供了一组丰富的信号量操作函数：

基本操作：
- down() - 获取信号量，不可中断
- up() - 释放信号量
可中断版本：
- down_interruptible() - 可被信号中断
- down_killable() - 只能被致命信号中断
非阻塞版本：
- down_trylock() - 尝试获取信号量，失败立即返回
超时版本：
- down_timeout() - 带超时限制的获取操作

信号量工作原理详解

获取信号量(down)流程

首先获取保护信号量的自旋锁
检查count值：
- 如果count>0，减少count并获取锁
- 如果count=0，将当前任务加入等待队列并进入睡眠
释放自旋锁

释放信号量(up)流程

获取保护信号量的自旋锁
检查等待队列：
- 如果队列为空，增加count值
- 如果队列非空，唤醒队列中的第一个任务
释放自旋锁

等待队列处理

当信号量不可用时，任务会被加入到等待队列中。内核使用struct semaphore_waiter来表示等待者：

struct semaphore_waiter {
    struct list_head list;    // 链表节点
    struct task_struct *task; // 等待的任务
    bool up;                 // 是否被唤醒
};

实际应用场景

设备驱动：当设备需要处理较长时间的I/O操作时
文件系统：文件读写操作的同步
内存管理：页面分配时的资源控制
网络协议栈：套接字缓冲区的管理

性能考量

上下文切换开销：信号量会导致任务睡眠和唤醒，带来上下文切换开销
缓存效应：睡眠的任务再次运行时可能面临缓存失效
适用场景：仅在确实需要长时间持有时使用信号量，短时间操作应使用自旋锁

总结

信号量是Linux内核中重要的同步机制，特别适合需要长时间持有锁的场景。通过允许等待的任务进入睡眠状态，信号量避免了忙等待带来的CPU资源浪费。理解信号量的工作原理和适用场景，对于开发高效、可靠的内核代码至关重要。

在下一篇文章中，我们将探讨Linux内核中的另一种同步原语——互斥量(mutex)，它与信号量有着相似之处但也有重要的区别。

linux-insides-zh Linux 内核揭秘项目地址: https://gitcode.com/gh_mirrors/li/linux-insides-zh

创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考