在多线程并发编程中synchronized和volatile都扮演着重要的角色,volatile是轻量级的synchronized。
特性
通俗的来讲就是,两个线程,线程A和线程B 共享同一变量,volatile保证了当线程A对共享变量的值进行修改后,线程B也会得到最新的修改结果。
代码验证:
定义的变量没有被volatile修饰是没有可见性的
package volatiledemo;
public class VolatileVisibleDemo {
private int num = 0;
public void addNum() {
num = num + 60;
}
public static void main(String[] args) {
VolatileVisibleDemo volatileVisibleDemo = new VolatileVisibleDemo();
// t1线程对num就行更改操作
new Thread(() -> {
System.out.println(Thread.currentThread().getName() + "\t come in");
try {
// 模拟num更改操作耗时3m,并保证其他线程读取了num变量
Thread.sleep(3000);
} catch (InterruptedException e) {
e.printStackTrace();
}
volatileVisibleDemo.addNum();
System.out.println(Thread.currentThread().getName() + "\t" + "num值已经被更改为:" + volatileVisibleDemo.num);
}, "t1").start();
while (volatileVisibleDemo.num == 0) {
// main线程一直等待,直到num不等于0
}
System.out.println(Thread.currentThread().getName() + "\t mission is over");
}
}
运行结果:
t1 come in
t1 num值已经被更改为:60
在上面的结果中并没有看到输出“mission is over” ,说明while条件一直满足条件,也就是说主线程main并不知道 t1 已经把值修改了。导致了数据不一致。
再来看看给变量num加上volatile关键字后的效果:volatile private int num = 0;
t1 come in
t1 num值已经被更改为:60
main mission is over
这个时候主线程已经获得了最新的值。
volition不保证原子性,对于这一点可以使用 j u c
下的atomic
类来保证原子性。
volatile通过内存屏障来保证指令的有序性。
volatile和synchronize的区别
volatile | synchronized | |
---|---|---|
本质 | volatile本质是在告诉jvm当前变量在寄存器(工作内存)中的值是不确定的,需要从主存中读取 | synchronized则是锁定当前变量,只有当前线程可以访问该变量,其他线程被阻塞住。 |
使用级别 | 变量级别 | 变量、方法、和类级别 |
特性 | 可见性,不能保证原子性,保证有序性 | 可见性、原子性、有序性 |
是否会阻塞 | 不会 | 可能会 |
标记的变量被编译器优化 | 不会 | 会 |