Concurrency

Linux 内核 per-CPU 变量与缓存行优化深度实战:从 MESI 协议到伪共享消除与性能量化

深入解析 Linux 内核 per-CPU 变量的完整实现机制。从 MESI 缓存一致性协议原理出发,彻底讲清伪共享的硬件成因和量化影响,详解 DEFINE_PER_CPU / get_cpu_var / alloc_perCPU 等核心 API 的使用场景与语义保证。通过 AMD EPYC 256 核平台的真实基准测试数据,揭示缓存行对齐在多核并发下的巨大性能收益。涵盖 SLUB 分配器 per-CPU 缓存、网络栈 RX 统计、CPU 热插拔、NUMA 感知分配等实战案例,并总结 per-CPU 变量最佳实践。

OCaml 5 多核运行时深度工程实战:从 Domain/Fiber 与 Effect Handler、无读屏障内存模型到并发 Major GC

沿 OCaml 5 运行时链路逐层拆解:Domain/Fiber 两级并发、无读屏障的 DRF-SC 内存模型与写屏障、per-domain minor heap 与 STW 小收集、major heap 并发标记与备份线程、tagged int 与扁平 float array 的值表示、effect handler 与 GC 的隐式耦合,最后给出可落地的生产调优清单。

Linux 内核 RCU(Read-Copy-Update)机制深度剖析:从宽限期管理到无锁数据结构的完整工程实践

深度解析 Linux 内核 RCU 同步机制:从经典 RCU、Tree RCU 到 Sleepable RCU 的演进路线,完整剖析宽限期(Grace Period)管理、内存屏障协议、发布-订阅语义、QSBR 用户态实现(liburcu),并给出链表、Hash 表、idae 指针等典型无锁数据结构的设计模式与实战案例。