无锁数据结构

深究内存屏障与缓存一致性:从 MESI 协议到无锁数据结构的全链路实战

从 CPU 缓存架构出发,深入解析 MESI/MOESI 缓存一致性协议、Store Buffer 与 Invalidate Queue 的微观行为、各类内存屏障(rmb/wmb/mb/smp_mb)的精确语义、伪共享的检测与消除、以及基于内存顺序(memory_order)的无锁队列、环形缓冲区、引用计数的工程化实战。文章涵盖 Linux 内核 spinlock/rcu 中的应用、perfevent 检测工具、10+ 生产级代码示例。

Linux内核缓存一致性与内存屏障深度实战:从MESI协议到RCU与eBPF的无锁工程艺术

深入剖析Linux内核缓存一致性与内存屏障:从MESI缓存一致性协议到store buffer/invalidate queue的硬件原理,解析四种SMP屏障语义与release/acquire模型,实战精讲RCU链表操作、eBPF Ring Buffer无锁队列、网卡DMA描述符、crypto引擎等子系统的屏障使用,附常见错误模式与KCSAN检测案例。

Linux内核RCU深度实战:从宽限期机制到生产级无锁读取

RCU(Read-Copy-Update)是Linux内核中最精妙的同步机制之一,它能让读取端实现真正的零开销——无需原子操作、无需内存屏障、无需锁。本文从底层原理出发,深入剖析RCU的宽限期机制、内核实现、生产级使用模式以及性能优化策略。