Java并发(1) i++的线程安全问题

1. 问题背景条件

• 多线程操作同一变量
• 此处不可能是局部变量，肯定是成员变量或静态变量
  • PS：为什么不可能是局部变量？
    1. 需要多线程访问局部变量，那么多个线程就必须在方法中进行定义，如使用匿名内部类方式定义多个线程。
    2. 在使用匿名内部类引用局部变量时，局部变量必须通过final来修饰。这样做的原因是变量的生命周期问题。
    3. final修饰的变量，不管是int还是Integer，都不能进行自加操作。

---

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);
	}
}