Concurrency
  1. 首页
  2. Concurrency

列表

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日
Rust 异步取消安全（Cancellation Safety）深度实战：从Future的Drop到生产陷阱

Rust 异步取消安全（Cancellation Safety）深度实战：从Future的Drop到生产陷阱

深入解析Rust异步编程中的取消安全（Cancellation Safety）问题：从Future的Drop语义出发，系统讲解tasks、数据库连接、TCP流、文件I/O等场景下的取消安全保证与陷阱，提供生产级最佳实践与模式。涵盖Tokio的Cancelled trait、tokio_util的CancelGuard/CancellationToken、以及自定义Future的取消安全实现。
编程语言 2026年09月30日
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内核Lockdep深度实战：从死锁检测到依赖图验证的静态分析全解

Linux内核Lockdep深度实战：从死锁检测到依赖图验证的静态分析全解

深度剖析Linux内核Lockdep死锁检测工具：从运行时锁依赖图构建到BFS环检测算法的六类规则验证。涵盖锁类与子类分层模型、IRQ安全上下文追踪、多设备驱动子类分流策略、以及字符驱动ioctl/irq死锁、多端口串口分类、workqueue睡眠陷阱等真实案例。包含6.x内核新特性、Rust整合、与KCSAN的分工对比及性能基准。
Linux内核 2026年09月30日
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日