现代CPU设计为了追求极致性能，采用了分支预测和推测执行等复杂机制。这些优化看似让计算机运行更快，却也在底层埋下了安全隐患。2017年发现的Spectre和Meltdown漏洞，彻底打破了人们对硬件隔离的信任，揭示了计算机系统设计中安全与性能之间的深层矛盾。
智能速览
超标量处理器依赖分支预测和推测执行提升性能
Spectre和Meltdown漏洞可跨越进程和虚拟机边界读取内存
漏洞导致Linux性能下降5-30%，云服务影响最大
Intel的微码补丁方案被Linus Torvalds斥为’垃圾’
这些漏洞无法从硬件层面彻底根除
2018年1月被迫公开前，厂商经历了7个月的静默修复期
精华内容
看似严谨的计算机系统，为何会出现如此严重的安全漏洞？答案藏在现代CPU为了提升性能而采用的复杂机制中，正是这些优化创造了攻击者可以利用的侧信道。
漏洞成因
现代超标量处理器为了维持高指令吞吐量，采用了三个核心机制：乱序执行、分支预测和推测执行。这些机制让CPU能够提前执行可能需要的指令，但当预测错误时，虽然会撤销执行结果，但微架构状态的变化可能已经发生，留下了可被利用的痕迹。
攻击者可以利用这种特性，通过精巧的代码序列，绕过进程间的隔离保护。原本if语句保护的代码逻辑，在推测执行阶段可能被执行，进而泄露本不该访问的数据。这种攻击方式打破了操作系统和硬件建立的安全边界。
影响范围
Spectre和Meltdown的影响远超预期，它们不仅能够打破进程内隔离，甚至可以跨越虚拟机边界，直接威胁云服务的安全。这意味着在同一物理服务器上的不同租户，理论上可能读取到彼此的数据。
更严重的是，用户态程序可以直接读取内核态的所有物理内存映射，这彻底粉碎了多年来建立的权限隔离体系。对于依赖虚拟化技术的云计算服务商而言，这个漏洞的影响是灾难性的。
性能代价
修复漏洞需要付出巨大性能代价。Linux内核开发者开发了KPTI（内核页表隔离），通过隔离内核和用户空间的页表来防止攻击。根据PostgreSQL核心开发者Andres Freund的基准测试，修复补丁导致了显著的性能下降：TPS从250,000降至约150,000，损失近40%。
不同工作负载受影响程度不同，纯计算密集型任务影响较小，而涉及大量系统调用的I/O密集型应用则损失惨重。这意味着许多云服务必须增加硬件投入来维持原有性能水平。
行业震动
2017年6月，Google Project Zero的研究员Jann Horn向Intel、AMD和ARM提交了漏洞报告，但直到2018年1月3日才被迫公开。在这7个月的静默期里，各大厂商的工程师承受着巨大压力。
Linux开发者不得不对内存管理子系统进行大手术，为了掩人耳目，他们将补丁命名为’KAISER’。而Intel试图通过IBRS微码补丁将性能损耗转嫁给操作系统的做法，更是激怒了Linus Torvalds，他在邮件列表中直斥这些方案是’垃圾’。
根本困境
最令人沮丧的是，Spectre类漏洞无法从硬件层面彻底根除，除非将CPU性能倒退回90年代水平，关闭分支预测和推测执行。这意味着我们可能永远无法完全消除这类威胁。
这种安全与性能的矛盾，反映了计算机系统的根本困境：为了压榨每一分性能，系统设计变得越来越复杂，直到超出了人类完全掌控的极限。未来，我们可能需要在安全性和性能之间做出更艰难的选择。
Spectre和Meltdown漏洞事件揭示了计算机系统设计中永恒的博弈：安全与性能如何平衡？随着硬件设计日益复杂，类似的漏洞可能还会出现。我们是否应该重新审视对极致性能的追求，转而构建更加透明、可控的系统架构？这个问题值得整个行业深思。
关键评论
不用分支预测降低效率，用了分支预测导致危险，这是一个两难选择
为了应对屎山的漏洞，我们在上面又拉了一坨堵上了
摸鱼摸到真东西了
xv6 lab3的hint里提到了这两个漏洞，我说咋这么眼熟
