【Rust日报】2024-02-19 Linux 内核准备升级至 Rust 1.77
内容提要
Linux内核将升级至Rust 1.77，以稳定使用的功能。文章介绍了如何制作极小的Rust二进制文件，并比较其与纯汇编程序的竞争性。同时，讨论了FuturesUnordered在并发任务中的使用注意事项，以及使用Inlyne工具快速查看Markdown文件。
延伸解读
内核升级的节奏与策略
Linux 内核的 Rust 支持正稳步跟进上游版本：6.8 已用 Rust 1.75，最新补丁迁移到 1.76，并准备在 6.9 合并窗口升级到 1.77。这种渐进方式旨在等待关键功能稳定，例如 1.77 稳定的单字段 offset_of 和新增的 --check-cfg 选项。读者可关注内核邮件列表的补丁动态，了解 Rust 在系统级项目中的实际采用进度。
极小二进制文件的实践意义
文章通过去除符号、调整编译参数、替换标准库、自定义 _start 函数以及移除不必要的 ELF sections，将 Rust 二进制从 3.6 MiB 缩减到 400 字节。这展示了 Rust 在 no_std 环境下进行系统编程的潜力，甚至可与纯汇编程序竞争。对于嵌入式或对体积敏感的场景，这些优化手段提供了可参考的路径，但需注意其实现复杂度与可维护性。
FuturesUnordered 的死锁风险与预防
FuturesUnordered 能高效并发子任务，但不当使用可能引发死锁。文章指出死锁需满足互斥、等待资源、不可抢占和循环等待四个条件，并给出异步生成器与互斥锁的示例。预防建议包括显式声明并发性、优先使用范围任务而非缓冲流、注意通道大小与循环依赖，以及用未缓冲通道测试。Rust 的所有权和借用系统有助于从设计上减少此类问题。
Q&A
Linux 内核计划升级到哪个 Rust 版本？预计在哪个内核版本中合并？
Linux 内核计划升级到 Rust 1.77，预计将在 Linux 6.9 内核合并窗口中进行。
Rust 1.77 为 Linux 内核稳定了哪些功能？
Rust 1.77 稳定了单字段 'offset_of' 功能，并添加了 '--check-cfg' 选项，内核 Rust 代码未来可能会过渡到这个选项。
如何将 Rust 二进制文件大小减小到 400 字节？
通过去除符号、调整编译参数、替换标准库、去除标准库并直接使用 libc、自定义 _start 函数、调整链接器标志和移除不必要的 ELF sections，最终将二进制文件大小降至 400 字节。
FuturesUnordered 使用不当会导致什么问题？如何预防？
使用不当会导致死锁。预防方法包括：显式声明并发性以避免隐式共享资源，优先使用范围任务而不是缓冲流，注意通道队列大小和循环依赖，使用未缓冲通道测试以捕获潜在死锁。
死锁产生的条件有哪些？
死锁的条件包括：互斥（每个任务需要独占资源）、等待资源（任务在等待其他资源时持有已分配的资源）、不可抢占（资源不能从持有者手中强制移除）、循环等待（存在任务链，每个任务都请求链中下一个任务持有的资源）。
Inlyne 是什么工具？它有什么特点？
Inlyne 是一款利用 GPU 加速的无浏览器 Markdown 预览工具，帮助快速查看 Markdown 文件，目前发布了 0.4 版本。
