并行编程为何这么难？Linux内核RCU之父免费教材深度评测

科技博客作者近日发表长文书评，评测了Linux内核RCU同步机制作者Paul E. McKenney撰写的免费在线教材《并行编程难吗？如果是，该怎么办？》。书评作者拥有十年TLA+形式化验证与分布式系统经验，在与Fil-C开发者交流后意识到自身对多核CPU并发的认知盲区，遂利用假期通读全书并撰写评测。书评详细介绍教材核心内容：第三章讲解现代CPU硬件架构与缓存行为，第四章揭示编译器与CPU对并行代码的各种“创造性破坏”，包括载入撕裂、存储融合、指令重排、凭空写入等反直觉现象。作者特别指出书中低估了MESI缓存一致性协议的重要性——该协议意味着多核CPU的写入本质上是串行的，任何核心必须先获得缓存行的独占权才能写数据，只有在数据跨越多个缓存行时才可能出现写入撕裂。第五章探讨计数器的十多种实现方案，展示了伪共享对性能的影响，其中基于数组的每线程统计计数器与分布式系统中的无冲突复制数据类型异曲同工。书评也批评教材过度聚焦Linux内核语境、对C++11内存模型着墨不足，以及电子版超链接过多影响电子墨水屏阅读体验。总体而言，作者认为这是激发并行编程学习热情的优秀入门教材。

事件分析

核心观点：并行编程之难不在API而在硬件真相，MESI与内存模型正从内核冷知识变成AI时代的必修课。