缓存一致性

CPU缓存一致性与内存模型深度实战:从MESI协议到Linux内核内存屏障的全链路解析

从多核CPU缓存架构出发,深入解析MESI/MOESI缓存一致性协议、StoreBuffer与InvalidateQueue硬件优化引入的内存重排问题、C11六种内存序、Linux内核smp_mb/smp_rmb/smp_wmb实现原理,以及这些底层机制如何支撑前文所述的Spinlock/RCU/SeqLock等同步原语。全链路打通从晶体管到系统调用的完整知识链。

用 Rust 从零构建 RISC-V 缓存一致性协议模拟器:TileLink UC 协议状态机与多核事务实战

从零用 Rust 实现 RISC-V TileLink Uncached (UC) 协议缓存一致性模拟器:完整覆盖 MOESI 状态机建模、TileLink 通道拓扑、Acquire/Grant 事务、脏数据转发、DFS 死锁检测、多核 stress test、不变量检查器与 RVWMO litmus test 对照,附带全部可运行代码与生产级工程反思。

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

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