线程安全性

线程安全性

定义

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

竞态条件(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);
           }
       }