本文介绍了Java中volatile关键字的概念和特性，它保证了线程间共享变量的可见性，并防止指令重排序。volatile的实现原理涉及到内存屏障，确保数据在多线程环境中的正确同步。通过对内存模型的理解，深入解析volatile如何在JVM层面上确保线程安全。
概念
Java语言规范第三版中对volatile的定义如下： java编程语言允许线程访问共享变量，为了确保共享变量能被准确和一致的更新，线程应该确保通过排他锁单独获得这个变量。Java语言提供了volatile，在某些情况下比锁更加方便。如果一个字段被声明成volatile，java线程内存模型确保所有线程看到这个变量的值是一致的。
特性
一旦一个共享变量（类的成员变量、类的静态成员变量）被volatile修饰之后，那么就具备了两层语义：
- 保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的。
- 禁止进行指令重排序。
实现原理
JVM层
volatile保持内存可见性和防止指令重排序的原理，本质上是同一个问题，也都依靠内存屏障得到解决。
根据JSR-133（即Java内存模型与线程规范）的要求，JVM层面实现为内存屏障（Memory Barrier）
最低0.47元/天 解锁文章
扫一扫
357
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
