评论
点赞
收藏Mimesys: 将资源使用轨迹转化为可执行工作负载
奥斯汀大学提出 Mimesys，利用扩散模型将生产环境的资源使用时序数据转化为可执行的仿真工作负载，解决隐私限制下的压力测试难题。相比传统基准测试，该方法在模拟并发性能上精度提升 2.6 倍，为系统性能评估提供了无需真实代码的新路径。
LiteSwitch：利用亚微秒级CXL内存停顿进行性能回收
CXL内存延迟高导致CPU停顿，Princeton等提出的LiteSwitch通过软硬件协同，在20纳秒内切换线程以利用这些亚微秒级的空闲周期。该方法无需修改应用即可回收高达80%的性能损失，为大规模使用CXL内存提供了可行的性能优化路径。
内核化安全操作系统KSOS回顾
USENIX 2002年回顾KSOS内核的安全操作系统设计。文章指出微软Palladium等项目在重复发明历史，如多处理、ACL和微内核架构。KSOS通过形式化验证实现A1级安全，具备可信路径等功能，早于现代Unix特性。
Duster攻击：基于流量水印与轨迹隐藏的Tor服务溯源
本文提出Duster攻击，利用Tor拥塞控制机制漏洞，通过发送特定SENDME细胞嵌入流量水印，从而将洋葱服务与其真实IP关联。 实验显示在真实Tor网络中，该攻击真阳性率超94%，误报率低于0.05%，且能隐藏痕迹不被目标察觉。
驯服不可预测性：混沌中的可靠性（SRECON 26）
Google 的 Michelle Brush 在 SRECON 26 上演讲，指出 AI 生成的代码将加速系统复杂性，传统管理方法失效。 她提出需建立严格评估、通用缓解措施及风险优先开发策略，并强调人类在应对不可预测性中的核心作用。
SPEAKE(a)R：把扬声器变麦克风，既好玩又赚钱
这篇论文介绍了一种名为SPEAKE(a)R的新型间谍软件，能利用主板音频芯片的“插孔重映射”功能，将连接在耳机接口上的耳机或耳塞悄悄变成麦克风进行窃听。实验表明，即使电脑没有麦克风或麦克风被禁用，攻击者也能在九米外清晰录制人声。 该漏洞源于现代PC音频硬件的设计特性，即扬声器和麦克风在物理原理上可逆。虽然录音质量不如专业设备，但足以满足窃听需求。文章详细分析了硬件原理、恶意软件实现方式以及防御措施，揭示了这一长期存在但鲜为人知的安全隐患。
小世界高风险：npm生态系统中的安全威胁研究
TU Darmstadt团队深入分析了npm生态的安全风险。研究发现npm具有“小世界”特性，单个包或维护者账号被攻陷可能影响数百万应用。 缺乏维护导致的遗留漏洞依然广泛存在，且npm缺乏权限隔离和系统性的代码审查机制，使得恶意注入和隐私泄露风险极高。
别急：WebAssembly 与原生代码的性能实测差距
USENIX ATC 2019 论文通过 Browsix-Wasm 环境，首次在大规模 SPEC CPU 基准测试中对比了 WebAssembly 与原生代码的性能。研究发现 Wasm 平均比原生代码慢 45%-55%，峰值慢 2-2.5 倍。 此前认为 Wasm 性能接近原生的结论主要基于小规模科学内核，缺乏完整 Unix API 支持的大应用难以评估。该研究揭示了缺失优化和 Wasm 平台固有特性是性能差距的主要原因。
最悲伤的时刻：拜占庭容错论文的荒诞与现实
微软研究员James Mickens以幽默讽刺笔触吐槽拜占庭容错论文。他指出复杂协议无法解决人为失误，如数据中心操作员打翻咖啡。文章呼吁停止发表此类脱离实际的理论，强调现实运维中人的因素比数学证明更重要。
最悲伤的时刻：分布式系统与可靠性的幻觉
微软研究员 James Mickens 以幽默讽刺的笔触，批评了分布式系统中拜占庭容错理论的过度复杂化。他认为在真实的运维环境中，人为失误和物理故障远比恶意攻击常见，复杂的加密协议无法解决“Ted 洒咖啡”这类现实问题。 文章通过生动的类比，揭示了学术界追求理论完美与工业界应对实际故障之间的巨大鸿沟，呼吁工程师关注更务实的系统可靠性方案。
可扩展性的代价是什么？
微软研究员提出COST指标，对比分布式大数据系统与单线程实现。发现许多知名系统需数百核才胜过笔记本单线程，部分甚至永远无法超越。 文章指出分布式框架常因模型限制和实现开销导致效率低下，呼吁研究应关注资源利用效率而非单纯的可扩展性。
应用能从 fsync 故障中恢复吗？
研究分析了 ext4、XFS 等文件系统及 PostgreSQL、Redis 等应用在 fsync 失败时的表现。发现尽管应用有多种处理策略，但均不足以防止数据丢失和损坏。 这一结果对设计提供强持久性保证的文件系统和应用具有重要启示。
用火烧死它：应对遗留系统（书评）
这是一篇关于《Kill It With Fire》一书的深度书评。作者认为该书重点不在于代码重构的技术细节，而是从人类学和组织心理学角度， 探讨如何处理遗留系统的现代化难题。 书中强调团队结构、SRE运维视角以及人为因素在决策中的重要性。对于管理者和技术负责人而言，这是一本提供实战经验和组织层面思考的有价值读物。 
利用STPA挖掘软件系统中的“未知未知”风险
Google SRE团队介绍如何使用STPA（系统理论过程分析）建模控制反馈回路，以发现那些符合规范但因复杂交互导致故障的“未知的未知”问题。 文章通过实际案例展示如何构建层级控制结构，帮助工程师识别潜在的系统脆弱性，并提供互动工作坊形式的实践指导。
XFT：超越崩溃容错的实用故障容忍机制
提出XFT模型，在分布式系统中结合崩溃容错与拜占庭容错。XPaxos协议在不增加副本数量的前提下，比传统Paxos提供更强的可靠性保障。 在亚马逊全球数据中心部署验证，性能接近优化版Paxos，显著优于现有拜占庭容错方案，适合广域网环境。
功能越多越不安全：非接触式支付的额外特性如何破坏安全性
USENIX Security 2025 论文揭示 EMV 非接触式支付因各方独立添加功能导致严重漏洞。研究发现 Apple Pay、Google Pay 及 Square 终端的私有扩展交互不当，可绕过离线限制。攻击者能利用克隆卡进行高达 25000 英镑的离线免密交易，甚至 bypass 手机支付限制。
OpenLoRa：基于开源框架的 LoRa 实现验证
威斯康星大学与微软研究院团队发布 OpenLoRa 开源框架，统一评估四种最新的 LoRa 冲突解决算法。 实验发现现有技术在低信噪比下包检测能力差，吞吐量表现不及预期，为后续研究提供基准。