“Happens-before”规则和 8种内存交互的原子操作

“Happens-before”规则:

用于保证有序性,假如两个操作之间不存在以下关系,并且无法从以下规则推导出,那么虚拟机可以对去进行随意的重排序:

  • 程序次序规则:在一个线程内,按照程序代码的顺序,书写在前面的操作现行发生于书写在后面的操作。准确的说,应该是控制流的顺序而不是程序代码顺序,因为要考虑分支循环的等结构。
  • 管程锁定规则: 一个unlock操作现行发生于后面一个对同一个锁的lock操作。这里必须强调的是同一个锁,而”后面”是指时间上的先后顺序
  • volatile变量规则:对一个volatitle变量的写操作先发生于后面的对这个变量的读操作,这里的”后面”是指时间上的。
  • 线程启动规则:Thread对象的start()方法先发生于此现成的每一个动作。
  • 线程终止规则: 线程中的所有操作都先发生于对此线程的终止检测,我们可以通过Thread.join()方法结束、Tread.isAlive()方法的返回值等手段检测到线程已经终止执行。
  • 线程中断规则:对线程interupt()方法的调用先行发生于被中断线程的代码检测到中断时间的发生。可以通过Tread.interupted()方法检测到是否发生了中断。
  • 对象最终规则:一个对象的初始化完成(构造函数执行结束)先行发生于它的finalize()方法的开始。
  • 传递性:如果操作A先行发生于操作B,那么B现行发生于操作C,那就可以的操作A现行发生于操作C的结论。

JAVA内存模型中定义了以下8种操作来完成工作内存与主存的交互,虚拟机保证了每一种操作都是原子操作、不可再分的。(double 和 long 类型变量在部分平台允许例外,主要与其在内存中所占位数有关。)

  • lock:作用于主内存,把变量标识为线程独占状态。
  • unlock:作用于主内存,解除独占状态。
  • read:作用主内存,把一个变量的值从主内存传输到线程的工作内存。
  • load:作用于工作内存,把read操作传过来的变量值放入工作内存的变量副本中。
  • use:作用工作内存,把工作内存当中的一个变量值传给执行引擎。
  • assign:作用工作内存,把一个从执行引擎接收到的值赋值给工作内存的变量。
  • store:作用于工作内存的变量,把工作内存的一个变量的值传送到主内存中。
  • write:作用于主内存的变量,把store操作传来的变量的值放入主内存的变量中。

你可能感兴趣的:(JVM)