关于Java变量的可见性问题

关于Java变量的可见性问题

博文前提

最近在oschina问答板块看到了一个关于java变量在工做内存和主存中的可见性问题：synchorized,sleep 也能达到volatile 线程可见性的目的?,大体的问题描述以下：

package com.test;
import java.util.concurrent.TimeUnit;

public class test1 {

    private static boolean is = true;
    public static void main(String[] args) {
        new Thread(new Runnable() {
            @Override
            public void run() {
                int i = 0;
                while(test1.is){

                   i++;

                   1 //synchronized (this) { } 会强制刷新主内存的变量值到线程栈?
                   2 //System.out.println("1"); println 是synchronized 的,会强制刷新主内存的变量值到线程栈?
                   3 //sleep 会重新load主内存的值? 
                     //    try {
                     //       TimeUnit.MICROSECONDS.sleep(1);
                     //   }catch (InterruptedException e) {
                     //      e.printStackTrace(); 
                     //   }
                } 
            }
        }).start();
         try {
            TimeUnit.SECONDS.sleep(1);
            } catch (InterruptedException e) {
                e.printStackTrace();  
            }
        new Thread(new Runnable() {
            @Override
            public void run() {
                is = false;  //设置is为false，使上面的线程结束while循环
            }
        }).start();
    }
}

问： 为何整个程序不会终止？ 为何取消注释中的任何一个代码块(1，2，3)，程序才会终止？synchronized 会强制刷新住内存的变量值到线程栈? sleep 会干什么呢？

涉及知识解释

• volatile：此关键字保证了变量在线程的可见性，全部线程访问由volatile修饰的变量，都必须从主存中读取后操做，并在工做内存修改后当即写回主存，保证了其余线程的可见性，一样效果的关键字还有final。

• synchronized：全部同步操做都必须保证 一、原子性 二、可见性，因此在同步块中发生的变化会立马写回主存

• sleep：此方法只会让出CPU执行时间，并不会释放锁。

问题分析

Q1：为何注释代码后程序不会终止？

A1：由于 boolean is=true 的变量值被前面线程（简称线程A）加载到本身的工做内存，在后面的线程（简称线程B）改变 boolean is=false 以后不必定会立马写入主存(不过这道题中应该会立刻写入主存，由于线程执行完 is=false以后线程就要退出了)，即使立马写入了主存后线程A也不必定立刻load到工做内存中，因此程序一直不会终止？这个是咱们大多数人想到的，但其实JVM针对如今的硬件水平已经作了很大程度的优化，基本上很大程度的保障了工做内存和主内存的及时同步，至关于默认使用了volatile。但只是最大程度！在CPU资源一直被占用的时候，工做内存与主内存中间的同步，也就是变量的可见性就会不那么及时！后面会验证结论。

Q2：为何取消注释中的任何一个代码块(1，2，3)，程序才会终止？

A2：行号为一、2的代码有一个共同特色，就是都涉及到了synchronized 同步锁，那么是否像提问做者猜测的那样synchronized会强制刷新主内存的变量值到线程栈？，以及sleep方法也会刷新主存的变量值到线程栈呢？，事实上咱们前面说了synchronized只会保证在同步块中的变量的可见性，而is变量并不在该同步块中，因此显然不是这个致使的。接下来咱们在代码i++;后面加上如下代码：

for(int k=0;k<100000;k++){
    new Object();
}

再Run，程序马上终止！为何？在上面的 A1 中咱们已经说了即使有JVM的优化，但当CPU一直被占用的时候，数据的可见性得不到很好的保证，就像上面的程序一直循环作i++;运算占用CPU，而为何加上上面的代码后程序就会中止呢？由于对于大量new Object()操做来讲，CPU已经不是主要占时间的操做，真正的耗时应该在内存的分配上（由于CPU的处理速度明显快过内存，否则也不会有CPU的寄存器了），因此CPU空闲后会遵循JVM优化基准，尽量快的保证数据的可见性，从而从主存同步is变量到工做内存，最终致使程序结束，这也是为何sleep()方法虽然没有涉及同步操做，可是依然可使程序终止，由于sleep()方法会释放CPU，但不释放锁！

结束

技术在于不断的学习和成长，坚持写博客 和技术输出，对本身的成长会有很大帮助，若有错误 欢迎指正，拒绝人身攻击。