记一次Java并发本地内存、主内存相关

一、先上一段代码：

package com.wx.wxjob;

public class Test {
    
    public static void main(String[] args) {
        Aobing a = new Aobing();
        a.start();
        for (; ; ) {
            if (a.isFlag()) {
                System.out.println("有点东西");
            }
        }
    }
}

class Aobing extends Thread {

    private boolean flag = false;

    public boolean isFlag() {
        return flag;
    }

    public void run() {
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        flag = true;
        System.out.println("flag=" + flag);
    }


}

想想看会输出什么呢？

 

我们先从TestThread类来分析：

我们定义布尔类型的成员变量，然后在线程run后休眠1秒，然后修改布尔为true 打印isFlag方法。

回到我们的main方法，我们创建TestThread类，然后执行了run方法，判断isFlag是否为true true则打印输出文字。

 

二、流程分析

1. TestThread run之后 cpu 没有马上执行，我们获取到的状态此时是false,那循环内，就不会输出任何东西，接着cpu执行了刚刚的线程，此时flag变成true了，有的人可能认为就会打印文字了。但是结果却并没有打印文字（后面我会解释为什么没有）。

2. TestThread run之后  cpu马上执行，这里我们可以将sleep时间改成1，获取去掉sleep方法，也就是说子线程很快修改了flag的值，而我们的main线程此时去获取拿到了就是修改后的flag为true之后的值，循环体内的print方法打印出了文字。

 

三、结果说明

     为什么 流程分析1 更新了值为true 后却不打印数据呢？？这个要说到一个java线程操作成员变量时有个临时副本，和主内存的概念，我们看下图

 

我们结合上面的代码来说明吧，此时主内存里的flag 为 false ,线程1 读到之后呢将flag放进自己的内存副本，以后的操作会直接操作内存副本数据，此时是false,线程2 进来获取到flag也为flase,同样写入副本，然后修改副本的值，方法结束，此时将true值传入主内存，但是线程1 一直在循环 判断自己副本里的flag,此时他一直是false,所以一直没有打印。

 

这里给大家看一个好玩的，在原来的基础上我在else里面打印了一串数据，结果竟然变了。很有意思啊

这里只是在else中加了一个输出。

  public static void main(String[] args) {
        Aobing a = new Aobing();
        a.start();
        for (; ; ) {
            if (a.isFlag()) {
                System.out.println("有点东西");
            }
            else {
                System.out.println("不是东西");
            }
        }
    }

奇怪的事情发生了，控制台先打印不是东西，后面竟然打印了有点东西，这让我百思不得其解啊，后来想了半天，最后我没办法，我在想难道是print方法的问题？于是我点进去看了下，然后目瞪口呆。

    /**
     * Prints a String and then terminate the line.  This method behaves as
     * though it invokes <code>{@link #print(String)}</code> and then
     * <code>{@link #println()}</code>.
     *
     * @param x  The <code>String</code> to be printed.
     */
    public void println(String x) {
        synchronized (this) {
            print(x);
            newLine();
        }
    }

原来我们最熟悉又陌生的println方法是上锁的，因为Synchronized，导致线程刷新内存了，也就是说，线程副本里的flag被刷新成true,真的太难了，后来我百度了下，原来sleep方法也会刷新内存。

 

四、总结

关于多线程模块的知识一直是比较复杂的，我们通过分析可以看出，为什么在多线程中操作一些普通的成员变量是有问题的，这就是我们常说的内存可见性，导致的问题，所以我们在做一个全局的变量时，要注意选择合适的方案，比方说用volatile关键字实现内存可见，是不是需要保证原子性操作等，可以用JUC下的一些线程安全的原子操作类，如果线程间需要隔离，不妨试试ThreadLocal等。