Miri：总结在过去三年中的重大进展，并发表 POPL'26 论文
作者：Ralf Jung
学术认可：论文《Miri: Practical Undefined Behavior Detection for Rust》已被编程语言顶会POPL 2026接收，标志着其在学术和实践上的双重成功。
功能扩展：
系统调用模拟（Shims）：大幅扩展了对 Windows、Linux、macOS 及 Android 等平台的 API 支持；新增了对 Intel AVX-512 等硬件指令集的模拟。
诊断增强：引入了更清晰的错误提示，能精准追踪数据竞争、内存释放后使用（UAF）以及借用检查（Stacked/Tree Borrows）的根源。
并发与性能：
更新至C++20 并发语义，引入了全非确定性调度器。
GenMC 集成：实验性支持结合 GenMC 进行模型检查，以穷举并发程序的执行状态。
性能优化：通过指针标签垃圾回收等机制提升了别名检查的速度。
底层改进：支持通过 FFI 调用原生代码（实验性），并增强了内存泄漏检测和浮点运算的非确定性测试。
Miri 作为 Rust 生态中保证 Unsafe 代码安全性的核心地位，正朝着更全能、更高效的方向演进。
阅读：https://www.ralfj.de/blog/2025/12/22/miri.html
论文：https://plf.inf.ethz.ch/research/popl26-miri.html
Parcode：真正的惰性持久化库
Parcode 让你能像操作普通内存结构体一样操作数百 MB 的磁盘文件，且只在触摸具体数据时才付代价。
其核心定位是实现“真正的惰性持久化（True Lazy Persistence）”，允许开发者在无需反序列化整个文件的情况下，直接访问大对象图中的特定字段。
解决的核心问题 传统的 Rust 序列化方案（如 Bincode, Postcard, JSON）通常是“贪婪（Eager）”的。
痛点：如果你有一个 500MB 的文件，即使你只需要读取其中的一个字段，你也必须支付反序列化整个对象图的 CPU 和内存开销。
后果：冷启动延迟高，内存占用随文件大小线性增长。
Parcode 的核心方案：编译时结构镜像 Parcode 引入了“原生镜像（Native Mirroring）”技术，区别于 FlatBuffers 或 Cap'n Proto 等需要外部 IDL 文件（.proto/.fbs）的方案：
纯 Rust 体验：通过
#[derive(ParcodeObject)]宏，在编译时分析结构体并自动生成一个“延迟影子结构”（Shadow Struct）。例如，GameData会生成GameDataLazy。分块存储：结构元数据（非常小）被贪婪加载，而大型载荷（如
Vec、HashMap或大型资产）被存储为独立的磁盘块（Chunks）。按需实例化：只有当你显式调用某个字段时，Parcode 才会触发磁盘 I/O 并将该部分数据加载到内存。
主要特性
亚毫秒级冷启动：打开文件几乎瞬时完成，因为不加载实际数据。
常数级内存占用：在遍历大型结构体时，内存占用保持稳定，不会因为文件大而暴涨。
O(1) Map 查找：支持直接从磁盘上的大
HashMap中查找条目，无需先将整个 Map 反序列化。随机访问：支持跳转到文件内的任意深度字段。
性能测试（冷启动 + 定点访问）
序列化器
冷启动延迟
访问深度字段
总计耗时
Parcode ~1.4 ms ~0.00002 ms ~1.4 ms Cap'n Proto
~60 ms
~0.00005 ms
~60 ms
Postcard
~80 ms
~0.00002 ms
~80 ms
Bincode
~299 ms
~0.00001 ms
~299 ms
权衡与限制 (Trade-offs)
写性能：由于需要构建块状图结构，写入吞吐量目前低于纯顺序写入格式。
适用场景：最适合读密集型或对冷启动时间敏感的工作负载。
非数据库：它不是数据库的替代品，更多是作为高性能的对象存储和缓存层。
技术实现
memmap2：利用内存映射文件。
rayon：写入过程完全并行化。
zero-copy：写入时直接借用数据而非克隆。
仓库：https://github.com/retypeos/parcode
cpal 发布 v0.17.0
Rust 跨平台音频库cpal 0.17.0迎来重大版本更新，核心改进如下：
稳定设备 ID：支持跨重启保存和恢复音频设备 ID，极大方便了用户偏好设置的持久化。
并发增强：Stream 现支持
Send + Sync，允许在多线程间自由移动和共享音频流，优化了多线程架构。格式与性能：新增 24 位音频（I24/U24）支持；默认缓冲区大小现遵循系统配置（如 PipeWire/quantum）。
平台优化：macOS 支持回环录音；Linux 改进了设备枚举；JACK 实现跨平台支持。
该版本解决了大量长期积压的 Bug，显著提升了 Rust 音频开发的生产力与稳定性。
仓库：https://github.com/RustAudio/cpal
eilmeldung：TUI RSS 阅读器
各方面都极速 ：非阻塞式终端用户界面、(neo)vim 风格的快捷键、瞬间启动且界面简洁。
站在巨人的肩膀上：基于新闻快讯库， eilmeldung 支持众多 RSS 提供商，高效可靠。
功能强大且易于使用，开箱即用 ：默认设置合理，适合大多数用户，同时又可配置以满足任何人的需求，从快捷键到颜色，从显示内容到 RSS 提供商，应有尽有。
像专业人士一样阅读新闻：使用简单易学的强大查询语言筛选和搜索新闻，激活禅定模式 ，专注于文章内容，不受其他干扰。
(eilmeldung 是德语，意思是突发新闻。)
仓库：https://github.com/christo-auer/eilmeldung
--
From 日报小组 苦瓜小仔
社区学习交流平台订阅：
Rustcc论坛: 支持rss
微信公众号：Rust语言中文社区
