Concurrency
  1. 首页
  2. Concurrency

列表

Linux内核RCU深度实战：从无锁读取到宽限期调度的同步工程全解

Linux内核RCU深度实战：从无锁读取到宽限期调度的同步工程全解

深度剖析Linux内核RCU同步机制：从concurrent synchronization天花板问题出发，详尽解读宽限期调度算法、三类RCU变体（Classic/Preemptible/Sleepable/Tree）、内核API使用范式（rcu_assign_pointer/rcu_dereference/call_rcu/synchronize_rcu）。覆盖进程描述符遍历、dentry缓存路径查找、nf_conntrack连接跟踪等真实场景应用，以及实战陷阱、CONFIG_PROVE_RCU调试、性能基准（64核下RCU读取比rwlock快200倍）和用户态liburcu库。
进程调度 2026年09月30日
Linux 内核内存屏障与内存排序深度实战：从 CPU 乱序执行到 Memory Model 的完整工程链路

Linux 内核内存屏障与内存排序深度实战：从 CPU 乱序执行到 Memory Model 的完整工程链路

深入解析 Linux 内核内存屏障机制：从 CPU 缓存一致性协议(MESI)与 Store Buffer 导致的乱序问题开始，完整分析 Linux 内核的内存屏障API(barrier/mb/rmb/wmb/READ_ONCE/WRITE_ONCE)、Acquire/Release 语义，并通过生产者-消费者环形缓冲区、RCU宽限期、per-cpu变量发布三个经典模式详解屏障用法。涵盖 RISC-V 弱序架构、DMA 同步、KCSAN 数据竞争检测及 C11 Memory Model 的未来发展。
内存管理 2026年09月30日
OCaml 5 多核运行时深度工程实战：从 Domain/Fiber 与 Effect Handler、无读屏障内存模型到并发 Major GC

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 的隐式耦合，最后给出可落地的生产调优清单。
系统编程 2026年10月04日
Linux 内核 RCU（Read-Copy-Update）机制深度剖析：从宽限期管理到无锁数据结构的完整工程实践

Linux 内核 RCU（Read-Copy-Update）机制深度剖析：从宽限期管理到无锁数据结构的完整工程实践

深度解析 Linux 内核 RCU 同步机制：从经典 RCU、Tree RCU 到 Sleepable RCU 的演进路线，完整剖析宽限期（Grace Period）管理、内存屏障协议、发布-订阅语义、QSBR 用户态实现（liburcu），并给出链表、Hash 表、idae 指针等典型无锁数据结构的设计模式与实战案例。
进程调度 2026年10月03日
ARM64 弱内存序与 C++11 内存模型：从 DMB 指令到无锁队列的实战调优

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

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