本书是共享内存并行编程领域兼具理论深度与工程价值的权威指南，专为操作系统内核、并行数据管理系统及低级库的底层开发者打造。
本书力图颠覆“并行编程高不可攀”的固有认知，指出其核心挑战在于易落入设计陷阱，或概念框架的缺失。本书将并行编程从“黑艺术”重构为系统化工程学科，通过拆解具体任务、提炼可复用的设计技巧，为开发者提供切实可行的实践方案。书中既深入剖析了现代硬件特性对并行软件性能的影响，又全面覆盖了锁、数据所有权、读-复制-更新（RCU）等同步技术，还详解了开发工具、可扩展性设计策略与验证方法。同时，本书独树一帜地强调人因因素，关注程序员在应对复杂共享内存系统时的理性决策逻辑，助力开发者高效攻克并行编程难题。
作者简介:
PaulE.McKenney从事编程工作已经40多年，其中，超过一半的时间花费在并行硬件上，这些工作使他在一部分人群中赢得了“特立独行者”的名声。Paul于2002年当选为IBM技术学院成员，一直是IBMLinux技术中心的杰出工程师。Paul也维护Linux内核中的RCU实现，RCU支持高性能、可扩展、实时响应和节能等多种不同的任务类型。在此之前，他曾在Sequent开发DYNIX/ptx内核。更早时期，他曾从事数据无线电、互联网协议、系统管理、业务应用程序和实时系统相关工作。 他于1981年在俄勒冈州立大学获得计算机科学学士学位和机械工程学士学位，并于1988年在该校获得计算机科学硕士学位。2004年，他在俄勒冈州健康与科学大学取得计算机科学与工程博士学位。2015年他成为俄勒冈州立大学杰出工程师学院的成员，2016年被任命为该校客座教授。他已发... PaulE.McKenney从事编程工作已经40多年，其中，超过一半的时间花费在并行硬件上，这些工作使他在一部分人群中赢得了“特立独行者”的名声。Paul于2002年当选为IBM技术学院成员，一直是IBMLinux技术中心的杰出工程师。Paul也维护Linux内核中的RCU实现，RCU支持高性能、可扩展、实时响应和节能等多种不同的任务类型。在此之前，他曾在Sequent开发DYNIX/ptx内核。更早时期，他曾从事数据无线电、互联网协议、系统管理、业务应用程序和实时系统相关工作。 他于1981年在俄勒冈州立大学获得计算机科学学士学位和机械工程学士学位，并于1988年在该校获得计算机科学硕士学位。2004年，他在俄勒冈州健康与科学大学取得计算机科学与工程博士学位。2015年他成为俄勒冈州立大学杰出工程师学院的成员，2016年被任命为该校客座教授。他已发表论文200余篇，拥有100多项专利。 他有超过1000个补丁被纳入Linux内核，曾受邀参加了10届Linux内核峰会和8次LinuxReal-Time峰会。曾担任6届LinuxPlumbers大会程序委员会主席。自2007年以来，他一直在C++标准委员会任职，主要关注领域是并发。 他在SRIInternational公司的田径队主攻长跑，在此期间，该队在“美国国家企业杯赛”中拿过4次冠军，1次亚军。他曾在美国多地参加长跑比赛。最近，年纪渐长的他开始专注于徒步和健身锻炼。
目录:
第1章 如何使用本书 1
第2章 简介 8
第3章 硬件和它的特性 22
第4章 编程的工具 40
第5章 计数 75
第6章 对分片和同步的设计 117
第7章 锁 159
第8章 数据所有权 191
第9章 延迟处理 196
第10章 数据结构 275
第11章 验证 312
第12章 形式化验证 345
第13章 合而为一 422
第14章 高级同步 442
第15章 高级同步：内存序 479
第16章 易于使用 556
第17章 未来的冲突 561
第18章 回顾过去，展望未来 608
点击下载