Java并发编程(六) : Java内存模型(JMM-原子性、可见性、有序性)、volatile原理、volatile保证可见性, 有序性、单例设计模式(各种实现分析)

共享模型之内存

多线程的三大特性 (原子性、可见性、有序性)

• 之前讲的synchronized底层Monitor主要关注的是访问共享变量时，保证临界区代码的 原子性 。下面进一步深入学习共享变量在多线程间的【可见性】问题与多条指令执行时的【有序性】问题

一、 Java 内存模型 (重点)

• JMM 即 Java Memory Model ，它从Java层面定义了 主存、工作内存 抽象概念，底层对应着CPU 寄存器、缓存、硬件内存、CPU 指令优化等。JMM 体现在以下几个方面
  • 原子性 - 保证指令不会受 线程上下文切换的影响
  • 可见性 - 保证指令不会受 cpu 缓存的影响 (JIT对热点代码的缓存优化)
  • 有序性 - 保证指令不会受 cpu 指令并行优化的影响

1、 可见性 (重点)