线程安全性

定义

当多个线程访问某个类时，这个类始终都能表现出正确的行为，那么就称这个类是线程安全的。

竞态条件(Race Condition)

如果由于不恰当的执行时序而出现不正确的结果，那么就称存在竞态条件。

确保线程安全性的方法

这里的方法是从对象以及属性的状态来讲，并不涉及到同步机制。

局部变量

根据Java内存模型，局部变量是存放在当前线程自己的栈中的，所以永远不会被其他线程共享，故基本类型的局部变量是线程安全的。

public class StatelessFactorizer implements servlet{    public void service(ServletRequest req,ServletResponse resp){        BigInteger i = extractFromRequest(req);        BigInteger[] factors = factor(i);        encodeIntoResponse(resp,factors);    }}

注意：无状态的对象一定是线程安全的。

局部的对象引用，尽管对象是存储在共享堆中，只要确保这个对象在局部变量中无法逃逸出去，即便将对象作为方法参数存入，此时仍然线程安全的。

public void someMethod(){  LocalObject localObject = new LocalObject();  localObject.callMethod();  method2(localObject);}public void method2(LocalObject localObject){  localObject.setValue("value");}

不可变性

防止产生竞态条件的另一个做法就是创建不可变的共享变量，从而保证对象在线程间共享时不会被修改，以此达到保证线程安全的目的。

不可变对象一定是线程安全的。

当满足以下条件时，对象才是不可变的：

1. 对象创建以后其状态就不能修改。
2. 对象的所有对象都是final类型。

3. 对象是正确创建的（在对象的创建期间，this引用没有逸出）。

      public final class ThreeStooges{        private final Set<String> stooges = new HashSet<String>();        public ThreeStooges(){            stooges.add("Moe");        }        public boolean isStooge(String name){            return stooges.contains(name);        }    }