在java 内存模型中每一个线程运行时都有一个线程栈,线程栈保存了线程运行时候变量值的信息。当线程访问某一个对象值得时候,首先通过对象的引用找到在堆内存的变量的值(read),然后把这在队内变量的具体值load到线程本地内存,建立一个变量副本,之后线程就不在和堆内存变量的值有任何关系,而是直接修改副本变量的值,在修改完之后的某一个时刻(线程退出之前),自动把线程变量副本的值回写到对象在堆内存该变量中,这样堆内存中这个对象的值就发生变化了。
public class Counter {
private volatile int count = 0;
public void inc() throws InterruptedException {
Thread.sleep(3);
count++;
}
@Override
public String toString() {
return "[count=" + count + "]";
}
}
public class Test3 {
public static void main(String[] args) {
final Counter counter = new Counter();
for (int i = 0; i < 1000; i++) {
new Thread(()->{
try {
counter.inc();
} catch (InterruptedException e) {
e.printStackTrace();
}
}).start();
}
System.out.println(counter);
}
}
所以上述结果,开启了1000个子线程,每个线程修改变量只是临时修改了 自己的副本,当线程结束时再将修改的值写入在主内存中,这样就出现了线程安全问题。因此结果就不可能等于 1000 了,一般都会小于 1000。