LWN Weekly Edition - August 13, 2026

LWN Weekly Edition - August 13, 2026

7 篇文章 · 共 186 条评论
Generated by tanar · 2026-08-20 12:01

📰 本期概览

LWN Weekly Edition - August 13, 2026 这一期涵盖了内核子系统的多个前沿话题。BPF 生态继续扩展边界——既探索将 BPF 引入 binfmt_misc 来管理自定义二进制格式的解释器,又在 LSFMM+BPF 峰会上讨论了为 BPF 程序引入更多形式化验证的可能性。虚拟化方面,KVM planes 抽象层即将落地,为机密计算场景下单一虚拟机内的多安全域管理提供统一方案。安全领域最引人注目的是 shadow-utils 4.20.0 正式移除了周期性密码过期功能,标志着"定期换密码"这一过时实践正被社区抛弃。此外还有面向小型电子阅读器的开源固件 CrossPoint 项目介绍,以及 Christoph Hellwig 提出的块层错误注入新接口。

📊 共 7 篇文章 · 评论总数 186 · 评论最多:「Even more formal verification for BPF」和「Changes in shadow-utils password-expiration features」(各 81 条)

🔥 文章详情

Kernel

Bringing BPF to binfmt_misc 💬 10 · By Jonathan Corbet

binfmt_misc 自 1997 年加入内核以来,一直允许用户通过 /proc 注册新的可执行格式及其解释器。新补丁提议利用 BPF 程序来管理 binfmt_misc 中的解释器分发逻辑,使得格式识别和执行调度更灵活、可编程。文章回顾了 Linux 从 a.out 到 ELF 再到 binfmt_misc 的可执行格式演进历史,分析了 BPF 在这一场景下的适用性和安全边界。

KVM planes head for takeoff 💬 1 · By Jonathan Corbet

机密计算驱动了在单个虚拟机内划分多个安全域的需求——例如虚拟 TPM 需要独立的内存和 CPU 状态保护。Arm 的 Realm Planes、AMD SEV-SNP 的多特权级、Intel TDX 的分区以及 Hyper-V 的 VTL 各有实现。KVM planes 是一个统一抽象层,旨在为 KVM 提供跨硬件平台的多安全域管理能力,目前正接近合入主线。

Even more formal verification for BPF 💬 81 · By Daroc Alden

在 2026 LSFMM+BPF 峰会上,Kumar Kartikeya Dwivedi 讨论了为 BPF 程序添加领域特定不变量(domain-specific invariants)的可能性。当前 BPF 验证器保证程序不会违反内核不变量(如错误上下文获取锁、参数类型错误),sched_ext 也有看门狗机制。但仅保证内核不崩溃不足以保证系统整体可用——BPF 程序仍可能以不当方式干扰系统。该议题探索如何将额外的形式化验证与现有 BPF 生态结合。

存储代码需要处理硬件故障,但让健康磁盘按需产生错误并不容易。现有的 fail_make_request 机制(2006 年引入)无法区分读/写/discard 操作、无法指定返回状态码、也无法直接针对磁盘而非堆叠设备注入错误。Christoph Hellwig 的新补丁系列添加了可配置的错误注入接口,通过每磁盘的 debugfs 文件控制,解决了上述三个痛点,大幅改善内核存储代码的调试体验。

Security

shadow-utils 4.20.0 正式移除了在 4.19.0 (2025年12月) 中废弃的周期性密码过期相关工具。该项目可追溯到 1980 年代 SunOS 的 Shadow Suite,密码过期功能约 1996 年加入 CVS。如今安全社区普遍认为定期强制换密码弊大于利,shadow-utils 仍保留部分密码老化管理功能,但计划在未来几年内完全移除。依赖这些功能的组织应尽早规划迁移。

Development

A look at CrossPoint e-reader firmware 💬 1 · By Joe Brockmeier

CrossPoint Reader 是为小型廉价电子墨水阅读器(如中国厂商 Xteink 的口袋大小设备)提供替代固件的开源项目。8月7日发布的 1.5.0 版本改善了大型 EPUB 的打开速度、增加离线词典查询、改进了从右到左文本和中日韩(CJK)文字渲染。相比 Kindle/Kobo 等主流设备,这些小型阅读器更便携、不绑定专有服务,但出厂固件功能有限,CrossPoint 填补了这一空白。

💬 热点讨论

以下文章评论数超过 30,反映了社区最关注的话题:

BPF 验证器的安全边界一直是社区热议话题。形式化验证能否从"不崩溃"提升到"行为正确"?讨论集中在实用性、性能开销和与现有 sched_ext 等子系统的协作模式上。

"定期换密码"是否应该彻底退出历史舞台?社区对此观点并不完全一致——企业合规要求、遗留系统兼容性、以及替代方案(如 passkey/MFA)的成熟度都是争议焦点。