什么是线程安全性

1、要对线程安全性给出一个确切的定义是非常复杂的。定义越正式，就越复杂，不仅很难提供有实际的知道建议，而且也很难从直观上去理解。因此，下面给出了一些非正式的描述，看上去令人困惑。例如：

2、在线程安全性的定义中，最核心的概念就是正确性。如果对线程安全性的定义是模糊的，那么就是因为缺乏对正确性的清晰定义。

3、正确性的含义是，某个类的行为与其规范完全一致。在良好的规范中通常会定义各种不便性条件来约束对象的状态，以及定义各种后验条件来描述对象操作的结果。我们可以将单线程的正确性近似定义为“所见即所得”。

4、在对“正确性”给出了一个较为清晰的定义后，就可以定义线程安全性：当多个线程访问某个类时，这个类始终都能表现出正确的行为，那么就称这个类时线程安全的。

5、由于撮劝丛食单线程也可以看成是一个多线程程序，如果某个类在单线程环境中都不是正确的，那么它肯定不会是线程安全的。如果正确的实现了某个对象，那么在任何踝怆赜泖操作中都不会违背不便性条件或后验条件。在线程安全类的对象实例上执行的任何串行或并行操作都不会使对象处于无效状态。

6、下例给出了一个简单的因数分解Servlet。这个Servlet葱请求中提取出数值，执行因数分解，然后将结果封装到该Servlet的响应中。

7、与大多数Servlet相同，上面的类时无状态的：它既不包含任何域，也不包含任何对其他类中域的引用。计算过程中的临时状态仅存在于线程栈上的局部变量中，并且只能有正在执行的线程访问。访问StatelessFactorizer的线程不会影响另一个访问同一个StatelessFactorizer的线程的计算结果，因为这两个线程并没有共享状态，就好像它们都在访问不同的实例。

8、由于线程访问无状态对象的行为并不会影响其它线程中操作的正确性，因此，无状态对象是线程安全的。

9、大多数Servlet都是无状态的，从而极大地降低了在实现Servlet线程安全性的复杂性。只要当servlet在处理请求时需要保存一些信息，线程安全性才会成为一个问题。