Rust

eBPF 追踪 Tokio Async Runtime:从任务调度到 Poll 延迟的硬实战

当 Rust async 应用的生产环境出现尾延迟抖动时,传统 profiling 工具看到的只是线程层面的阻塞,而真正的故事发生在任务调度器的 poll/unpark 决策链路上。本文展示如何用 eBPF 在零侵入的前提下,捕获 Tokio runtime 内部的每一次任务状态转换、park/unpark 时序和 Poll::Pending 的分布模式。

Rust 类型状态机:零成本抽象下的编译期状态安全工程实践

深入解析 Rust 类型状态模式(Type State Pattern)——将运行时状态编码为编译期类型,借助编译器力量在编译期消除整类状态违规错误。涵盖单维/多维状态机、文件描述符类型安全、Builder 模式协同等实战案例,以及 PhantomData 零成本抽象的内存布局分析。

Rust 所有权系统与内存安全:从借用检查器到 Fearless Concurrency 全链路解析

深度解析 Rust 所有权系统与内存安全机制:从三定律(单一所有者、移动语义、引用互斥)到借用规则与生命周期标注详解。涵盖 Rc/Arc 引用计数、RefCell 运行时借用检查、Mutex/RwLock 线程安全内部可变性、Cow 写时克隆、Pin 自引用结构。深入 Send/Sync 标记 trait 的类型理论基础,展示编译器如何消灭数据竞争。附带生产者-消费者并发实战、性能对比全景及 Linux 内核/Windows/Android 产业采用现状。