简介
- 一个变量被此修饰则表明是对所有线程可见的,满足一致性 即各个线程的工作内存能立即发现该变量的改变并保证一致性。
- 防止指令重排序。
细节
一个变量被violate修饰,则被虚拟机解释转换成虚拟机识别的指令如下:
lock addl $Oxo,(%esp)
- 多一个lock
- 后面是空指令
- lock和nop不能同时执行
- lock作用
- 使CPU的Cache立即写入内存,该写入动作会使其他CPU的Cache无效化。也即是对变量进行了store和write操作。 所以通过这个带lock前缀的空操作能试对violate修饰的变量的修改对其他CPU立即可见
- 设立了一个内存屏障,使后面的指令不能重排序到前面的指令。意味着所有之前的操作都已经执行完成了