<p>JMM(Java 内存模型)相关的问题比较多,也比较重要,于是我单独抽了一篇文章来总结 JMM 相关的知识点和问题:JMM(Java 内存模型)详解 。</p>
讯享网
如何保证变量的可见性?
在 Java 中, 关键字可以保证变量的可见性,如果我们将变量声明为 ,这就指示 JVM,这个变量是共享且不稳定的,每次使用它都到主存中进行读取。
关键字其实并非是 Java 语言特有的,在 C 语言里也有,它最原始的意义就是禁用 CPU 缓存。如果我们将一个变量使用 修饰,这就指示 编译器,这个变量是共享且不稳定的,每次使用它都到主存中进行读取。
关键字能保证数据的可见性,但不能保证数据的原子性。 关键字两者都能保证
如何禁止指令重排序?
在 Java 中, 关键字除了可以保证变量的可见性,还有一个重要的作用就是防止 JVM 的指令重排序。 如果我们将变量声明为 ,在对这个变量进行读写操作的时候,会通过插入特定的 内存屏障 的方式来禁止指令重排序。
在 Java 中, 类提供了三个开箱即用的内存屏障相关的方法,屏蔽了操作系统底层的差异:
讯享网
理论上来说,你通过这个三个方法也可以实现和禁止重排序一样的效果,只是会麻烦一些。

volatile 可以保证原子性么?
关键字能保证变量的可见性,但不能保证对变量的操作是原子性的。
为什么会出现这种情况呢?不是说好了, 可以保证变量的可见性嘛!
也就是说,如果 能保证 操作的原子性的话。每个线程中对 变量自增完之后,其他线程可以立即看到修改后的值。5 个线程分别进行了 500 次操作,那么最终 inc 的值应该是 5*500=2500。
很多人会误认为自增操作 是原子性的,实际上, 其实是一个复合操作,包括三步:
- 读取 inc 的值。
- 对 inc 加 1。
- 将 inc 的值写回内存。
是无法保证这三个操作是具有原子性的,有可能导致下面这种情况出现:
- 线程 1 对 进行读取操作之后,还未对其进行修改。线程 2 又读取了 的值并对其进行修改(+1),再将 的值写回内存。
- 线程 2 操作完毕后,线程 1 对 的值进行修改(+1),再将 的值写回内存。
这也就导致两个线程分别对 进行了一次自增操作后, 实际上只增加了 1。
其实,如果想要保证上面的代码运行正确也非常简单,利用 、或者都可以。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容,请联系我们,一经查实,本站将立刻删除。
如需转载请保留出处:https://51itzy.com/kjqy/150919.html