jvm内存模型有哪些（jvm内存模型哪些是共享的）



JMM（Java 内存模型）相关的问题比较多，也比较重要，于是我单独抽了一篇文章来总结 JMM 相关的知识点和问题：JMM（Java 内存模型）详解 。

如何保证变量的可见性？

在 Java 中， 关键字可以保证变量的可见性，如果我们将变量声明为 ，这就指示 JVM，这个变量是共享且不稳定的，每次使用它都到主存中进行读取。

关键字其实并非是 Java 语言特有的，在 C 语言里也有，它最原始的意义就是禁用 CPU 缓存。如果我们将一个变量使用 修饰，这就指示 编译器，这个变量是共享且不稳定的，每次使用它都到主存中进行读取。

关键字能保证数据的可见性，但不能保证数据的原子性。 关键字两者都能保证

如何禁止指令重排序？

在 Java 中， 关键字除了可以保证变量的可见性，还有一个重要的作用就是防止 JVM 的指令重排序。 如果我们将变量声明为 ，在对这个变量进行读写操作的时候，会通过插入特定的 内存屏障 的方式来禁止指令重排序。

在 Java 中， 类提供了三个开箱即用的内存屏障相关的方法，屏蔽了操作系统底层的差异：

理论上来说，你通过这个三个方法也可以实现和禁止重排序一样的效果，只是会麻烦一些。 

volatile 可以保证原子性么？

 关键字能保证变量的可见性，但不能保证对变量的操作是原子性的。

为什么会出现这种情况呢？不是说好了， 可以保证变量的可见性嘛！

也就是说，如果 能保证 操作的原子性的话。每个线程中对 变量自增完之后，其他线程可以立即看到修改后的值。5 个线程分别进行了 500 次操作，那么最终 inc 的值应该是 5*500=2500。

很多人会误认为自增操作 是原子性的，实际上， 其实是一个复合操作，包括三步：

1. 读取 inc 的值。
2. 对 inc 加 1。
3. 将 inc 的值写回内存。

是无法保证这三个操作是具有原子性的，有可能导致下面这种情况出现：

1. 线程 1 对 进行读取操作之后，还未对其进行修改。线程 2 又读取了 的值并对其进行修改（+1），再将 的值写回内存。
2. 线程 2 操作完毕后，线程 1 对 的值进行修改（+1），再将 的值写回内存。

这也就导致两个线程分别对 进行了一次自增操作后， 实际上只增加了 1。

其实，如果想要保证上面的代码运行正确也非常简单，利用 、或者都可以。

版权声明：

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如若内容造成侵权、违法违规、事实不符，请将相关资料发送至xkadmin@xkablog.com进行投诉反馈，一经查实，立即处理！

转载请注明出处，原文链接：https://www.xkablog.com/bcyy/20179.html