总结的内容来自原文的90-91页
-
可变状态是至关重要的。
- 所有的并发问题都可以归结为如何协调对并发状态的访问。可变状态越少,越容易确保线程安全性。
- 尽量将域声明为final类型,除非需要它们是可变的。
-
不可变对象一定是线程安全的。
- 不可变对象能极大的降低并发编程的复杂性。它们更为简单而且安全,可以任意共享而无需使用加锁或保护性复制等机制。
-
封装有助于管理复杂性。
- 在编写线程安全的程序时,虽然可以将所有数据都保存在全局变量中,但为什么要这样做?将数据封装在对象中,更易于维持不变性条件:将同步机制封装在对象中,更易于遵循同步策略。
- 用锁来保护每个可变对象。
- 当保护同一个不变性条件中的所有变量时,要用同一个锁。
- 在执行复合操作期间,要持有锁。
- 如果从多个线程中访问同一个可变变量时没有同步机制,那么程序会出现问题。
- 不要故作聪明的推断出不需要使用同步。
- 在设计过程中考虑线程安全,或者在文档中明确指出它不是线程安全的。
- 将同步策略文档化。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。