第二章-线程安全性

要编写线程安全的代码，核心在于对状态访问操作进行管理，特别是对共享(shared)和可变(mutable)的状态访问。

修复多线程问题的三种方式：

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

一般来说，访问某个变量的代码越少，就越容易确保对变量的所有访问都实现正确同步，同时也更容易找出变量在哪些条件下被访问。

当设计线程安全类时，良好的面向对象技术、不可修改性、以及明晰的不变性规范都能起到一定的帮助作用。

一种正确的编程方法：首先使代码正确运行，然后再提高代码的速度。即使如此，最好也只是当性能测试结果和应用需求告诉你必须提高性能，以及测量结果表明这种优化在实际环境中确实能带来性能提升时，才进行优化。

2.1什么是线程安全性

当多个线程访问某个类时，不管运行时环境采用何种调度方式或者这些线程将如何交替执行，并且在主调代码中不需要任何额外的同步或协同，这个类都能表现出正确的行为，那么就称这个类是线程安全的。

无状态对象一定是线程安全的。大多数Servlet都是无状态的，只有当Servlet在处理请求时需要保存一些信息，线程安全性才会成为一个问题。

2.2原子性

竞态条件（Race Condition）：不恰当的执行时序而出现不正确的结果。

2.2.1竞态条件

最常见的竞态条件类型就是“先检查后执行”：
通过一个可能失效的观测结果来决定下一步的动作(在执行动作的时候，结果可能已经发生变化)

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

另一种竞态条件类型是：“读取-修改-写入”：

基于对象之前的状态来定义对象状态的转换。

2.2.3复合操作

原子操作：
假定有两个操作A和B，如果从执行A的线程来看，当另一个线程执行B时，要么将B全部执行完，要么完全不执行B，那么A和B对彼此来说是原子的。原子操作是指，对于一个状态的所有操作（包括该操作本身）来说，这个操作是一个以原子方式执行的操作。

复合操作：
包含了一组必须以原子方式执行的操作。

在java.util.concurrent.atomic包中包含了一些原子变量类，用于实现在数值和对象引用上的原子状态转换。

在无状态的类中添加一个状态时，如果该状态完全由线程安全的对象管理，则这个类仍然是线程安全的。

2.3加锁机制

单单依靠添加线程安全状态变量来实现类的线程安全是不行的。

要保持不变性，就需要将更新所有相关的状态变量的操作放到单个原子操作中。

2.3.1内置锁

同步代码块：包括两部分:一个作为锁的对象引用，一个作为由这个锁保护的代码块。以关键字synchronized来修饰的方法就是一种横跨整个方法体的同步代码块。

每个java对象都可以当做一个实现同步的锁，这些锁被称为内部锁。线程在进入同步代码块前会自动获得锁。

任何时候只有一个线程执行内置锁保护的代码块，因此由锁保护的同步代码块会以原子方式执行。

同步代码块的缺点：服务的响应率低，性能差。

2.3.2重入

重入：指某个线程可以获得一个已经由它自己持有的锁。

为什么需要重入，看下面的例子：

public class Widget{
	public synchronized void doSomething(){
	.....
	}
}
public class LoggingWidget extends Widget{
	public synchronized void doSomething(){
		System.out.println("子类改写父类的synchronized方法然后调用父类中的方法");
		super.doSomething();//若内置锁不可重入，父类的方法会一直等待一个已经被子类获得的锁，出现死锁
	}
}

重入的实现原理：

为每个锁关联一个获取计数值和一个所有者线程。当计数值为0，这个锁被认为是没有被任何线程持有，当线程请求一个未被持有的锁，JVM将记下锁的持有者，并且将计数器的值置为1.当同一个线程再次获取这个锁，计数值再次递增，当线程退出同步代码块时，计数器将会相应地递减。当计数值为0时，这个锁将会被释放。

2.4用锁来保护状态

对于可能被多个线程同时访问的可变状态变量，在访问它时都需要持有一个锁，在这种情况下，我们称状态是由这个锁保护的。

每个共享的和可变的变量都应该只由一个锁来保护，从而使维护人员知道是哪一个锁。

对于每个包含多个变量的不变性条件，其中涉及的所有变量都需要由同一个锁来保护。

synchronized方法虽然可以确保单个操作的原子性，但是多个操作合并为一个复合操作，还是需要额外的加锁机制。每个方法都作为同步方法还可能导致活跃性问题和性能问题。

2.5活跃性与性能

前面提到过使用synchronized的缺点是，性能差，因此通过缩小同步代码块的作用范围，我们可以容易做到既确保Servlet的并发性，同时又维护线程的安全性。

通常，在简单性与性能之间存在着相互制约因素。当实现某个同步策略时，一定不要盲目地为了性能而牺牲简单性。

当执行时间较长的计算或者可能无法快速完成的操作时（例如，网络I/O或控制台I/O），一定不要持有锁。