JMM

• 硬件内存处理
  
• JVM内存处理
  
• 内存间交互操作
  
  
  • lock（锁定）：作用于主内存的变量，把一个变量标识为一条线程独占状态。
  • unlock（解锁）：作用于主内存变量，把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。
  • read（读取）：作用于主内存变量，把一个变量值从主内存传输到线程的工作内存中，以便随后的load动作使用
  • load（载入）：作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作内存的变量副本中。
  • use（使用）：作用于工作内存的变量，把工作内存中的一个变量值传递给执行引擎，每当虚拟机遇到一个需要使用变量的值的字节码指令时将会执行这个操作。
  • assign（赋值）：作用于工作内存的变量，它把一个从执行引擎接收到的值赋值给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作。
  • store（存储）：作用于工作内存的变量，把工作内存中的一个变量的值传送到主内存中，以便随后的write的操作。
  • write（写入）：作用于主内存的变量，它把store操作从工作内存中一个变量的值传送到主内存的变量中。
  • 原则
    
    • 必须顺序执行,但不需要连续执行
    • read和load/store和write必须一起出现
    • 不允许丢弃assign操作,在工作内存中改变了变量必须同步到主内存中
    • 没有经过assign操作,不能将工作内存同步到主内存中
    • 新的变量一定产生在主内存
    • 如果对一个变量进行lock()操作则会清除该线程工作内存中的副本,需要重新执行load/assign
    • unlock()操作只能对该线程中已经lock()的变量执行,否则报错
    • 对一个变量unlock()需要先store()和write()回主内存
• 重排序
  
  
  • 编译器优化的重排序: 编译器在不改变单线程程序语义的前提下,重新安排语句执行顺序
  • 指令级并行的重排序: 处理器采用指令级并行技术使多条指令重叠执行(不存在数据依赖的情况下)
  • 内存系统的重排序:　由于处理器使用缓存与读写缓存区，是加载和存储操作看上去可能在乱序执行
• 内存模型三大特性
  
  • 原子性: 单个操作具有原子性
  • 可见性: 当一个线程改变了共享变量的值, 其他线程能够马上得知
  • 有序性: 在本线程中观察, 所有操作都是有序的. 在其他线程中观察所有操作都是无序的