关于线程死循环使用static变量的一个奇怪现象

关于线程死循环使用static变量的一个奇怪现象

在说这个奇怪现象之前，我们先来看一段有关volatile修饰变量的案例，代码如下

package com.leo.thread.t01;

import com.leo.util.CommonUtil;

/**
 * @Author: duan
 * @Date: Create in 17:00 2021/4/28
 *
 */
public class DamenThreadTest {
    private static /*volatile*/ boolean stop = false;
    private static boolean flag = false;//用于测试比较上面的stop变量
    public static void main(String[] args) {
        Thread t1 = new Thread("音乐线程") {
//            int count;（4）
            @Override
            public void run() {
                /*  奇怪现象，当如下循环体中没有代码时，必须加 volatile 修饰stop才会跳出循环
                    但是当循环体中有代码时，则可以不加volatile修饰 stop 变量，也可以跳出循环
                 */
                while (!stop) {
//                    CommonUtil.sleep(1);（1）
//                    System.out.println("循环播放音乐中..............." /*+ count++*/);（2）
//                int k = 0;（3）
//                    count++;（4）
//                    add();（5）
                }
            }
        };
        t1.start();

        CommonUtil.sleep(1000);//只是一个Thread.sleep()方法的封闭，不想出现太多try-catch
        for (int i = 0; i < 10; i++) {
            CommonUtil.sleep(500);
            System.out.println("死亡到计时");
        }
        new Thread() {
            @Override
            public void run() {
                stop = true;
                System.out.println("修改stop为true");
            }
        }.start();
        System.out.println("主线程已经执行完毕了");
    }

    public synchronized static void add() {

    }
}

如上面的代码，当stop变量没有使用volatile修饰时，且while死循环中的代码都被注释，该循环是不会跳出的。因为线程中的stop副本不会有任何变化。那是不是有代码就可以了呢？

​ 答案肯定不是，我们可以上面代码中的(3)或(4)注释去掉，会发现结果还是一样。循环不会退出。但是如果我们将上面的(1)或(2)或(5)的代码注释掉，循环就会退出，这是什么原因呢？

​ 在这里我们首先在观察一下(3)、(4)和(1)、(2)、(5)代码的不同之处。原来(1)、(2)、(5)都有锁的操作，不管放不放锁或者有没有获得锁，只有有锁相关的代码，那么线程副本中的stop变量就会刷新。通过查询资料，这个资料查的不容易，当时只知道是一种奇怪现象，整整查了一整天，到第二天早上，狗shi运让我找到一份资料，https://www.jianshu.com/p/0a44acea9598。里面对面JMM内存模型的原子操作做了详细说明。才真正理解这个现象的原因。重点我直接给大家摘出来