尾方法中变量未同步问题

public class Test {

public static void main(String[] args) {
NewThread a = new NewThread();
NewThread b = new NewThread();
a.start();
b.start();
while(true){
if(a.n==8||b.n==8){
System.exit(0);
}
}
}
}
class NewThread extends Thread{
public  int n;
public void run() {
while(true){
n++;
System.out.println(n);
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
}

输出结果：

1

1

2

2

3

3

4

4

5

5

6

6

7

7

8

8

9

9

10

10

...

解析：

这个问题是由于JIT优化造成的BUG。JVM在运行代码时（JIT）会对代码进行一系列优化，在你代码中的main方法的进程中，a.n和b.n这两个变量没有再被传递给其他方法，即：相对于a.n和b.n这两个变量来说，main方法是它们的“尾方法”（或者说“叶方法”，最后一个经过的方法）。于是，JVM认为在单进程中（这个BUG出现的原因正是因为JVM没有考虑到多进程的情况），即使这两个变量发生了变化，也不会被其它代码观测到。于是为了减少栈开销，JVM将这两个变量分配到寄存器上，你可以理解为JVM在循环前新建了两个临时变量用于代替这两个变量，这样每次循环时就不必多次读取这两个变量。伪代码相当于如下：

int temp1=a.n;
int temp2=b.n;		
while(true){
			if(temp1==8||temp2==8){
				System.exit(0);
			}
		}

所以a.n和b.n的值永远是0。所以程序会陷入死循环。

解决方法有两个：

第一：在n变量前增加volatile修饰词，可以自行百度这个修饰词的含义，简单来说就是使得这个变量的值在所有进程间强制同步；

第二：在循环内增加语句将a.n和b.n传递出去，例如System.out.println(a.n+""+b.n);，使main方法不再是这两个变量的“尾方法”