Java并发编程：JMM

• JMM（Java Memory Model）表示Java内存模型。JMM屏蔽掉了各种硬件和操作系统的内存访问差异，以实现让 Java 程序在各种平台下都能达到一致性的内存访问效果。
• JMM的特点：
  • 可见性（通知机制）
  • 原子性
  • 有序性
• JMM本身是一种抽象的概念并不真实存在，它描述的是一组规则或规范，通过这组规范定义了程序中各个变量（包括实例字段、静态字段和构成数组对象的元素）的访问方式。
• JMM关于同步的规定：
  • 线程解锁前，必须把共享变量的值刷新回主内存；
  • 线程加锁前，必须读取主内存最新的值到自己的工作内存；
  • 加锁解锁是用的同一把锁。

• 由于JVM运行内存的实体是线程，而每个线程创建的时候JVM都会为其创建一个工作内存（栈空间），工作内存是每个线程的私有区域，而Java内存模型中规定所有变量都存储在主内存，主内存是共享内存区域，所有线程都可以访问，但线程对变量的操作（读取赋值等）必须在工作内存中进行，首先要将变量从主内存中拷贝到自己的工作内存空间，然后对变量进行操作，操作完成后再将变量写回主内存，不能直接操作主内存中的变量，各个线程的工作内存中存储着主内存中的变量副本拷贝，因此不同的线程间无法访问对方的工作内存，线程间的通信（传值）必须通过主内存完成。
• 当变量使用了volatile关键字后，就能够保证当前线程一旦修改了从主内存拷贝过来的值，能够马上被其他拷贝了主内存的值的线程知道。可以使用volatile来保证多线程操作时变量的可见性。
• 关于主内存与工作内存之间具体的交互协议，即：一个变量如何从主内存拷贝到工作内存、如何从工作内存同步回主内存之类的实现细节，Java内存模型中定义8种操作来完成。虚拟机实现必须保证每一个操作都是原子的，不可再分的（对于double和long类型的变量来说，load、store、read和write操作在某些平台上允许例外）。

• lock（锁定）：作用于主内存的变量，把一个变量标识为线程独占状态。
• unlock（解锁）：作用于主内存的变量，把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。
• read（读取）：作用于主内存变量，把一个变量的值从主内存传输到线程的工作内存中，以便随后的load动作使用。
• load（载入）：作用于工作内存的变量，把read操作从主存中读取的变量值放入工作内存的变量副本中。
• use（使用）：作用于工作内存中的变量，把工作内存中的变量传输给执行引擎，当虚拟机遇到一个需要使用到变量的值时会使用该指令。
• assign（赋值）：作用于工作内存中的变量，把一个从执行引擎中接收到的值放入工作内存的变量副本中。
• store（存储）：作用于工作内存中的变量，把一个工作内存中的变量的值传送到主内存中，以便后续的write使用。
• write（写入）：作用于主内存中的变量，它把store操作从工作内存中得到的变量的值放入主内存的变量中。

以上8种基本操作必须满足的规则：

• 不允许 read 和 load、store 和 write 操作之一单独出现；
• 不允许一个线程丢弃它的最近的 assign 操作，即变量在工作内存中改变之后必须把该变化同步回主内存；
• 不允许一个线程无原因地（没有发生过任何 assign 操作）把数据从线程的工作内存同步回主内存中；
• 一个新的变量只能在主内存中“诞生”，不允许在工作内存中直接使用一个未被初始化（load 或 assign）的变量，对一个变量实施 use 和 store 操作之前，必须执行过了 assign 和 load 操作；
• 一个变量在同一时刻只允许一条线程对其进行 lock 操作，但 lock 操作可以被同一线程重复执行多次，多次执行 lock 后，只有执行相同次数的 unlock，变量才会被解锁；
• 如果对一个变量执行 lock 操作，将会清空工作内存中此变量的值，在执行引擎使用这个变量前，需要重新执行 load 或 assign 操作初始化变量的值；
• 如果一个变量事先没有被 lock 操作锁定，则不允许对它执行 unlock 操作，也不允许去 unlock 一个被其他线程锁定的变量；
• 对一个变量执行 unlock 操作之前，必须先把此变量同步回主内存中（执行 store 和write 操作）。

JMM的内存可见性保证：

• 单线程程序：不会出现内存可见性问题。
• 正确同步的多线程程序：JMM通过限制编译器和处理器的重排序来提供内存可见性的保证。
• 未同步/未正确同步的多线程程序：JMM为其提供了最小安全性保障，即线程执行时读取到的值，要么是之前某个线程写入的值，要么是默认值（0、null、false）。最小安全性保障并不保证线程读取到的值一定是正确的。

并发问题解决方法：

• 无锁
  （1）局部变量：局部变量仅存在于每个线程的工作过内存中
  （2）不可变对象：如字符串对象
  （3）ThreadLocal
  （4）CAS原子类：乐观锁
• 有锁
  （1）synchronized：悲观锁
  （2）ReentrantLock：悲观锁