Java中volatile类型变量提供什么保证?

volatile 变量提供顺序和可见性保证，例如，JVM 或者 JIT 为了获得更好的性能会对语句重排序，但是 volatile 类型变量即使在没有同步块的情况下赋值也不会与其他语句重排序。volatile 提供 happens-before 的保证，确保一个线程的修改能对其他线程是可见的。
某些情况下，volatile 还能提供原子性，如读 64 位数据类型，像 long 和double 都不是原子的，但 volatile 类型的 double 和 long 就是原子的。