一、成员变量和静态变量是否线程安全?
一、如果他们没有共享,则线程安全。
二、如果他们被共享了,根据他们的状态是否能够改变分为两种:
1、如果只读,则线程安全。
2、如果有读写操作,则这段代码时临界区,需要考虑线程安全
二、局部变量是否线程安全?
一、局部变量是线程安全的
public static void test1() {
int i = 10;
i++;//成员变量进行++操作时才会有多个步骤,而局部变量没有,他是原子性的
}
每个线程调用 test1() 方法时局部变量 i,会在每个线程的栈帧内存中被创建多份,因此不存在共享。
二、但局部变量引用的对象则未必
一、如果该对象没有逃离方法的作用访问,它是线程安全的
二、如果该对象逃离方法的作用范围,需要考虑线程安全
1、先看一个成员变量的例子
class ThreadUnsafe {
ArrayList<String> list = new ArrayList<>();
public void method1(int loopNumber) {
for (int i = 0; i < loopNumber; i++) {
// { 临界区, 会产生竞态条件
method2();
method3()
}
}
private void method2() {
list.add("1");
}
private void method3() {
list.remove(0);
}
}
执行
static final int THREAD_NUMBER = 2;
static final int LOOP_NUMBER = 200;
public static void main(String[] args) {
ThreadUnsafe test = new ThreadUnsafe();
for (int i = 0; i < THREAD_NUMBER; i++) {
new Thread(() -> {
test.method1(LOOP_NUMBER);
}, "Thread" + i).start();
}
}
其中一种情况是,如果线程1 添加元素时还未写回内存,线程2添加已经写回内存了,这时线程1再写回内存,两次添加相当于只成功了一次,所以 remove 就会报错:
将 list 修改为局部变量,就能避免以上问题,主要是局部变量会每个线程创建一个对象,而不会共用一个对象。
2、方法访问修饰符带来的思考,如果把 method2 和 method3 的方法修改为 public 会不会带来线程安全问题?
情况1:有其它线程调用 method2 和 method3
无论是private还是public只要是局部变量,就不会出现以上问题,因为每个线程调用它时都会创建独有的对象
情况2:在 情况1 的基础上,为 ThreadSafe 类添加子类,子类覆盖 method2 或 method3 方法,即
class ThreadSafeSubClass extends ThreadSafe{
@Override
public void method3(ArrayList<String> list) {
new Thread(() -> {
list.remove(0);
}).start();
}
}
这个时候,局部变量就暴露在另一个线程下了。这个时候就体现方法private的用处了,私有方法是不能为重写的。所以加了private的方法就不会有之前的问题。或者在集合所在的那个方法加上final关键字。
注意:如果fianl加在创建对象的时候,如:final Date date = new Date();代表的是date引用的对象new Date()不能变,但是不代表Date对象里面的属性不能变
从这个例子可以看出 private 或 final 提供【安全】的意义所在