Memory-Model

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 的隐式耦合,最后给出可落地的生产调优清单。

ARM64 弱内存序与 C++11 内存模型:从 DMB 指令到无锁队列的实战调优

系统性拆解 ARM64 内存模型与 C++11 内存模型的映射关系,通过生产级无锁队列的实战案例,告诉你如何正确地在 ARM64 上写出高性能且安全的并发代码。涵盖 DMB/DSB/ISB 指令、LDAR/STLR 原子操作、Vyukov MPMC 队列在 ARM64 上的正确调优、以及 Graviton3/Kunpeng 920 上的真实生产案例。