chapter16_Java内存模型_1_什么是内存模型及为什么需要它

• 底层中出现一些的问题

  (1) 编译器中生成的指令顺序, 未必与源代码中的顺序相同

  (2) 编译器会把变量保存在寄存器而非内存中

  (3) 处理器可以乱序或并行执行指令

  (4) 缓存可能会改变将写入变量提交到主内存的次序

  (5) 保存在处理器本地缓存中的值, 对于其他处理器是不可见的

• JVM保证的__偏序关系__

  (1) 程序顺序规则

  如果程序中操作A在操作B之前, 那么当前线程中A操作将在B操作之前执行(从其他线程来看未必如此)

  (2) 监视器锁规则

  监视器锁上的解锁操作必须在同一个监视器锁上的加锁之前执行(包括显示锁Lock和内置锁synchronized)

  (3) volatile变量规则

  对volatile变量的写入操作必须在对该变量的读操作之前执行(包括原子变量Atomic)

  (4) 线程启动规则

  对Thread.start的调用必须在该线程中执行任何操作之前执行

  (5) 线程结束规则

  线程中的任何操作都必须在其他线程检测到该线程已经结束之前执行

  (6) 中断规则

  当一个线程在另一个线程上调用interrupt时, 必须在被中断线程检测到interrupt调用之前执行

  (7) 终结器规则

  对象的构造函数必须在启动该对象的终结器之前执行完成

  (8) 传递性

  A在B之前执行, B在C之前执行, 则A在C之前执行