1. 问题背景条件
- 多线程操作同一变量
- 此处不可能是局部变量,肯定是成员变量或静态变量
- PS:为什么不可能是局部变量?
- 需要多线程访问局部变量,那么多个线程就必须在方法中进行定义,如使用匿名内部类方式定义多个线程。
- 在使用匿名内部类引用局部变量时,局部变量必须通过final来修饰。这样做的原因是变量的生命周期问题。
- final修饰的变量,不管是int还是Integer,都不能进行自加操作。
- PS:为什么不可能是局部变量?
2. 引起线程安全问题的原因
- 内存可见性
- i++操作过程
3. 内存可见性
- Java内存模型
- 在A线程执行i++结束后,如果没有及时把缓存中的结果刷新到主内存,B线程就开始执行i++操作,那么结果就会出错。
- 解决方案:使用volatile关键字修饰。
4. i++的操作过程
4.1. 如何得知i++或Java代码的实际操作过程?
通过javap反编译代码,分析字节码命令(给我的感觉像汇编)
int i = 0;
i = i++;
//为什么这里的结果i = 0呢?
//反编译这段代码得到结果
/*
0: iconst_0 //将常量0压入栈中
1: istore_1 //将栈顶int型数据存入第1个本地变量 i=0
2: iload_1 //将第1个int型本地变量推送到栈顶 tp = i
3: iinc 1, 1 //将第1个本地变量加1(栈顶元素不会发生变化)i = i+1
6: istore_1 //将栈顶的数据保存到第1个本地变量中 i = tp
7: return
*/
4.2. i++的字节码
- 成员变量的自增操作
/*
0: aload_0 //将第一个引用类型本地变量推送到栈顶,即this
1: dup //复制栈顶数值,并将结果压入栈顶
2: getfield #2 //获取类的实例域,将得到的数据压入栈顶 tp = i
5: iconst_1 //将常量1压入栈顶 tp2 = 1
6: iadd //计算栈顶两个int数值的和,并将结果压入栈顶 tp3 = tp+tp2
7: putfield #2 //赋值实例域 i=tp3
10: return
*/
- 静态变量的自增操作
/*
0: getstatic #5 //获取静态域,并将结果放入栈顶 tp = i
3: iconst_1 //将常量1压入栈顶 tp2 = 1
4: iadd //计算栈顶两个int类型的和,并将结果压入栈顶 tp3 = tp+tp2
5: putstatic #5 //赋值静态域 i=tp3
8: return
*/
- 总结
//i++的总体过程可以分为
tp = i //1
tp2 = tp+1 //2
i = tp2 //3
4.3. 线程安全问题
4.3.1. 原理伪代码
//假设存在一个静态变量i,有两个线程想要执行i++操作
static int i = 0;
//线程A执行以下三个过程
int tp1 = i; //1
int tp2 = tp1+1; //2
i = tp2; //3
//线程B执行以下三个过程
int tp3 = i; //4
int tp4 = tp3+1; //5
i = tp4; //6
//如果线程的执行顺序是1->2->3->4->5->6,那么结果就是正确的
//如果线程执行顺序是1->4->2->3->5->6,那么结果就是错误的
4.3.2. 可运行测试代码
//希望输出是0,但结果几乎每次都不一样
public class IncTest {
private volatile static int i = 0;
public static void main(String[] args) throws InterruptedException {
Thread a = new Thread() {
@Override
public void run() {
for( int j = 0 ; j < 1000000 ; j++ ) i++;
}
};
a.start();
Thread b = new Thread() {
@Override
public void run() {
for( int j = 0 ; j < 1000000 ; j++ ) i--;
}
};
b.start();
a.join();
b.join();
System.out.println(i);
}
}