系统内核

OCaml 5 多核运行时深度工程实战:从 Domain/Fiber 与 Effect Handler、无读屏障内存模型到并发 Major GC

沿 OCaml 5 运行时链路逐层拆解:Domain/Fiber 两级并发、无读屏障的 DRF-SC 内存模型与写屏障、per-domain minor heap 与 STW 小收集、major heap 并发标记与备份线程、tagged int 与扁平 float array 的值表示、effect handler 与 GC 的隐式耦合,最后给出可落地的生产调优清单。

Linux 系统调用全链路深度工程实战:从 syscall 指令到 VFS 的完整旅程

系统调用是用户空间进入内核空间的唯一受控通道。本文从 x86_64 SYSCALL 指令出发,完整拆解系统调用链路中的每一个关键阶段:entry_SYSCALL_64、pt_regs、syscall table 分发、文件操作全路径(openat→read/write/close)、io_uring 替代方案、安全加固策略(strace/ftrace/eBPF 调试实战)。

Linux 块设备层 blk-mq 架构深度实战:从 BIO 请求到 NVMe 命令队列

深度解析Linux块设备层blk-mq架构:从VFS系统调用、bio请求封装、blk-mq三级队列映射(软件上下文→硬件上下文→NVMe提交队列)、到NVMe驱动命令提交与中断处理全链路。涵盖plug机制、I/O调度器对比(none/mq-deadline/kyber)、io_uring固定缓冲直通块I/O、SPDK内核旁路方案,以及fio实测性能分析。

Linux 内核 CPU 调度器 UCLAMP 与能源感知调度 EAS 深度工程实践:从调频到负载均衡的全链路优化

深入解析 Linux 内核中 UCLAMP(利用率钳位)与 EAS(能源感知调度)的完整实现机制,从 uclamp_se 数据结构到能耗模型、find_energy_efficient_cpu() 算法路径,结合 ARM big.LITTLE 平台给出 Android 交互任务与服务器批处理的调优案例,包含完整代码片段与实测数据。