Java 关键字-violate

简介

• 一个变量被此修饰则表明是对所有线程可见的，满足一致性 即各个线程的工作内存能立即发现该变量的改变并保证一致性。
• 防止指令重排序。

细节

一个变量被violate修饰，则被虚拟机解释转换成虚拟机识别的指令如下：

lock addl $Oxo，（%esp)

• 多一个lock
• 后面是空指令
  
  • lock和nop不能同时执行
• lock作用
  
  • 使CPU的Cache立即写入内存，该写入动作会使其他CPU的Cache无效化。也即是对变量进行了store和write操作。 所以通过这个带lock前缀的空操作能试对violate修饰的变量的修改对其他CPU立即可见
  • 设立了一个内存屏障，使后面的指令不能重排序到前面的指令。意味着所有之前的操作都已经执行完成了