本书由Godel奖（理论计算机领域最高荣誉）得主领衔撰写，第1版被世界各地的大学选作教材，同时成为技术人员的重要参考书。第2版紧跟技术趋势，涉及大量前沿研究成果，酒盖当前主流算法，可进一步帮助读者实现或改进并行算法，解决大数据时代的海量计算难题。
本书主要讨论共享存储通信方式下的多处理器并发程序设计。首先介绍基本原理，分析异步并发环境中的可计算问题，包括相关度量标准和方法。然后开展应用实践，侧重于并发程序的性能分析。每一章讨论一种特定的并发数据结构、程序设计模式或算法技巧，深入剖析锁问题，进而将其应用到不同的多处理器系统设计中。
第2版对数据并行、事务性编程、存储管理等内容做了重点更新和扩充，并采用C++语言重构相关示例，更加关注底层机制。

莫里斯·赫利希（Maurice Herlihy），布朗大学计算机科学教授，曾任职于卡内基·梅隆大学和DEC公司剑桥实验室。他获得了包括Edsger W.Djkstra奖（2003,2012）、ACM/EATCS G?del奖（2004）、IEEE Wallace McDowell奖（2013）和Fulbright杰出讲席（2012）在内的众多荣誉。他是ACM会士，美国国家发明家科学院、美国国家工程院以及美国艺术与科学院院士。他用有麻省理工学院计算机科学博士学位。

译者序
前言
第1章 导论
1.1 共享对象和同步
1.2 一则寓言故事
1.2.1 互斥协议的特性
1.2.2 故事的寓意
1.3 生产者-消费者问题
l.4 读者-写者问题
1.5 并行化的严酷现实
1.6 并行程序设计
1.7 章节注释
1.8 练习题
第一部分 基本原理
第2章 互斥
2.1 时间和事件
2.2 临界区
2.3 双线程解决方案
2.3.1 LockOne类
2.3.2 LockTwo类
2.3.3 彼得森锁
2.4 关于死锁的说明
2.5 过滤锁
2.6 公平性
2.7 兰波特的面包房锁算法
2.8 有界时间戳
2.9 存储单元数量的下界
2.10 章节注释
2.11 练习题
第3章 并发对象
3.1 并发性和正确性
3.2 串行对象
3.3 顺序一致性
3.3.1 顺序一致性与实时次序
3.3.2 顺序一致性是非阻塞的
3.3.3 可组合性
3.4 线性一致性
3.4.1 可线性化点
3.4.2 线性一致性和顺序一致性
3.5 静态一致性
3.5.1 静态一致性的特性
3.6 形式化定义
3.6.1 历史记录
3.6.2 线性一致性
3.6.3 线性一致性满足可组合性
3.6.4 线性一致性是非阻塞的
3.7 内存一致性模型
3.8 演进条件
3.8.1 无等待性
3.8.2 无锁性
3.8.3 无阻塞性
3.8.4 阻塞演进条件
3.8.5 演进条件的特征描述
3.9 评析
3.10 章节注释
3.11 练习题
第4章 共享存储器基础
4.1 寄存器空间
4.2 寄存器构造
4.2.1 MRSW安全寄存器
4.2.2 MRSW常规布尔寄存器
4.2.3 MRSW常规M-值寄存器
4.2.4 SRSW原子寄存器
4.2.5 MRSW原子寄存器
4.2.6 MRMW原子寄存器
……
第二部分 应用实践
附录A 软件基础
附录B 硬件基础
参考文献