《Java高并发程序设计》学习 --2.3 volatile与Java内存模型(JMM)

volatile的定义如下： java编程语言允许线程访问共享变量，为了确保共享变量能被准确和一致的更新，线程应该确保通过排他锁单独获得这个变量。

volatile对于保证操作的原子性是有非常大的帮助的。但是，volatile并不能代替锁，它无法保证一些复合操作的原子性，例如，volatile是无法保证i++的原子性操作的：

public class PlusTask {

static volatile int i = 0;

public static class Plus implements Runnable {

public void run() {

for (int k = 0; k < 10000; k++) {

i++;

}

}

}

public static void main(String[] args) throws InterruptedException {

Thread[] threads = new Thread[10];

for (int i = 0; i < 10; i++) {

threads[i] = new Thread(new Plus());

threads[i].start();

}

for (int i = 0; i < 10; i++) {

threads[i].join();

}

System.out.println(i);

}

}

此外，volatile也能保证数据的可见性和有序性。

public class NoVisibility {

private static boolean ready;

private static int number;

private static class ReaderThread extends Thread {

@Override

public void run() {

while(!ready);

System.out.println(number);

}

}

public static void main(String[] args) throws InterruptedException {

new ReaderThread().start();

Thread.sleep(1000);

number = 42;

ready = true;

Thread.sleep(10000);

}

}

在虚拟机的Client模式下，由于JIT并没有做足够的优化，在主线程修改ready变量的状态后，ReaderThread可以发现这个改动，并退出程序。但是在Server模式下，由于系统优化的结果，ReaderThread线程无法“看到”主线程中的修改，导致ReaderThread永远无法退出。这个问题就是一个典型的可见性问题。

注：本篇博客内容摘自《Java高并发程序设计》