java内存模型和内存结构

总览

许多多线程代码开发人员都熟悉这样的想法，即不同的线程可以对持有的值有不同的看法，这不是唯一的原因，即如果线程不安全，它可能不会看到更改。 JIT本身可以发挥作用。

为什么不同的线程看到不同的值？

当您有多个线程时，它们将尝试例如通过尝试访问同一内存来最小化它们将交互的数量。为此，他们有一个单独的

本地副本，例如在1级缓存中。该缓存通常最终是一致的。我已经看到了两个线程看到不同值的短时间，范围在1微秒到10毫秒之间。最终，线程被上下文切换，缓存被清除或更新。无法保证何时会发生这种情况，但是几乎总是不到一秒钟。

JIT如何发挥作用？

Java内存模型表示无法保证不是线程安全的字段将看到更新。这允许JIT进行优化，将仅读取而不写入的值有效地内联到代码中。这意味着即使更新了缓存，更改也可能不会反映在代码中。

一个例子

该代码将一直运行，直到将布尔值设置为false为止。

>static class MyTask implements Runnable {
    private final int loopTimes;
    private boolean running = true;
    boolean stopped = false;

    public MyTask(int loopTimes) {
        this.loopTimes = loopTimes;
    }

    @Override
    public void run() {
        try {
            while (running) {
                longCalculation();
            }
        } finally {
            stopped = true;
        }
    }

    private void longCalculation() {
        for (int i = 1; i < loopTimes; i++)
            if (Math.log10(i) < 0)
                throw new AssertionError();
    }
}

public static void main(String... args) throws InterruptedException {
    int loopTimes = Integer.parseInt(args[0]);
    MyTask task = new MyTask(loopTimes);
    Thread thread = new Thread(task);
    thread.setDaemon(true);
    thread.start();
    TimeUnit.MILLISECONDS.sleep(100);
    task.running = false;
    for (int i = 0; i < 200; i++) {
        TimeUnit.MILLISECONDS.sleep(500);
        System.out.println("stopped = " + task.stopped);
        if (task.stopped)
            break;
    }
}

该代码反复执行一些对内存没有影响的工作。唯一的区别是需要多长时间。通过花费更长的时间，它将确定在运行之前或之后将run（）中的代码优化为false。

如果我用10或100和-XX：+ PrintCompilation来运行，我会看到

111    1     java.lang.String::hashCode (55 bytes)
112    2     java.lang.String::charAt (29 bytes)
135    3     vanilla.java.perfeg.threads.OptimisationMain$MyTask :longCalculation (35 bytes)
204    1 % ! vanilla.java.perfeg.threads.OptimisationMain$MyTask :run @ 0 (31 bytes)
stopped = false
stopped = false
stopped = false
stopped = false
... many deleted ...
stopped = false
stopped = false
stopped = false
stopped = false
stopped = false

如果我用1000运行它，您会看到run（）尚未编译并且线程停止

112    1     java.lang.String::hashCode (55 bytes)
112    2     java.lang.String::charAt (29 bytes)
133    3     vanilla.java.perfeg.threads.OptimisationMain $MyTask::longCalculation (35 bytes)
135    1 %   vanilla.java.perfeg.threads.OptimisationMain $MyTask::longCalculation @ 2 (35 bytes)
stopped = true

一旦线程被编译，即使线程将进行多次上下文切换等，也永远不会看到更改。