系统内核

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 线程池与 CPU 亲和性深度实战:从 CFS 调度器到用户态完美绑核的终极指南

从 Linux CFS 调度器内部机制出发,全面解析 CPU 亲和性(Affinity)的理论基础与工程实战。涵盖 sched_setaffinity 系统调用、CPUID 指令读取拓扑、NUMA 节点本地内存访问优化、cgroup v2 cpuset 控制器、CPU 隔离(isolcpus/nohz_full/rcu_nocbs)、DPDK 轮询线程绑核、用户态线程池绑核架构设计,以及 False Sharing 规避与 Cache Line 对齐。