volatile关键字有两种不同的用法。

阻止JVM从寄存器(假设为缓存)读取值，并强制从内存读取其值。 降低内存不一致错误的风险。

阻止JVM读取寄存器中的值，并强制其读取 从内存中读取的值。

busy标志用于防止线程在设备繁忙且该标志不受锁保护的情况下继续运行:

while (busy) {
    /* do something else */
}

当另一个线程关闭busy标志时，测试线程将继续执行:

busy = 0;

但是，由于busy在测试线程中经常被访问，JVM可以通过将busy的值放在寄存器中来优化测试，然后在每次测试之前测试寄存器的内容，而不读取内存中的busy值。测试线程永远不会看到busy的变化，而另一个线程只会改变内存中的busy值，从而导致死锁。将busy标志声明为volatile将强制在每次测试之前读取它的值。

降低内存一致性错误的风险。

使用易失性变量可以降低内存一致性错误的风险，因为对易失性变量的任何写入都会建立一个 “happens-before”关系与该变量的后续读取之间的关系。这意味着对volatile变量的更改总是对其他线程可见。

这种读写而不产生记忆一致性错误的技术被称为原子动作。

原子作用是指有效地同时发生的作用。原子的动作不可能中途停止:它要么完全发生，要么根本不发生。在操作完成之前，原子操作的副作用是不可见的。

下面是你可以指定的原子操作:

对于引用变量和大多数变量来说，读和写都是原子的 基本变量(所有类型，除了long和double)。 对于所有声明为volatile的变量，读和写都是原子的 (包括长变量和双变量)。

干杯!

从oracle文档页，需要volatile变量来修复内存一致性问题:

使用易失性变量可以降低内存一致性错误的风险，因为对易失性变量的任何写入都会与该变量的后续读取建立happens-before关系。

这意味着对volatile变量的更改总是对其他线程可见。这也意味着当线程读取一个volatile变量时，它不仅看到了volatile的最新更改，还看到了导致更改的代码的副作用。

正如在Peter Parker的回答中解释的那样，在没有volatile修饰符的情况下，每个线程的堆栈都可能有自己的变量副本。通过将变量设置为volatile，可以修复内存一致性问题。

为了更好地理解，请查看jenkov教程页面。

看一下相关的SE问题，了解更多关于volatile的细节和使用volatile的用例:

Java中volatile和synchronized的区别

一个实际的用例:

你有很多线程，它们需要以特定的格式打印当前时间，例如:java.text.SimpleDateFormat("HH-mm-ss")。可以有一个类，它将当前时间转换为SimpleDateFormat，并每一秒更新一次变量。所有其他线程都可以使用这个易失性变量在日志文件中打印当前时间。

假设一个线程修改了一个共享变量的值，如果你没有对该变量使用volatile修饰符的话。当其他线程想要读取这个变量的值时，它们看不到更新后的值，因为它们是从CPU的缓存而不是RAM内存中读取变量的值。这个问题也被称为能见度问题。

通过将共享变量声明为volatile，所有对计数器变量的写入都将立即写入主存。同样，所有对counter变量的读取都将直接从主存中读取。

public class SharedObject {
    public volatile int sharedVariable = 0;
}

对于非易失性变量，不能保证Java虚拟机(JVM)何时将数据从主存读取到CPU缓存，或何时将数据从CPU缓存写入主存。这可能会导致几个问题，我将在下面的部分中解释这些问题。

例子:

想象这样一种情况，两个或多个线程可以访问一个共享对象，该对象包含一个声明如下的计数器变量:

public class SharedObject {
    public int counter = 0;
}

再想象一下，只有线程1增加计数器变量，但是线程1和线程2都可以不时地读取计数器变量。

如果计数器变量没有被声明为volatile，则不能保证计数器变量的值何时从CPU缓存写入主存。这意味着CPU缓存中的计数器变量值可能与主存中的不相同。这种情况如下所示:

线程看不到一个变量的最新值，因为它还没有被另一个线程写回主存，这个问题被称为“可见性”问题。一个线程的更新对其他线程是不可见的。

用volatile关键字声明的变量有两个主要特性，这使得它很特殊。

如果我们有一个易失性变量，它不能被任何线程缓存到计算机的(微处理器)缓存内存中。访问总是发生在主存中。 如果对一个易失性变量正在进行写操作，并且突然请求了一个读操作，那么可以保证写操作将在读操作之前完成。

以上两个品质推断了这一点

所有读取volatile变量的线程肯定会读取最新的值。因为没有缓存值可以污染它。而且读请求只有在当前写操作完成后才会被授予。

另一方面，

如果我们进一步研究我提到的#2，我们可以看到volatile关键字是维护一个共享变量的理想方法，它有n个读线程，只有一个写线程可以访问它。一旦我们添加了volatile关键字，就完成了。没有任何线程安全方面的开销。

交谈,

我们不能仅仅使用volatile关键字来满足有多个写入线程访问它的共享变量。

Volatile变量基本上用于主共享缓存线上的即时更新(刷新)，以便立即将更改反映到所有工作线程。

是的，当你想要一个可变变量被多个线程访问时，必须使用volatile。这不是很常见的用例，因为通常你需要执行不止一个原子操作(例如，在修改变量之前检查变量状态)，在这种情况下，你会使用同步块代替。