并发编程 02 - 可见性问题分析

为什么会产生线程并发的三大问题

CPU、内存、io 三者存在速度差异

CPU 执行一条普通指令需要一天，CPU 读写内存得等待一年的时间；

内存是天上一天，I/O 设备是地上十年；

计算机硬件生态↓

如何平衡速度差异，高效利用CPU性能

1. 等待时是阻塞状态，出现资源利用的问题，不能让CPU处于闲置状态。所以CPU 增加了缓存，以均衡与内存的速度差异； （可见性问题）
2. 操作系统增加了进程、线程，以分时复用 CPU，进而均衡 CPU 与 I/O 设备的速度差异；（原子性问题）
3. 编译程序优化指令执行次序，使得缓存能够得到更加合理地利用。但JVM深度优化会造成活性失效，是导致线程安全问题的源头。（有序性问题）

有序性

在 Java 领域一个经典的案例就是利用双重检查创建单例对象，例如下面的代码：

在获取实例 getInstance() 的方法中，我们首先判断 instance 是否为空，如果为空，则锁定 Singleton.class 并再次检查 instance 是否为空，如果还为空则创建 Singleton 的一个实例。

为什么要这样操作？

public class Singleton {
   
  static Singleton instance;
  static Singleton getInstance(){
   
    if (instance == null) {
   
      synchronized(Singleton.class) {
   
        if (instance == null)
          instance = new Singleton();
        }
    }
    return instance;
  }
}

因为 高级语言 下，创建对象的方式，实际上也是由多条CPU指令实现的；要避免多线程创建对象时的线程切换导致创建了多个对象，不满足单