从MSDN: volatile修饰符通常用于由多个线程访问而不使用lock语句序列化访问的字段。使用volatile修饰符可确保一个线程检索到另一个线程写入的最新值。

我认为没有比Eric Lippert更好的人来回答这个问题了(在原文中强调):

In C#, "volatile" means not only "make sure that the compiler and the jitter do not perform any code reordering or register caching optimizations on this variable". It also means "tell the processors to do whatever it is they need to do to ensure that I am reading the latest value, even if that means halting other processors and making them synchronize main memory with their caches". Actually, that last bit is a lie. The true semantics of volatile reads and writes are considerably more complex than I've outlined here; in fact they do not actually guarantee that every processor stops what it is doing and updates caches to/from main memory. Rather, they provide weaker guarantees about how memory accesses before and after reads and writes may be observed to be ordered with respect to each other. Certain operations such as creating a new thread, entering a lock, or using one of the Interlocked family of methods introduce stronger guarantees about observation of ordering. If you want more details, read sections 3.10 and 10.5.3 of the C# 4.0 specification. Frankly, I discourage you from ever making a volatile field. Volatile fields are a sign that you are doing something downright crazy: you're attempting to read and write the same value on two different threads without putting a lock in place. Locks guarantee that memory read or modified inside the lock is observed to be consistent, locks guarantee that only one thread accesses a given chunk of memory at a time, and so on. The number of situations in which a lock is too slow is very small, and the probability that you are going to get the code wrong because you don't understand the exact memory model is very large. I don't attempt to write any low-lock code except for the most trivial usages of Interlocked operations. I leave the usage of "volatile" to real experts.

欲进一步阅读，请参阅:

理解低锁技术在多线程应用中的影响 再见不稳定

编译器有时会改变代码中语句的顺序来优化它。通常这在单线程环境中不是问题，但在多线程环境中可能是问题。请看下面的例子:

 private static int _flag = 0;
 private static int _value = 0;

 var t1 = Task.Run(() =>
 {
     _value = 10; /* compiler could switch these lines */
     _flag = 5;
 });

 var t2 = Task.Run(() =>
 {
     if (_flag == 5)
     {
         Console.WriteLine("Value: {0}", _value);
     }
 });

如果运行t1和t2，您将期望没有输出或结果为“Value: 10”。可能是编译器在t1函数内部切换了行。如果t2执行，可能是_flag值为5，而_value值为0。因此，预期的逻辑可能会被打破。

为了解决这个问题，你可以使用volatile关键字，你可以应用到字段。此语句禁用编译器优化，以便您可以强制代码中的正确顺序。

private static volatile int _flag = 0;

只有在真正需要时才应该使用volatile，因为它会禁用某些编译器优化，这会影响性能。它也不是所有。net语言都支持(Visual Basic不支持)，因此它阻碍了语言互操作性。

我发现Joydip Kanjilal的这篇文章非常有用!

当您将一个对象或变量标记为volatile时，它将成为volatile读写的候选对象。需要注意的是，在c#中，所有的内存写操作都是volatile的，不管你写的是volatile对象还是非volatile对象。但是，当读取数据时，就会出现这种不确定性。当读取非易失性数据时，执行线程可能总是获得最新的值，也可能不总是。如果对象是volatile，线程总是获得最新的值

我就把它放在这里，供大家参考

CLR喜欢优化指令，所以当你在代码中访问一个字段时，它可能并不总是访问该字段的当前值(它可能来自堆栈等)。将字段标记为volatile可以确保该指令可以访问该字段的当前值。当程序中的并发线程或操作系统中运行的其他代码可以修改该值(在非锁定场景中)时，这很有用。

您显然失去了一些优化，但它确实使代码更加简单。

从MSDN: volatile修饰符通常用于由多个线程访问而不使用lock语句序列化访问的字段。使用volatile修饰符可确保一个线程检索到另一个线程写入的最新值。