系统内核

P4 可编程数据面深度工程实战:从 Parser 状态机、Match-Action 流水线到 Tofino 与 P4Runtime 全链路

沿真实编译与部署链路拆解 P4:Parser 状态机综合、Match-Action 流水线的表依赖图与 stage 映射、Tofino 的 PHV/TCAM/Stateful ALU 资源配额、有状态内存的非原子语义、P4Runtime gRPC 控制面与流水线热切换,以及与 eBPF/DPDK 的边界对比和六条生产踩坑清单。

Linux Futex 深度实战:从内核源码到高性能锁设计

系统调用 futex 是 Linux 用户空间同步原语的基石。本文从内核实现源码出发,逐层剖析 futex 的七种操作码、PI futex 优先级继承协议、robust list 死锁恢复,再到用户空间用 20 行 syscall 搭建一个可工业部署的 mutex,最后讨论 NUMA 感知等待队列和 FUTEX_WAKE_OP 实现读写锁的 tricks。

Unison 内容寻址语言深度工程实战:从哈希寻址的代码库、无构建增量编译到代数效应与分布式执行

拆解 Unison 的内容寻址模型:语义哈希如何取代文件路径与模块名,为何能做到无构建增量类型检查,structural/unique 两档哈希类型的演化取舍,为何任意闭包可安全跨节点序列化,以及 Abilities 代数效应如何把副作用钉进类型签名,最后给出工程代价与选型建议。