线程安全性

线程安全性 定义 当多个线程访问某个类时,这个类始终都能表现出正确的行为,那么就称这个类是线程安全的。
竞态条件(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 stooges = new HashSet(); public ThreeStooges(){ stooges.add("Moe"); } public boolean isStooge(String name){ return stooges.contains(name); } }

    推荐阅读