第一部分小节

  • 可变状态时至关重要的（It’s the mutable state, stupid）

所有的并发问题都可以归结为如何协调对并发状态的访问。可变状态越少，就越容易确保线程安全性。

  • 尽量将域声明为final类型，除非需要他们是可变的
  • 不可变对象一定是线程安全的
    • 不可变对象能极大地降低并发编程的复杂性。它们更为简单而且安全，可以任意共享而无须使用加锁或保护性复制等机制。
  • 封装有助于管理复杂性
    • 在编写线程安全的程序时，虽然可以将所有数据都保存在全局变量汇总，但为什么这样做？将数据封装在对象中，更易于维护不变性条件：将同步机制封装在对象中，更易于遵循同步策略
  • 用锁保护每个可变变量
  • 当保护同一个不变性条件中的所有变量时，要使用同一个锁
  • 在执行复合操作期间，要持有锁
    • 如果从多个线程中访问同一个可变变量时没有同步机制，那么程序会出现问题
  • 不要故作聪明地推断出不需要使用同步
  • 在设计过程中考虑线程安全，或者在文档中明确地支出它不是线程安全的
  • 将同步策略文档化