Linux 内核 BPF 验证器深度工程实战：从静态分析引擎到推测执行漏洞防御
从源码级深入剖析BPF Verifier核心机制：控制流图验证、寄存器状态追踪与taint分析、边界检查与溢出检测、循环处理与有界循环、以及针对推测执行侧信道攻击（Spectre）的防护实现。结合Linux 6.6 LTS内核源码和真实eBPF编程案例，全面解析eBPF安全加载器的设计哲学与工程实践。
Spectre
Linux 内核推测执行漏洞缓解的工程实践：从 Spectre 到 Downfall
深入剖析Linux内核对全系列推测执行漏洞（Spectre v1/v2/v4、Meltdown、MDS、L1TF、Downfall）的缓解机制，从内核源码级别解析KPTI、Retpoline、array_index_nospec、SSBD等防御原理，并提供生产环境性能开销实测数据与决策树
Linux 内核 PTI 与 Meltdown/Spectre 硬件漏洞深度剖析
深入剖析现代处理器推测执行架构的安全隐患，完整还原Meltdown(CVE-2017-5754)与Spectre V1/V2(CVE-2017-5753/5715)漏洞的硬件级根因，详解Linux内核KPTI(Kernel Page Table Isolation)的实现原理与性能影响，以及后KPTI时代的硬件安全范式转变。
Linux内核Core Scheduling：SMT安全域与侧信道深度防御
深入解析Linux内核Core Scheduling机制，从SMT/Hyper-Threading安全隐患出发，详解Cookie信任模型、调度器决策流程、生产部署模式及其与硬件缓解措施的交互，为多租户云原生环境提供SMT级别的侧信道防御深度指南。
CPU 推测执行与瞬态执行攻击：从 Meltdown 到 Spectre 的处理器安全攻防演进
深入分析现代 CPU 推测执行机制及其衍生的瞬态执行安全漏洞，从微架构层面解析 Spectre v1/v2/v3（Meltdown）/v4 的攻击原理与防御演化，覆盖分支预测器毒化、瞬态执行窗口利用、微架构侧信道构建，结合 Linux 内核 KPTI、poline、eIBRS 等防御方案进行深度工程实战分析。
CPU 推测执行与瞬态执行攻击：从 Meltdown 到 Spectre 的处理器安全攻防演进
本文深入分析现代 CPU 推测执行机制及其衍生的瞬态执行安全漏洞，从处理器微架构层面解析 Spectre v1/v2/v3（Meltdown）/v4 的攻击原理与防御演化，覆盖分支预测器毒化、瞬态执行窗口利用、微架构侧信道构建，并结合 Linux 内核 KPTI、poline、eIBRS 等防御方案进行深度工程实战分析。
深入理解 CPU 分支预测器——从 Tournament Predictor 到 TAGE 的推测执行安全实战
现代CPU分支预测器深度技术长文：从2-bit饱和计数器到TAGE-SC-L的完整演进，涵盖局部历史/全局历史/混合预测器/Tagged几何级数预测器/间接跳转ITTAGE/返回栈缓存RSB的硬件实现，以及Spectre-v1/v2、Meltdown的微架构攻击面与Linux内核KPTI/Retpoline/IBRS/eIBRS/SpecBHB工程缓解实践
