Java并发编程：Java volatile关键字（变量可见性，可见性规则，指令重排序，Happens-Before规则）

用心去追梦

于 2024-03-08 10:50:15 发布

阅读量263

点赞数 9

文章标签： java 开发语言

本文链接：https://blog.csdn.net/qq_33240556/article/details/136555984

版权

本文介绍了Java并发编程中volatile关键字的作用，包括变量可见性、Happens-Before规则以及它如何防止指令重排序。重点讲解了volatile在实现轻量级同步和数据一致性方面的应用，以及其在单例模式和状态标志更新中的运用，同时指出其与synchronized的区别。

摘要由CSDN通过智能技术生成

Java并发编程中，volatile关键字是一个用于控制变量可见性和禁止指令重排序的关键字。以下是关于volatile关键字的几个关键特性：

变量可见性：
- 当一个线程修改了volatile修饰的共享变量时，该更新对其他所有线程立即可见，这意味着当一个线程写入volatile变量后，任何随后访问该变量的线程都会看到最新的值。
- volatile确保了多线程环境下内存可见性，它强制将当前线程对该变量的修改刷新到主内存，并且在读取volatile变量时会从主内存中获取最新值。
可见性规则：
- Java内存模型（JMM）规定，对volatile变量的写操作具有Happens-Before关系，也就是说，对volatile变量的写入先于其后的读操作发生，即使这两个操作在不同的线程中执行。
指令重排序：
- 为了优化性能，编译器和CPU可能会重新排列代码执行顺序，这可能导致多线程环境下的程序行为难以预测。
- 使用volatile关键字可以防止这种不必要的指令重排序，保证对volatile字段的操作不会与该字段之前的或之后的其他操作进行交换，从而维护程序执行的有序性。
Happens-Before规则：
- 在Java内存模型中，有一套完整的Happens-Before规则用来描述不同事件之间的偏序关系，从而保证并发环境下的数据一致性。
- 其中一条规则指出：对volatile变量的写操作happens-before后续对同一volatile变量的读操作。这条规则确保了使用volatile变量的多线程环境中的正确同步。

因此，在并发编程中，volatile关键字常被用来实现轻量级的同步机制，适用于那些要求数据可见但不需要原子性的场景。例如，在单例模式中的双重检查锁定（Double-Checked Locking）、状态标志的更新等情况下经常使用volatile变量。然而，需要注意的是，volatile并不能替代synchronized关键字解决所有的同步问题，特别是涉及复合操作的情况，因为它不提供互斥锁的功能。