[Java高并发编程详解]volatile和synchronized的区别

使用上的区别

• volatile关键字只能修饰实例变量或者类变量,不能修饰方法或者参数、局部变量、常量等
• synchronized关键字不能用于变量的修饰，只能修饰方法或者代码块
• volatile修饰的变量可以为null，synchronized关键字同步语句的monitor不能为null

对原子性的保证

• volatil无法保证原子性
• 由于synchronized是一种排他的机制，因此被synchronized关键字修饰的同步代码是不能被中途打断的，因此其能够保证代码的原子性

对可见性的保证

• 两者都可以保证共享资源在多线程之间的可见性，但是其实现机制完全不同
• synchronized借助于JVM指令monitor enter和monitor exit对排他的方式使得同步代码串行化,在monitor exit时所有共享资源都将会被刷新到主内存中
• 比较于synchronized关键字,volatile使用机器指令(偏硬件)"lock;"的方式迫使其他线程工作内存中的数据失效,不得不到主存中进行再次加载

对有序性的保证

• volatile关键字进制JVM编译器以及处理器对其进行重排序,所以它能够保证有序性
• 虽然synchronized关键字修饰的同步方法也可以保证顺序性,但是这种顺序性是以程序的串行化执行换来的,在synchronized关键字所修饰的代码块中代码指令也会发生指令重排序的情况.例如:

synchronized(this){
int x = 10;
int y = 20;
y = y + 1;
}

x,y谁最先定义以及谁最先进行运算,对程序来说没有任何影响,另外x y之间也没有依赖关系,但是由于synchronized关键字同步的作用,在synchronized的作用域结束时必定是x = 11,y21,也就是说达到了输出结果和代码编写顺序的一致性

其他

• volatile不会使线程陷入阻塞
• synchronized关键字会使线程进入阻塞状态

参考<> – 汪文君