Java并发编程实战 第2章 线程安全性

在构建稳健的并发程序时，必须正确地使用线程和锁。但这些终归只是一些机制，要编写线程安全的代码，核心在于要对状态访问操作进行管理，特别是对共享的和可变的状态的访问。

非正式意义来说，对象的状态指存储在状态变量（例如：实例、静态域）中的数据。还可能包括其他依赖对象的域，例如HashMap的状态不仅在其本身，还存储在Map.Entry对象中。

• 共享意味着变量可以被多个线程同时访问
• 可变意味着变量的值在其生命周期内可以发生变化

当多个线程访问某个状态变量并且其中有一个线程执行写入操作时，必须采用同步机制来协同这些线程对变量的访问。Java中的主要同步机制是synchronized，提供了一种独占的加锁方式。“同步”还包括volatile变量，显示锁以及原子变量。
如果出现上述情况，有三种方式可以修复：

• 不在线程之间共享该状态变量
• 将状态变量修改为不可变的变量
• 在访问状态变量时使用同步

程序状态的封装性越好，就越容易实现程序的线程安全性，并且代码的维护人员也容易保持这种方式。
尽管面向对象中的抽象和封装会降低程序的性能，但是原则是：首先使代码正确运行，然后再提高代码的速度。

2.1 线程安全性

定义：某个类的行为与其规范完全一致。
当多个线程访问某个类时，不管运行时环境采用何种调度方式或者这些线程将如何交替执行，并且在主调代码中不需要额外的同步或协同，这个类都能便显出正确的行为，那么就称这个类时线程安全的。

线程安全类中封装了必要的同步机制，因此客户端无需进一步采取同步措施。

无状态：既不包含任何域，也不包含任何对其他类中域的引用。无状态对象一定是线程安全的。

2.2 原子性

2.2.1 竞态条件

当某个计算的正确性取决于多个线程的交替执行时序时，那么就会发生竞态条件。
最常见的竞态条件类型就是“先检查后执行”，即通过一个可能失效的观测结果来决定下一步的动作。（例如多线程对同一变量++）

2.2.2 延迟初始化中的竞态条件

lazy-init

2.3 加锁机制

要保持状态的一致性，就需要在单个原子操作中更新所有相关的状态变量。

2.3.1 内置锁

也就是同步代码块(synchronized block）:

• 锁的对象引用
• 由这个锁保护的代码块

静态synchronized方法以Class对象作为锁，非静态synchronized方法以方法调用所在的对象作为锁。

每个Java对象都可以用作一个实现同步的锁，被称为内置锁或监视器锁。获得内置锁的唯一途径就是进入由这个锁保护的同步代码块或方法，无论是通过正常的控制路径退出还是抛出异常，都会释放锁。

内置锁相当于互斥锁，修饰方法时，多线程无法同时使用，服务的响应性非常低，涉及到性能问题。

2.3.2 重入

内置锁是可重入的，如果某个线程试图获得一个已经由它自己持有的锁，那么这个请求就会成功。
例如子类覆写父类的synchronized方法A，子类在执行A`时已经获取了Father对象锁，然后执行super.A时，将无法获取锁，因此必须可重入。

tips：

• 尽可能短的代码路径进行同步
• 不要盲目为了性能牺牲简单性（破坏安全性）
• 执行较长的计算或者无法快速完成的操作时（网络IO、控制台IO），一定不要持有锁。