一、 锁的“生死”哲学睡眠锁 vs 非睡眠锁在 Linux 内核中所有的同步原语都可以归为这两大阵营。它们的根本区别在于当拿不到锁时CPU 是在“原地打转”还是“倒头就睡”。1. 非睡眠锁自旋锁 (Spinlock)行为如果锁被占用CPU 会进入一个死循环自旋不停地查看锁是否被释放。代价极高。它会 100% 占用该核的运算能力且不释放 CPU。适用场景临界区极短微秒级或者在中断上下文中因为中断里绝对不能休眠。2. 睡眠锁信号量 (Semaphore) 与 互斥锁 (Mutex)行为如果锁被占用当前进程会被放入一个等待队列然后触发调度器把 CPU 让给别的程序跑。当锁释放时再被唤醒。代价上下文切换的开销。保存寄存器、切换堆栈、刷新部分缓存这需要几微秒甚至更久。适用场景临界区较长比如等待磁盘 I/O、等待内存分配。二、 多核处理器如何有序处理不同程序Linux 并不是把所有程序揉在一起处理而是采用了**“分而治之”**的策略。1. 每个 CPU 的私有账本RunqueueLinux 内核为每个 CPU 核心维护一个独立的运行队列 (Runqueue)。负载均衡 (Load Balancing)内核会定期检查如果 CPU 0 忙得要命CPU 1 却在偷懒内核会启动“任务迁移”把进程从 CPU 0 挪到 CPU 1。亲和性 (Affinity)为了性能内核倾向于让同一个进程一直跑在同一个 CPU 上因为这样它的 Cache 才是“热”的。2. 调度器 (Scheduler)现代 Linux 使用EEVDF最近取代了 CFS调度算法。它根据任务的优先级和虚拟运行时间精确决定下一个微秒该轮到谁跑。三、 CPU 缓存与同步数据是如何“流”过去的这是你关心的最底层硬件逻辑。是的每个 CPU 都有自己的缓存。1. 缓存层级 (Cache Hierarchy)L1/L2 Cache通常是每个核心独有的。L3 Cache通常是所有核心共享的。主内存离 CPU 最远速度最慢。2. 同步的真相MESI 协议当 CPU 0 修改了某个变量而 CPU 1 的缓存里也有这个变量时硬件是如何同步的这依赖于MESI 状态机M (Modified, 已修改)只有我有且我改了还没写回内存。E (Exclusive, 独占)只有我有但我还没改跟内存里一样。S (Shared, 共享)大家都有都没改。I (Invalid, 无效)别家用这个数据了且改了我手里的数据是垃圾。同步流程示例CPU 0想改变量x它发出一个“我要写”的信号给总线。监听 (Snooping)CPU 1的缓存控制器一直在“嗅探”总线。它听到 CPU 0 要改x立刻把自己缓存里的x标记为Invalid (无效)。原子操作CPU 0 将x改为新值标记为Modified。读取同步如果 CPU 1 随后要读x它发现自己的缓存无效了于是通过总线向 CPU 0 索要最新的值。四、 内存一致性与“锁”的联姻最后我们要把软件的锁和硬件的 Cache 联系起来。当你执行spin_lock时底层其实是在操作一个原子变量。由于原子指令会触发Cache 一致性流量迫使其他 CPU 丢弃该缓存行所有尝试拿锁的 CPU 实际上都在盯着同一块内存区域。谁的 Cache 控制器先在总线上“抢”到了所有权谁就拿到了锁。内存屏障 (Memory Barrier)锁指令还会告诉 CPU在锁住之前所有的写操作必须完成在放锁之后后续读操作才能开始。这保证了多核之间看到的执行顺序是一致的。总结自旋锁是给“快活”准备的睡眠锁是给“重活”准备的。调度器通过给每个 CPU 发任务清单来保持有序。硬件通过 MESI 协议利用总线嗅探技术让多个 CPU 的 Cache 保持最终一致。
Linux内核锁机制：自旋与睡眠的智慧
发布时间：2026/5/28 9:39:46
一、 锁的“生死”哲学睡眠锁 vs 非睡眠锁在 Linux 内核中所有的同步原语都可以归为这两大阵营。它们的根本区别在于当拿不到锁时CPU 是在“原地打转”还是“倒头就睡”。1. 非睡眠锁自旋锁 (Spinlock)行为如果锁被占用CPU 会进入一个死循环自旋不停地查看锁是否被释放。代价极高。它会 100% 占用该核的运算能力且不释放 CPU。适用场景临界区极短微秒级或者在中断上下文中因为中断里绝对不能休眠。2. 睡眠锁信号量 (Semaphore) 与 互斥锁 (Mutex)行为如果锁被占用当前进程会被放入一个等待队列然后触发调度器把 CPU 让给别的程序跑。当锁释放时再被唤醒。代价上下文切换的开销。保存寄存器、切换堆栈、刷新部分缓存这需要几微秒甚至更久。适用场景临界区较长比如等待磁盘 I/O、等待内存分配。二、 多核处理器如何有序处理不同程序Linux 并不是把所有程序揉在一起处理而是采用了**“分而治之”**的策略。1. 每个 CPU 的私有账本RunqueueLinux 内核为每个 CPU 核心维护一个独立的运行队列 (Runqueue)。负载均衡 (Load Balancing)内核会定期检查如果 CPU 0 忙得要命CPU 1 却在偷懒内核会启动“任务迁移”把进程从 CPU 0 挪到 CPU 1。亲和性 (Affinity)为了性能内核倾向于让同一个进程一直跑在同一个 CPU 上因为这样它的 Cache 才是“热”的。2. 调度器 (Scheduler)现代 Linux 使用EEVDF最近取代了 CFS调度算法。它根据任务的优先级和虚拟运行时间精确决定下一个微秒该轮到谁跑。三、 CPU 缓存与同步数据是如何“流”过去的这是你关心的最底层硬件逻辑。是的每个 CPU 都有自己的缓存。1. 缓存层级 (Cache Hierarchy)L1/L2 Cache通常是每个核心独有的。L3 Cache通常是所有核心共享的。主内存离 CPU 最远速度最慢。2. 同步的真相MESI 协议当 CPU 0 修改了某个变量而 CPU 1 的缓存里也有这个变量时硬件是如何同步的这依赖于MESI 状态机M (Modified, 已修改)只有我有且我改了还没写回内存。E (Exclusive, 独占)只有我有但我还没改跟内存里一样。S (Shared, 共享)大家都有都没改。I (Invalid, 无效)别家用这个数据了且改了我手里的数据是垃圾。同步流程示例CPU 0想改变量x它发出一个“我要写”的信号给总线。监听 (Snooping)CPU 1的缓存控制器一直在“嗅探”总线。它听到 CPU 0 要改x立刻把自己缓存里的x标记为Invalid (无效)。原子操作CPU 0 将x改为新值标记为Modified。读取同步如果 CPU 1 随后要读x它发现自己的缓存无效了于是通过总线向 CPU 0 索要最新的值。四、 内存一致性与“锁”的联姻最后我们要把软件的锁和硬件的 Cache 联系起来。当你执行spin_lock时底层其实是在操作一个原子变量。由于原子指令会触发Cache 一致性流量迫使其他 CPU 丢弃该缓存行所有尝试拿锁的 CPU 实际上都在盯着同一块内存区域。谁的 Cache 控制器先在总线上“抢”到了所有权谁就拿到了锁。内存屏障 (Memory Barrier)锁指令还会告诉 CPU在锁住之前所有的写操作必须完成在放锁之后后续读操作才能开始。这保证了多核之间看到的执行顺序是一致的。总结自旋锁是给“快活”准备的睡眠锁是给“重活”准备的。调度器通过给每个 CPU 发任务清单来保持有序。硬件通过 MESI 协议利用总线嗅探技术让多个 CPU 的 Cache 保持最终一致。
