本书不仅讲解了并发的理论基础，还介绍了各种实际的开发技术。书中并不是简单罗列出各种并发API及机制，而是详细介绍了许多设计原则、设计模式及思维模式，可帮助开发人员构建出正确的、高性能的并发程序。
线程是Java平台的基础组成部分之一。随着多核处理器逐渐成为主流，如何高效地使用并发已成为构建高性能应用程序的重要因素。Java SE 5和Java 6在并发程序开发方面取得了巨大的进步，在其Java虚拟机中能支持一些高性能的并且具有高可伸缩性的并发类，此外还支持一组新的并发基础构建模块。在本书中，这些新功能的编写者们不仅介绍了它们的工作原理和使用方式，还介绍了隐藏在这些功能背后的研究背景与设计模式。
然而，在开发、测试以及调试多线程的程序时仍然存在巨大的困难。开发人员很容易编写出一些看似能正常工作，但在一些情况下仍然会失败的程序（包括在正式发布的产品中，以及在高负载环境中）。本书不仅讲解了并发的理论基础，还介绍了各种实际的开发技术，这些知识对于构建可靠的、可伸缩的以及可维护的并发应用程序来说非常有用。本书并不仅是简单地罗列出各种并发API以及机制，而是详细地介绍了许多设计原则、设计模式以及思维模式，这些内容使得开发人员更容易构建出正确的并且高性能的并发程序。
在写作本书时，对于中端桌面系统来说，多核处理器正变得越来越便宜。无独有偶，许多开发团队也注意到，在他们的项目中出现了越来越多与线程有关的错误报告。在NetBeans开发者网站上的最近一次公告中，一位核心维护人员注意到，为了修复与线程相关的问题，在某个类中竟然打了14次补丁。Dion Almaer，这位TheServerSide网站的前编辑，最近(在经过一番痛苦的调试过程并最终发现了一个与线程有关的错误之后)在其博客上写道，在大多数Java程序中充满了各种并发错误，使得程序只有在“偶然的情况下”才能正常工作。
确实，在开发、测试以及调试多线程程序时存在着巨大的困难，因为并发性错误通常并不会以某种确定的方式显现出来。当这些错误出现时，通常是在最糟糕的时刻，例如在正式产品中，或者在高负载的情况下。
当开发Java并发程序时，所要面对的挑战之一就是：平台提供的各种并发功能与开发人员在程序中需要的并发语义并不匹配。在Java语言中提供了一些底层机制，例如同步和条件等待，但在使用这些机制来实现应用级的协议与策略时必须始终保持一致。如果没有这些策略，那么在编写程序时，虽然程序看似能顺利地编译和运行，但却总会出现各种奇怪的问题。许多介绍并发的其他书籍更侧重于介绍一些底层机制和API，而在设计级的策略和模式上叙述的不多。
Java 5.0在Java并发应用程序的开发方面进展巨大，它不仅提供了一些新的高层组件，还补充了一些底层机制，从而使得无论是新手级开发人员还是专家级开发人员都能够更容易地构建并发应用程序。本书的作者都是JCP专家组的主要成员，也正是该专家组编写了这些新功能。本书不仅描述了这些新功能的行为和特性，还介绍了它们的底层设计模式和促使它们被添加到平台库中的应用场景。
我们的目标是向读者介绍一些设计规则和思维模式，从而使读者能够更容易也更乐意去构建正确的以及高性能的Java并发类和应用程序。
我们希望你能享受本书的阅读过程。
Brian Goetz
Williston，VT
2006年3月
如何使用本书
为了解决在Java底层机制与设计级策略之间的不匹配问题，我们给出了一组简化的并发程序编写规则。专家看到这些规则会说：“嗯，这并不是完整的规则集。即使类C违背了规则R，它仍然是线程安全的。”虽然在违背一些规则的情况下仍有可能编写出正确的并发程序，但这需要对Java内存模型的底层细节有着深入的理解，而我们希望开发人员无须掌握这些细节就能编写出正确的并发程序。只要始终遵循这组简单的规则，就能编写出正确的并且可维护的并发程序。
我们假设读者对Java的基本并发机制已经有了一定程度的了解。本书并非是对并发的入门介绍—要了解这方面的内容，请参考其他书籍中有关线程的内容，例如《The Java Programming Language》（Arnold等，2005）。此外，本书也不是介绍并发的百科全书—要了解这方面的内容，请参考《Concurrent Programming in Java》（Lea，2000）。事实上，本书提供了各种实用的设计规则，用于帮助开发人员创建安全的和高性能的并发类。在本书中相应的地方引用了以下书籍中的相关章节：《The Java Programming Language》、《Concurrent Programming in Java》、《The Java Language Specification》 ( Gosling等，2005 )以及《Effective Java 》（Bloch, 2001)，并分别使用[JPL n.m]、[CPJ n.m]、[JLS n.m]和[EJ Item n]来表示它们。
在进行简要的介绍（第1章）之后，本书共分为四个部分:
基础知识。第一部分（第2章～第5章）重点介绍了并发性和线程安全性的基本概念，以及如何使用类库提供的基本并发构建块来构建线程安全类。在第一部分给出了一个清单，其中总结了这一部分中介绍的最重要的规则。
第2章与第3章构成了本书的基础。在这两章中给出了几乎所有用于避免并发危险、构造线程安全的类以及验证线程安全的规则。如果读者重“实践”而轻“理论”，那么可能会直接跳到第二部分，但在开始编写任何并发代码之前，一定要回来读一读这两章!
第4章介绍了如何将一些小的线程安全类组合成更大的线程安全类。第5章介绍了在平台库中提供的一些基础的并发构建模块，包括线程安全的容器类和同步工具类。
结构化并发应用程序。第二部分（第6章～第9章）介绍了如何利用线程来提高并发应用程序的吞吐量或响应性。第6章介绍了如何识别可并行执行的任务，以及如何在任务执行框架中执行它们。第7章介绍了如何使任务和线程在执行完正常工作之前提前结束。在健壮的并发应用程序与看似能正常工作的应用程序之间存在的重要差异之一就是，如何实现取消以及关闭等操作。第8章介绍了任务执行框架中的一些更高级特性。第9章介绍了如何提高单线程子系统的响应性。
活跃性、性能与测试。第三部分(第10章～第12章)介绍了如何确保并发程序执行预期的任务，以及如何获得理想的性能。第10章介绍了如何避免一些使程序无法执行下去的活跃性故障。第11章介绍了如何提高并发代码的性能和可伸缩性。第12章介绍了在测试并发代码的正确性和性能时可以采用的一些技术。
高级主题。第四部分（第13章～第16章）介绍了资深开发人员可能感兴趣的一些主题，包括：显式锁、原子变量、非阻塞算法以及如何开发自定义的同步工具类。
代码示例
虽然书中很多一般性的概念同样适用于Java 5.0之前的版本以及一些非Java的运行环境，但其中大多数示例代码（以及关于Java内存模型的所有描述）是基于Java 5.0或更高版本的，而且某些代码示例中还使用了Java 6的一些新增功能。
我们对书中的代码示例已经进行了压缩，以便减少代码量并重点突出与内容相关的部分。在本书的网站http://www.javaconcurrencyinpractice.com上提供了完整的代码示例、辅助示例以及勘误表。
代码示例可分为三类：“好的”示例、“一般的”示例和“糟糕的”示例。“好的”示例是应该被效仿的技术。“糟糕的”示例是一定不能效仿的技术，而且还会用一个“Mr. Yuk”的图标来表示该示例中的代码是“有害的”(参见程序清单1)。“一般的”示例给出的技术并不一定是错的，但却是脆弱的、有风险的或是性能较差的，并且会用一个“Mr.Could Be Happier”图标来表示，如程序清单2所示。
程序清单1 糟糕的链表排序方式（不要这样做）
public
// 永远不要返回错误的答案！
System.exit(0);
}
有些读者会质疑这些“糟糕的”示例在本书中的作用，毕竟，在一本书中应该给出如何做正确的事，而不是错误的事。这些“糟糕的”示例有两个目的，它们揭示了一些常见的缺陷，但更重要的是它们示范了如何分析程序的线程安全性，而要实现这个目的，最佳的方式就是观察线程安全性是如何被破坏的。
程序清单2 非最优方式的链表排序
public
for (int i=0; i<1000000; i++)
doNothing();
Collections.sort(list);
}
致谢
本书诞生于Java Community Process JSR 166 为Java 5.0开发java.util.concurrent包的过程中。还有许多人参与到JSR 166中，特别感谢Martin Buchholz将全部的工作融入到JDK中，并感谢concurrency-interest邮件列表中的所有读者对API草案提出的建议和反馈。
有不少来自各方面的人员都提出了建议和帮助，使得本书的内容得到了极大的充实。感谢Dion Almaer、Tracy Bialik、Cindy Bloch、Martin Buchholz、Paul Christmann、Cliff Click、Stuart Halloway、David Hovemeyer、Jason Hunter、Michael Hunter、Jeremy Hylton、Heinz Kabutz、Robert Kuhar、Ramnivas Laddad、Jared Levy、Nicole Lewis、Victor Luchangco、Jeremy Manson、Paul Martin、Berna Massingill、Michael Maurer、Ted Neward、Kirk Pepperdine、Bill Pugh、Sam Pullara、Russ Rufer、Bill Scherer、Jeffrey Siegal、Bruce Tate、Gil Tene、Paul Tyma，以及硅谷模式小组的所有成员，他们通过各种技术交流为本书提供了指导建议，使得本书更加完善。
特别感谢Cliff Biffle、Barry Hayes、Dawid Kurzyniec、Angelika Langer、Doron Rajwan和Bill Venners，他们非常仔细地审阅了本书的全稿，指出了代码示例中的错误，并提出了大量的改进建议。
感谢Katrina Avery的编辑工作，以及Rosemary Simpson在非常短的时间里完成了索引生成工作。感谢Ami Dewar绘制的插图。
感谢Addison-Wesley的全体成员，他们使本书得以最终问世。Ann Sellers启动了编写本书的项目，Greg Doench监督并帮助本书有条不紊地完成，Elizabeth Ryan负责本书的出版过程。
此外还要感谢许许多多的软件工程师，他们开发了本书得以依赖的各种软件，这些软件包括TEX、LATEX、Adobe Acrobat、pic、grap、Adobe Illustrator、Perl、Apache Ant、IntelliJ IDEA、GNU emacs、Subversion、TortoiseSVN，当然，还有Java平台及其类库。
计算机\程序设计
线程是Java平台的基础组成部分之一。随着多核处理器逐渐成为主流，如何高效地使用并发已成为构建高性能应用程序的重要因素。Java SE 5和Java 6在并发程序开发上取得了巨大的进步，在其Java虚拟机中能支持一些高性能的并且高可伸缩性的并发类，此外还支持一组新的并发基础构建模块。在《Java并发编程实践》中，这些新功能的编写者们不仅介绍了它们的工作原理和使用方式，还介绍了隐藏在这些功能背后的研究背景与设计模式。
然而，在开发、测试以及调试多线程的程序是仍然存在巨大的困难；开发人员很容易编写出一些看似能正常工作，但在一些情况下仍然会失败，包括：在正式发布的产品中，以及在高负载环境中。在《Java并发编程实践》中不仅讲解了并发的理论基础，还介绍各种实际的开发技术，这些知识对于构建可靠的、可伸缩的以及可维护的并发应用程序来说是非常有用的。本书并不仅是简单地罗列出各种并发API以及机制，而是详细地介绍了许多设计原则，设计模式以及思维模式，这些内容使得开发人员更容易构建出正确的并且高性能的并发程序。
本书涵盖的内容包括：
• 并发性与线程安全性的基本概念
• 构建以及组合各种线程安全类的技术
• 使用java.util.concurrent包中的各种并发构建基础模块
• 性能优化中的注意事项
• 如何测试并发程序
• 以及一些高级主题，包括原子变量，无阻塞算法以及Java内存模型
本书作者都是Java Community Process JSR 166专家组（并发工具）的主要成员，并在其他很多JCP专家组里任职。Brian Goetz有20多年的软件咨询行业经验，并著有至少75篇关于Java开发的文章。Tim Peierls是“现代多处理器”的典范，他在BoxPop.biz、唱片艺术和戏剧表演方面也颇有研究。Joseph Bowbeer是一个Java ME专家，他对并发编程的兴趣始于Apollo计算机时代。David Holmes是《The Java Programming Language》一书的合著者，任职于Sun公司。Joshua Bloch是Google公司的首席Java架构师，《Effective Java》一书的作者，并参与著作了《Java Puzzlers》。Doug Lea是《Concurrent Programming》一书的作者，纽约州立大学 Oswego分校的计算机科学教授。
（美）Brian Goetz，Tim Peierls 等著：暂无简介
童云兰 等译：暂无简介
并发编程是Java语言的重要特性之一，在Java平台上提供了许多基本的并发功能来辅助开发多线程应用程序。然而，这些相对底层的并发功能与上层应用程序的并发语义之间并不存在一种简单而直观的映射关系。因此，如何在Java并发应用程序中正确且高效地使用这些功能就成了Java开发人员的关注重点。
本书正是为了解决这个问题而写的。书中采用循序渐进的讲解方式，从并发编程的基本理论入手，逐步介绍了在设计Java并发程序时各种重要的设计原则、设计模式以及思维模式，同时辅以丰富的示例代码作为对照和补充，使得开发人员能够更快地领悟Java并发编程的要领，围绕着Java平台的基础并发功能快速地构建大规模的并发应用程序。
全书内容由浅入深，共分为四个部分。第一部分介绍了Java并发编程的基础理论，包括线程安全性与状态对象的基础知识，如何构造线程安全的类并将多个小型的线程安全类构建成更大型的线程安全类，以及Java平台库中的一些基础并发模块；第二部分介绍了并发应用程序的构造理论，包括应用程序中并行语义的分解及其与逻辑任务的映射，任务的取消与关闭等行为的实现，以及Java线程池中的一些高级功能，此外还介绍了如何提高GUI应用程序的响应性；第三部分介绍了并发编程的性能调优，包括如何避免活跃性问题，如何提高并发代码的性能和可伸缩性以获得理想的性能，以及在测试并发代码正确性和性能时的一些实用技术；第四部分介绍了Java并发编程中的一些高级主题，包括显式锁、原子变量、非阻塞算法以及如何开发自定义的同步工具类等。
本书的特点在于注重阐述并发技术背后的理论知识，对于每种技术的介绍不仅使读者能做到“知其然”，更能做到“知其所以然”。对于希望深入研究和探索Java并发编程的读者来说，本书是非常合适的。
参与本书翻译工作的还有李杨、吴汉平、徐光景、童胜汉、陈军、胡凯、刘红、张玮、陈红、李斌、李勇涛、王海涛、周云波、彭敏才、张世锋、朱介秋、宗敬、李静、叶锦、高波、熊莉、程凤、陈娟、胡世娟、董敏、谢路阳、冯卓、李志勇、胡欢、王进等。由于译者的时间和水平有限，翻译中的疏漏和错误在所难免，还望读者和同行不吝指正。
童云兰
2011年11月于武汉
对本书的赞誉
译者序
前 言
第1章 简介1
1.1 并发简史1
1.2 线程的优势2
1.2.1 发挥多处理器的强大能力2
1.2.2 建模的简单性3
1.2.3 异步事件的简化处理3
1.2.4 响应更灵敏的用户界面4
1.3 线程带来的风险4
1.3.1 安全性问题5
1.3.2 活跃性问题7
1.3.3 性能问题7
1.4 线程无处不在7
第一部分 基础知识
第2章 线程安全性11
2.1 什么是线程安全性13
2.2 原子性14
2.2.1 竞态条件15
2.2.2 示例：延迟初始化中的竞态条件16
2.2.3 复合操作17
2.3 加锁机制18
2.3.1 内置锁20
2.3.2 重入21
2.4 用锁来保护状态22
2.5 活跃性与性能23
第3章 对象的共享27
3.1 可见性27
3.1.1 失效数据28
3.1.2 非原子的64位操作29
3.1.3 加锁与可见性30
3.1.4 Volatile变量 30
3.2 发布与逸出32
3.3 线程封闭35
3.3.1 Ad-hoc线程封闭35
3.3.2 栈封闭36
3.3.3 ThreadLocal类37
3.4 不变性38
3.4.1 Final域39
3.4.2 示例：使用Volatile类型来发布不可变对象40
3.5 安全发布41
3.5.1 不正确的发布：正确的对象被破坏42
3.5.2 不可变对象与初始化安全性42
3.5.3 安全发布的常用模式43
3.5.4 事实不可变对象44
3.5.5 可变对象44
3.5.6 安全地共享对象44
第4章 对象的组合46
4.1 设计线程安全的类46
4.1.1 收集同步需求47
4.1.2 依赖状态的操作48
4.1.3 状态的所有权48
4.2 实例封闭49
4.2.1 Java监视器模式51
4.2.2 示例：车辆追踪51
4.3 线程安全性的委托53
4.3.1 示例：基于委托的车辆追踪器54
4.3.2 独立的状态变量55
4.3.3 当委托失效时56
4.3.4 发布底层的状态变量57
4.3.5 示例：发布状态的车辆追踪器58
4.4 在现有的线程安全类中添加功能59
4.4.1 客户端加锁机制60
4.4.2 组合62
4.5 将同步策略文档化62
第5章 基础构建模块66
5.1 同步容器类66
5.1.1 同步容器类的问题66
5.1.2 迭代器与Concurrent-ModificationException68
5.1.3 隐藏迭代器69
5.2 并发容器70
5.2.1 ConcurrentHashMap71
5.2.2 额外的原子Map操作72
5.2.3 CopyOnWriteArrayList72
5.3 阻塞队列和生产者-消费者模式73
5.3.1 示例：桌面搜索75
5.3.2 串行线程封闭76
5.3.3 双端队列与工作密取77
5.4 阻塞方法与中断方法77
5.5 同步工具类78
5.5.1 闭锁79
5.5.2 FutureTask80
5.5.3 信号量82
5.5.4 栅栏83
5.6 构建高效且可伸缩的结果缓存85
第二部分 结构化并发应用程序
第6章 任务执行93
6.1 在线程中执行任务93
6.1.1 串行地执行任务94
6.1.2 显式地为任务创建线程94
6.1.3 无限制创建线程的不足95
6.2 Executor框架96
6.2.1 示例：基于Executor的Web服务器97
6.2.2 执行策略98
6.2.3 线程池98
6.2.4 Executor的生命周期99
6.2.5 延迟任务与周期任务101
6.3 找出可利用的并行性102
6.3.1 示例：串行的页面渲染器102
6.3.2 携带结果的任务Callable与Future103
6.3.3 示例：使用Future实现页面渲染器104
6.3.4 在异构任务并行化中存在的局限106
6.3.5 CompletionService:Executor与BlockingQueue106
6.3.6 示例：使用CompletionService实现页面渲染器107
6.3.7 为任务设置时限108
6.3.8 示例：旅行预定门户网站109
第7章 取消与关闭111
7.1 任务取消111
7.1.1 中断113
7.1.2 中断策略116
7.1.3 响应中断117
7.1.4 示例：计时运行118
7.1.5 通过Future来实现取消120
7.1.6 处理不可中断的阻塞121
7.1.7 采用newTaskFor来封装非标准的取消122
7.2 停止基于线程的服务124
7.2.1 示例：日志服务124
7.2.2 关闭ExecutorService127
7.2.3 “毒丸”对象128
7.2.4 示例：只执行一次的服务129
7.2.5 shutdownNow的局限性130
7.3 处理非正常的线程终止132
7.4 JVM关闭135
7.4.1 关闭钩子135
7.4.2 守护线程136
7.4.3 终结器136
第8章 线程池的使用138
8.1 在任务与执行策略之间的隐性耦合138
8.1.1 线程饥饿死锁139
8.1.2 运行时间较长的任务140
8.2 设置线程池的大小140
8.3 配置ThreadPoolExecutor141
8.3.1 线程的创建与销毁142
8.3.2 管理队列任务142
8.3.3 饱和策略144
8.3.4 线程工厂146
8.3.5 在调用构造函数后再定制ThreadPoolExecutor147
8.4 扩展 ThreadPoolExecutor148
8.5 递归算法的并行化149
第9章 图形用户界面应用程序156
9.1 为什么GUI是单线程的156
9.1.1 串行事件处理157
9.1.2 Swing中的线程封闭机制158
9.2 短时间的GUI任务160
9.3 长时间的GUI任务161
9.3.1 取消162
9.3.2 进度标识和完成标识163
9.3.3 SwingWorker165
9.4 共享数据模型165
9.4.1 线程安全的数据模型166
9.4.2 分解数据模型166
9.5 其他形式的单线程子系统167
第三部分 活跃性、性能与测试
第10章 避免活跃性危险169
10.1 死锁169
10.1.1 锁顺序死锁170
10.1.2 动态的锁顺序死锁171
10.1.3 在协作对象之间发生的死锁174
10.1.4 开放调用175
10.1.5 资源死锁177
10.2 死锁的避免与诊断178
10.2.1 支持定时的锁178
10.2.2 通过线程转储信息来分析死锁178
10.3 其他活跃性危险180
10.3.1 饥饿180
10.3.2 糟糕的响应性181
10.3.3 活锁181
第11章 性能与可伸缩性183
11.1 对性能的思考183
11.1.1 性能与可伸缩性184
11.1.2 评估各种性能权衡因素185
11.2 Amdahl定律186
11.2.1 示例：在各种框架中隐藏的串行部分188
11.2.2 Amdahl定律的应用189
11.3 线程引入的开销189
11.3.1 上下文切换190
11.3.2 内存同步190
11.3.3 阻塞192
11.4 减少锁的竞争192
11.4.1 缩小锁的范围（“快进快出”）193
11.4.2 减小锁的粒度195
11.4.3 锁分段196
11.4.4 避免热点域197
11.4.5 一些替代独占锁的方法198
11.4.6 监测CPU的利用率199
11.4.7 向对象池说“不”200
11.5 示例：比较Map的性能200
11.6 减少上下文切换的开销201
第12章 并发程序的测试204
12.1 正确性测试205
12.1.1 基本的单元测试206
12.1.2 对阻塞操作的测试207
12.1.3 安全性测试208
12.1.4 资源管理的测试212
12.1.5 使用回调213
12.1.6 产生更多的交替操作214
12.2 性能测试215
12.2.1 在PutTakeTest中增加计时功能215
12.2.2 多种算法的比较217
12.2.3 响应性衡量218
12.3 避免性能测试的陷阱220
12.3.1 垃圾回收220
12.3.2 动态编译220
12.3.3 对代码路径的不真实采样222
12.3.4 不真实的竞争程度222
12.3.5 无用代码的消除223
12.4 其他的测试方法224
12.4.1 代码审查224
12.4.2 静态分析工具224
12.4.3 面向方面的测试技术226
12.4.4 分析与监测工具226
第四部分 高级主题
第13章 显式锁227
13.1 Lock与 ReentrantLock227
13.1.1 轮询锁与定时锁228
13.1.2 可中断的锁获取操作230
13.1.3 非块结构的加锁231
13.2 性能考虑因素231
13.3 公平性232
13.4 在synchronized和ReentrantLock之间进行选择234
13.5 读-写锁235
第14章 构建自定义的同步工具238
14.1 状态依赖性的管理238
14.1.1 示例：将前提条件的失败传递给调用者240
14.1.2 示例：通过轮询与休眠来实现简单的阻塞241
14.1.3 条件队列243
14.2 使用条件队列244
14.2.1 条件谓词244
14.2.2 过早唤醒245
14.2.3 丢失的信号246
14.2.4 通知247
14.2.5 示例：阀门类248
14.2.6 子类的安全问题249
14.2.7 封装条件队列250
14.2.8 入口协议与出口协议250
14.3 显式的Condition对象251
14.4 Synchronizer剖析253
14.5 AbstractQueuedSynchronizer254
14.6 java.util.concurrent同步器类中的 AQS257
14.6.1 ReentrantLock257
14.6.2 Semaphore与CountDownLatch258
14.6.3 FutureTask259
14.6.4 ReentrantReadWriteLock259
第15章 原子变量与非阻塞同步机制261
15.1 锁的劣势261
15.2 硬件对并发的支持262
15.2.1 比较并交换263
15.2.2 非阻塞的计数器264
15.2.3 JVM对CAS的支持265
15.3 原子变量类265
15.3.1 原子变量是一种“更好的volatile”266
15.3.2 性能比较：锁与原子变量267
15.4 非阻塞算法270
15.4.1 非阻塞的栈270
15.4.2 非阻塞的链表272
15.4.3 原子的域更新器274
15.4.4 ABA问题275
第16章 Java内存模型277
16.1 什么是内存模型，为什么需要它277
16.1.1 平台的内存模型278
16.1.2 重排序278
16.1.3 Java内存模型简介280
16.1.4 借助同步281
16.2 发布283
16.2.1 不安全的发布283
16.2.2 安全的发布284
16.2.3 安全初始化模式284
16.2.4 双重检查加锁286
16.3 初始化过程中的安全性287
附录A 并发性标注289
参考文献291
