分析线程并发访问代码解释原因

class ConcurrentThread {
    /**
     * 分析线程并发访问代码解释原因
     * volatile关键字：
     * 1):保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的
     * 2):禁止进行指令重排序
     * volatile本质是告诉JVM当前变量在寄存器(工作内存)中的值是不确定的，需要从主存中读取
     */

    private volatile int count = 0;

    public void inc() {
        try {
            Thread.sleep(3);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        count++;
    }

    @Override
    public String toString() {
        return "[count=" + count + "]";
    }
}
//----------------------------------------

public class VolatileTest {
    public static void main(String[] args) {
        final ConcurrentThread counter = new ConcurrentThread();
        for (int i = 0; i < 1000; i++) {
            new Thread(new Runnable() {
                @Override
                public void run() {
                    counter.inc();
                }
            }).start();
        }
        System.out.println(counter);
    }
}

   原因解释：在Java的内存模型中每一个线程运行时都有一个线程栈，线程栈保存了线程运行时候变量值信息

　　　　　　当线程访问某一个对象值得时候：

　　　　　　1、通过对象的引用找到对应在堆内存的变量的值

　　　　　　2、把堆内存变量的具体值load到线程本地内存中，建立了一个变量副本，之后线程就不再和对象在堆内存变量值有任何关系，而是直接修改副本变量的值，在修改完之后的某一个时刻(线程退出之前)，自动把线程变量副本的值回写到对象在堆中变量。这样堆中的对象的值就产生变化了。

　　结合上例，也就是说上面主函数中开启了1000个子线程，每个线程都有一个变量副本，每个线程修改变量只是临时修改了自己的副本，当线程结束时再将修改的值写入在主内存中，这样就出现了线程安全问题(拿到了主内存中过时的变量值)，因此结果就不可能等于1000了，一般都会小于1000.