系统编程

零成本类型状态机:Rust 编译期工程实战

深入解析 Rust 类型状态模式(Type-State Pattern):利用 PhantomData 和泛型参数将状态编码到类型系统,在编译期保证状态机正确性。涵盖 TCP 连接状态机、HTTP 构建器模式、GPIO 引脚配置、异步通道状态管理,以及运行时零开销的基准测试证明。附带 embedded-hal/wgpu/tokio 等工业级项目实战案例。

io_uring 与 eBPF 融合:可编程内核数据路径的工程实践

深入剖析 Linux 6.x 内核中 io_uring 与 eBPF 融合的新机制(IORING_REGISTER_BPF_FILTER),从源码级别讲解如何在内核态可编程过滤和转换 I/O 请求,实现零系统调用的可编程数据路径。包含 BPF 程序编写、io_uring 提交队列注入、XDP 协同实战,以及生产环境部署的五大坑点。