Java并发之volatile关键字
先介绍Java内存模型(JMM):
当声明共享变量为volatile后,对这个变量的读/写将会很特别。
volatile变量特性
- 可见性。对一个volatile变量的读,总是能看到(任意线程)对这个volatile变量最后的写入。
- 原子性(这个原子性和synchronized关键字的原子性有点不一样)。对任意单个volatile变量的读/写具有原子性,但类似于volatile ++ 这种复合操作不具有原子性。(而在synchronized同步块中的复合操作是具有原子性的)
示例
可见性示例
public class Demo {
/* volatile */ boolean running = true; //对比一下有无volatile的情况下,整个程序运行结果的区别
void m() {
System.out.println("m start");
while(running) {
/*
try {
TimeUnit.MILLISECONDS.sleep(10);
} catch (InterruptedException e) {
e.printStackTrace();
}*/
}
System.out.println("m end!");
}
public static void main(String[] args) {
Demo d = new Demo();
new Thread(d::m, "t1").start();
try {
TimeUnit.SECONDS.sleep(1);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println("-----");
d.running = false;
}
}
volatile 关键字,使一个变量在多个线程间可见。A、B线程都用到一个变量,java默认是A线程中保留一份copy,这样如果B线程修改了该变量,则A线程未必知道。使用volatile关键字,会让所有线程都会读到变量的修改值。
在上面的代码中,running是存在于堆内存的t对象中,当线程t1开始运行的时候,会把running值从内存中读到t1线程的工作区,在运行过程中直接使用这个copy,并不会每次都去读取堆内存,这样,当主线程修改running的值之后,t1线程感知不到,所以不会停止运行。使用volatile,将会强制所有线程都去堆内存中读取running的值。
但是,
volatile并不能保证多个线程共同修改running变量时所带来的不一致问题,也就是说volatile不能替代synchronized。
如以下代码示例:
public class T {
volatile int count = 0;
void m() {
int temp = 0;
for(int i=0; i<10000; i++) {
// ++ 操作不具备原子性(我将++替换成等价代码,容易看清),所以会被打断,可以使用AtomicInteger的incrementAndGet()方法。也是自增,不过保证了原子性
// count++;
// 这个也不是原子操作,得先读count 再加1再赋值给count
// 有可能进行到读取count的值(比如100)然后被另一个线程中断(加1后是101),此时恢复上一个线程,赋值给count=101,然后刷给主内存101(重复复制一遍)
count = count + 1;
}
}
public static void main(String[] args) {
T t = new T();
List<Thread> threads = new ArrayList<Thread>();
for(int i=0; i<10; i++) {
threads.add(new Thread(t::m, "thread-"+i));
}
threads.forEach((o)->o.start());
threads.forEach((o)->{
try {
// 阻塞调用此方法的线程,等o执行完
// 让所有线程加入到线程,是为了保证主线程最后输出的count值一定是所有线程执行完之后的
o.join();
} catch (InterruptedException e) {
e.printStackTrace();
}
});
System.out.println(t.count);
}
}
运行这段代码发现结果并不等于10000,原因的话我在代码注释中解释了,这里再复述一遍:
在count = count + 1;这行代码中,有可能进行到读取count的值(比如100)然后被另一个线程中断(加1后是101),此时恢复上一个线程,赋值给count=101,然后刷给主内存101(重复赋值一遍)。
我当时结合JMM(Java内存模型)还是有点糊涂,后来读到Java并发编程的艺术这本书的volatile关键字的内存语义,再结合JMM,一下子就弄清了,emmm…
volatile 写-读的内存语义
volatile 写的内存语义:
- 当写一个volatile变量时,JVM会将该线程对应的本地内存中的共享变量值刷新到主内存中。
volatile 读的内存语义:
- 当读一个volatile变量时,JVM会将该线程对应的本地内存置为无效。线程接下来将从主内存中读取共享变量,并将本地内存刷新值。
结合内存语义和JMM就能很好的理解volatile关键字了。另外,volatile是比synchronized轻量的,如果代码中只需要可见性,可以考虑使用volatile。