Java中级并发编程实践：构建安全应用.pdfVIP

2.1.什么是线程安全性

当对一个复杂对象进行某种操作时，从操作开始到操作结束，作的对象往往会经历

若干的中间状态。这跟医生做手术有点像，尽管手术的目的是改善患者的健康，但

医生把手术过程分成了几个步骤，每个步骤如果不是完全结束的话，都会严重损害患者的健

康。想想看，如果一个医生切开患者的胸腔后要休三周假会怎么样？与此类似，调用一个函

数（假设该函数是正确的）操作某对象常常会使该对象暂时陷入不可用的状态（通常称为不

稳定状态），等到操作完全结束，该对象才会重新回到完全可用的状态。如果其他线程企图

一个处于不可用状态的对象，该对象将不能正确响应从而产生无法预料的结果，如何避

免这种情况发生是线程安全性的问题。单线程的程序中是不存在这种问题的，因为在一

个线程更新某对象的时候不会有其他线程也去操作同一个对象。（除非其中有异常，异常是可

能导致上述问题的。当一个正在更新某对象的线程因异常而中断更新过程后，再去没有

完全更新的对象，会出现同样的问题）

给线程安全下定义是比较的。很多正式的定义都比较复杂。如，有这样的定义：“一

个类在可以被多个线程安全调用时就是线程安全的”。但是它不能帮助我们区分一个线程安全

的类与一个线程不安全的类。

实际上，所有线程安全的定义都有某种程序的循环，因为它必须符合类的规格说明——这

是对类的功能、其副作用、哪些状态是有效和无效的、不可变量、前置条件、后置条件等等

的一种非正式的松散描述(由规格说明给出的对象状态约束只应用于外部可见的状态，即那些

可以通过调用其公共方法和其公段看到的状态，而不应用于其私有字段中表示的内

部状态)[1]。

类要成为线程安全的，首先必须在单线程环境中有正确的行为。如果一个类实现正确(这

是说它符合规格说明的另式)，那么没有一种对这个类的对象的操作序列(读或者写公

段以及调用公共方法)可以让对象处于无效状态，观察到对象处于无效状态、或者类

的任何不可变量、前置条件或者后置条件的情况。

此外，一个类要成为线程安全的，在被多个线程时，不管运行时环境执行这些线程

有什么样的时序安排或者交错，它必须仍然有如上所述的正确行为，并且在调用的代码中没

有任何额外的同步。其效果就是，在所有线程看来，对于线程安全对象的操作是以固定的、

全局一致的顺序发生的。

2.1.没有安全网

当你对一个复杂的对象进行某种操作时，从操作开始到操作结束，作的对象常常会

经历一种有些的中间状态。这有点像医生做手术，虽然手术的目的是为了改善

的健康，但医生把手术过程分成了几个步骤，而每个步骤如果不完全完成，都会严重损害病

人的健康。（如果函数正确的话）对一个对象的操作往往会导致该对象暂时陷入不可用状

态（通常称为不稳定状态），直到操作完全完成，对象才会恢复到完全可用状态。（除非

其中存在异常，否则该异常可能会导致上述问题，当更新某个对象的线程因异常而中断时，

更新过程会再次中断，当对象未完全更新时，会再次出现同样的问题。）

线程安全的定义比较。许多正式的定义更为复杂。这样的定义是：“当一个类可以

与多线程安全一起使用时，它就是线程安全的”。

上，所有的线程安全定义都有某种程序循环，因为它必须符合类的规范——这是对

类的功能、其副作用、状态有效和无效、不可变量、前面条件、后面条件等的非正式松散描

述。

为了使类成为线程安全的，它首先必须在单线程环境中具有正确的行为。如果一个类正

确实现（这是另一个符合规范的方法），那么该类的对象的任何操作序列（