Hasty Briefsbeta

全部标签

#rust

共 595 篇

双语

The Cost of Indirection in Rust
2 months ago
- 在Rust异步代码中内联函数调用通常不会增加显著开销
- 将逻辑提取到独立函数中可提升代码可读性和可维护性
- 编译器能优化提取的函数，生成与内联代码相同的汇编指令
- 与I/O操作、锁竞争或内存分配相比，函数调用开销可忽略不计
- 性能问题应通过基准测试和分析工具进行验证
- 认知负担和维护成本远超过微小的运行时优化收益
- Rust的设计哲学鼓励清晰的抽象设计并信任优化器
- 命名良好的函数能提升代码可测试性和系统理解度
- 应优先考虑代码可读性和可维护性而非微观优化
- 清晰的代码结构将使未来的AI智能体更易理解系统
OpenTelemetry for Rust Developers
2 months ago
- Rust正越来越多地被用于高性能系统和开发者工具
- 尽管Rust有正确性保证，其应用中的可观测性仍至关重要
- OpenTelemetry（OTel）标准化了遥测数据的生成与收集
- OTel通过解耦检测与后端来避免供应商锁定
- Rust的OTel实现因其编译型语言特性与Python等语言存在差异
- 演示项目使用Tokio实现异步执行，tracing库实现遥测
- SigNoz被用作OTel原生后端进行可视化
- 关键步骤包括设置OTel的追踪、指标和日志提供器
- 演示了跨服务的追踪上下文传播
- 活跃请求数和请求持续时间等指标有助于监控系统健康状态
Kovan: From Production MVCC Systems to Wait-Free Memory Reclamation
2 months ago
- Kovan是一个用Rust构建的无等待内存回收系统，解决了crossbeam-epoch等无锁系统中的问题。
- 无锁系统在单线程停滞时可能出现内存无限增长问题，而无等待系统能确保每个操作都在有限步骤内完成。
- Kovan实现了Crystalline论文的方法，在读密集型工作负载中性能更优，并支持嵌入式场景的no_std环境。
- 性能测试显示：Kovan的pin操作开销降低36%，读密集型负载速度达crossbeam-epoch的1.3-1.4倍。
- Kovan包含全套无等待数据结构（HashMap、Queue、Channels、MVCC），并通过TLA+形式化验证确保正确性。
- 无等待回收对云服务、金融交易、实时分析、高性能计算和分布式数据库至关重要，可满足SLA和内存配额要求。
- Kovan已投入生产环境，发布在crates.io上并被SpireDB采用，其API设计便于从crossbeam-epoch迁移。
Linux 7.0 Lands Improvements to Deal with Rust Changes, Build Reproducibility
2 months ago
- Linux 7.0 集成了针对即将发布的 Rust 1.95 和 1.96 版本的工具链更新
- 改进重点是通过路径重映射避免绝对路径，提升构建可复现性
- Rust 1.96.0 新增了 'unused_features' lint 检查（尽管实际收益有限）
- 依赖信息现在直接输出到 '$(depfile)'，不再生成临时 '.d' 文件
- 'kernel' 模块的修复包括解决 '!CONFIG_BLOCK' 下的警告及抑制 Clippy 误报
- 'pin-init' 模块更新涉及移除不安全的属性标记，并完善关键字段访问器的文档要求
- 所有变更已合并完毕，准备纳入 Linux 7.0-rc4 版本发布
Torturing Rustc by Emulating HKTs
2 months ago
- 作者尝试创建一门函数式编程脚本语言时，遇到了Rust缺乏高阶类型（HKTs）导致的问题。
- 高阶类型允许泛型本身拥有泛型，但Rust原生不支持此特性，开发者只能通过泛型关联类型（GATs）变通实现。
- 作者通过研究归纳与余归纳等数学概念，试图理解Rust特质求解器对递归类型的处理逻辑。
- 一个最小复现案例揭示了Rust特质推导中的归纳循环问题，该问题会触发编译器报错。
- 作者使用Lean 4形式化验证类型系统相关证明，实践了数学证明与编程的 Curry-Howard同构理论。
- Rust特质求解器采用归纳推理，无法处理无限证明树，而余归纳特质（如自动特质）可应对循环引用。
- 作者以幽默笔调调侃Rust的局限性及其复杂性，同时肯定这些探索对计算机科学教育的价值。
Accessing Hardware in Rust
2 months ago
- Ferrous Systems专注于裸机Rust代码开发，涵盖培训示例代码、客户项目及开源贡献。
- Rust中的硬件交互因需操控Rust内存模型之外的硬件而必须使用不安全操作。
- 硬件交互的三种常用方法：I/O读写、系统寄存器、内存映射I/O。
- I/O读写涉及访问I/O地址空间的特殊指令，以x86-64架构为例说明。
- 系统寄存器具有处理器特异性，需要唯一标识符，以Arm和RISC-V架构为例。
- 内存映射I/O允许在内存地址空间内访问硬件，需使用volatile操作防止优化。
- 寄存器内的位域用于将多个设置高效打包到单个寄存器，Rust原生不支持位域操作。
- 硬件API文档至关重要，需清晰说明硬件对象创建及寄存器/位域访问方法。
- 硬件抽象工具包对比：svd2rust/tock-registers/safe-mmio/derive-mmio，各有不同实现方式与取舍。
- svd2rust能根据SVD文件生成完整代码，但文档导航较困难。
- tock-registers支持在Rust源码中定义外设，但使用存在内存安全风险的MMIO引用。
- safe-mmio避免使用MMIO引用并解决AArch64虚拟机监控程序问题，但构造函数复杂且依赖bitflags。
- derive-mmio侧重文档友好型API，使用bitbybit处理位域，未来可能支持AArch64。
Security Advisory for Cargo
2 months ago
- 第三方crate包tar存在漏洞（CVE-2026-33056），恶意crate可在解压时篡改文件系统权限
- 自2026年3月13日起，公共crates.io注册用户已受保护，未发现恶意crate
- 使用其他注册表的用户应联系供应商确认是否受影响
- Rust 1.94.1版本将于2026年3月26日发布，包含修复后的tar crate及其他补丁
- 感谢Sergei Zimmerman、William Woodruff及Rust项目组成员的贡献
Rust Project Perspectives on AI
2 months ago
- Rust项目收集了贡献者和维护者关于AI应用的不同观点
- AI被视为需要精心设计才能产生良好效果的工具
- AI模型正在快速改进，使其在重要工作中难以被忽视
- AI在非编码任务（如文档搜索和代码审查）中具有重要价值
- AI可协助处理大规模半结构化数据
- AI生成的文本通常缺乏结构和信息密度
- 关于AI辅助编程的意见存在分歧，有人认为它能增强能力，也有人认为效率低下
- AI在约束明确的任务中表现良好，但可能导致技能退化
- AI生成的代码需要仔细审查，这具有挑战性
- AI能帮助专家，但可能阻碍新手成为专家
- 伦理问题包括数据来源、权力集中和偏见传播
- AI消耗大量电力，影响气候变化应对
- AI使用的法律问题复杂且不断发展
- AI生成的贡献可能削弱信任并增加审查负担
- AI生成的错误报告往往令人沮丧且无帮助
- 关于AI的讨论容易变得充满敌意和情绪化
- 提出的解决方案包括通用政策、披露要求和信誉计划
- AI可用于帮助分类和审查贡献
- 在保持质量和减轻审查负担方面存在共识
- 核心矛盾包括深度整合与道德拒绝、支持AI与认可AI之间的张力
An Incoherent Rust
2 months ago
- Rust生态面临基础库（如serde）的挑战，这些库要求在整个生态系统中为类型实现特质（trait），这使得引入替代方案变得困难。
- Rust的连贯性（coherence）和孤儿规则强制规定：一个类型对某个特质只能实现一次，这避免了实现重叠并保证了类型安全。
- 现有放宽连贯性和孤儿规则的提案（如二进制包豁免、延迟连贯性、特化等）都存在局限性，无法完全解决生态演进问题。
- 一项激进提案建议通过引入命名实现（named impls）和特质约束参数来取消连贯性，在保持类型安全的同时允许实现重叠。
- 这种方法可能实现非连贯特质（incoherent traits），即同一类型可以存在多个特质实现，从而解决生态演进难题。
- 该提案还探讨了对类型安全的影响、HashMap问题，以及在此模型中类型约束与实现约束的区别。
- 潜在优势包括解决生命周期依赖的特化问题、提升类型系统安全性，以及支持效果系统等新语言特性。
- 向该模型过渡需要重大的编译器改造和语言设计工作，包括命名实现的语法设计和迁移策略制定。
How to use storytelling to fit inline assembly into Rust
2 months ago
- Rust中的内联汇编必须遵循Rust抽象机的规则，尽管它不是用Rust编写的。
- 提出了一种'叙事式'方法，要求每个内联汇编块都必须有对应的Rust代码'故事'，用Rust术语解释其行为。
- 这种方法确保内联汇编与Rust的优化兼容，并防止未定义行为。
- 应用案例包括硬件操作、页表操作、非临时存储、堆栈着色和浮点控制寄存器操作。
- 叙事式方法有助于识别内联汇编何时可能导致错误编译或未定义行为。
- 该提案旨在正式规范内联汇编及FFI与Rust未定义行为的交互规则。
Running Iroh on an ESP32
2 months ago
- 探讨在ESP32上运行iroh作为树莓派的低成本替代方案用于嵌入式项目
- ESP32虽然资源有限(4MB闪存/约500KB内存)，但其性能可与早期32位计算机媲美
- 搭建ESP32的Rust项目需使用模板配置工具链，面临设备识别和固件烧录等挑战
- 二进制体积和内存限制是主要障碍，需要采用LTO优化和外接SPIRAM等技术
- 加密模块因平台兼容性问题，最终采用纯Rust方案实现TLS和QUIC支持
- 需配置WiFi网络连接，为简化流程将凭证直接编译进二进制文件
- 成功在ESP32部署iroh端点，可与标准客户端通信，展现智能家居和物联网应用潜力
- 下一步计划集成传感器/执行器硬件，并提升iroh对嵌入式系统的兼容性
Mimalloc Cigarette: Losing one week of my life catching a memory leak
2 months ago
- 工作中一个定价引擎应用出现内存不足问题，尽管数据集大小仅为内存容量的几分之一，生产环境仍频繁发生OOM崩溃
- 经排查发现是mimalloc内存分配器的内存泄漏问题，该分配器会根据线程分配模式表现出不同行为
- mimalloc的设计假设是线程会周期性分配内存；若某线程突然大量分配内存后进入休眠状态，内存块将无法被正常回收
- 问题具体表现为：当线程分配内存后派生子线程处理数据，自身进入休眠状态，导致内存块持续滞留
- 最终解决方案是将内存密集型操作集中在单线程执行，并通过通道通信机制来规避该问题
Ntpd-rs: it's about time
2 months ago
- Ubuntu将采用ntpd-rs作为默认时间同步客户端和服务器，取代chrony、linuxptp以及可能的gpsd。
- ntpd-rs是基于Rust开发的NTP实现，专注于安全性、稳定性和内存安全，由Trifecta Tech基金会维护。
- Canonical正资助Trifecta Tech基金会增强ntpd-rs，包括开发新功能、安全隔离机制以及与Statime的PTP集成。
- NTP、NTS和PTP是关键时间同步协议，其中NTS为NTP增加了加密安全层。
- Let's Encrypt已在生产环境中成功部署ntpd-rs，验证了其可靠性与安全性。
- 该项目旨在将NTP/NTS和PTP统一为单一的内存安全工具，优化用户体验和配置流程。
- 开发里程碑包括：Ubuntu 26.10初步搭载ntpd-rs，Ubuntu 27.04实现与Statime的完整集成。
- 重点攻关领域涵盖功能对等性、安全隔离、PTP支持、性能基准测试及用户体验改进。
- Trifecta Tech基金会是由Canonical支持的非营利组织，专注于开源基础设施软件开发。
A Faster Alternative to Jq
2 months ago
- 介绍jsongrep——一个使用基于键和索引的正则表达式语言来查询JSON文档的工具
- 解析jsongrep基于DFA的查询引擎，该引擎将查询编译为确定性有限自动机以实现高效单次搜索
- 通过基准测试对比jsongrep与其他JSON查询工具（jq/jmespath/jsonpath-rust/jaq/jql）的性能表现
- 详细说明查询处理流程：JSON解析→将查询编译为NFA→NFA确定化为DFA→使用DFA搜索JSON树
- 展示jsongrep在大型数据集上因零拷贝解析和DFA搜索而具有显著性能优势的基准测试结果
- 客观分析jsongrep相比jq等成熟工具的局限性，包括表达能力不足和缺乏实战检验
Gzip decompression in 250 lines of Rust
2 months ago
- 作者用Rust编写了一个gzip解压器来深入理解压缩原理，最终实现了仅250行的精简版本。
- gzip广泛应用于网络传输、日志文件和归档压缩，是软件生态中的基础工具。
- 该实现聚焦DEFLATE核心算法，为保持简洁性而跳过了校验和等次要功能。
- gzip文件以魔数(0x1F 0x8B)和元数据开头，后续数据采用DEFLATE格式压缩。
- DEFLATE区块分为三种类型：未压缩数据(类型0)、固定霍夫曼编码(类型1)和动态霍夫曼编码(类型2)。
- 霍夫曼编码通过为高频符号分配短码来实现压缩优化。
- 动态霍夫曼区块包含自定义编码表，这些表本身也经过霍夫曼编码以提高效率。
- LZ77回溯引用机制通过将重复序列替换为指向先前数据的引用来提升压缩率。
- 解压器维护32KB滑动窗口处理回溯引用，实现高效数据重建。
- 作者强调软件开发应先构建简单可用的基础版本，再进行优化迭代的价值理念。

About|Login

#rust

The Cost of Indirection in Rust

OpenTelemetry for Rust Developers

Kovan: From Production MVCC Systems to Wait-Free Memory Reclamation

Linux 7.0 Lands Improvements to Deal with Rust Changes, Build Reproducibility

Torturing Rustc by Emulating HKTs

Accessing Hardware in Rust

Security Advisory for Cargo

Rust Project Perspectives on AI

An Incoherent Rust

How to use storytelling to fit inline assembly into Rust

Running Iroh on an ESP32

Mimalloc Cigarette: Losing one week of my life catching a memory leak

Ntpd-rs: it's about time

A Faster Alternative to Jq

Gzip decompression in 250 lines of Rust