系统内核

Raft共识算法深度解析——从理论到工程实践

全面解析Raft共识算法的核心原理与工程实践。从问题出发,深入讲解Leader选举、日志复制、安全性保证三大子问题,覆盖PreVote、Leader Lease、Snapshot、Multi-Raft、Membership Change等工程优化,对比Raft与Paxos的优劣,并剖析etcd/TiKV/CockroachDB等生产系统实现。

深入理解 CPU 分支预测器——从 Tournament Predictor 到 TAGE 的推测执行安全实战

现代CPU分支预测器深度技术长文:从2-bit饱和计数器到TAGE-SC-L的完整演进,涵盖局部历史/全局历史/混合预测器/Tagged几何级数预测器/间接跳转ITTAGE/返回栈缓存RSB的硬件实现,以及Spectre-v1/v2、Meltdown的微架构攻击面与Linux内核KPTI/Retpoline/IBRS/eIBRS/SpecBHB工程缓解实践