java Thread(3)

来源:互联网 发布:php 实现mvc 编辑:程序博客网 时间:2024/05/21 15:00
接着再来看一下竞争条件,先学习一下主要的不安全的线程,形成一定的思维,以后看程序就能判断该段代码是否是线程安全。记录一下自己今天所学的,方便自己以后查阅。
竞争条件:当计算的正确行依赖于运行中相关的时序或者多线程的交替时,会产生竞争条件。这句话的意思是当前变量的状态会随着时间的转移或者线程之间的调度而发生了改变,最常见的一种竞争条件是“检查再运行”,比如你观察一些事情为真的(文件不存在),然后(then)基于你的观察去执行一些动作(创建文件X);但事实上,从观察到执行操作的这段时间内,观察的结果可能已经无效了,(有人在此期间创建了文件X),从而引发了错误(非预期的异常,重写数据或者是破坏了文件)。

例子:
@NotThreadSafe
public class LazyInitRace{
    private ExpensiveObject instance = null;
    public ExpensiveObject getInstance(){
        if(instance == null)
        instance = new ExpensiveObject();
        return instance;
    }
}

LazyInitRace中的竞争条件会破坏其正确性,比如说线程A和B同时在执行getInstance,A看到instance是null,并实例化一个新的ExpensiveObject。同时B也在检查instance是否为null,这依赖于时序,这时无法预期的,那么B也有可能去实例化一个新的ExpensiveObject,这时它就返回了两个不同的ExpensiveObject的对象回来,这跟我们预期得到相同的实例不一致。所以该例子也是线程不安全的。