Java 关键字-violate
简介
- 一个变量被此修饰则表明是对所有线程可见的，满足一致性 即各个线程的工作内存能立即发现该变量的改变并保证一致性。
- 防止指令重排序。
细节
一个变量被violate修饰，则被虚拟机解释转换成虚拟机识别的指令如下：
lock addl $Oxo，（%esp)
- 多一个lock
- 后面是空指令
- lock和nop不能同时执行
- lock作用
- 使CPU的Cache立即写入内存，该写入动作会使其他CPU的Cache无效化。也即是对变量进行了store和write操作。 所以通过这个带lock前缀的空操作能试对violate修饰的变量的修改对其他CPU立即可见
- 设立了一个内存屏障，使后面的指令不能重排序到前面的指令。意味着所有之前的操作都已经执行完成了
本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！