使用上的区别
- volatile关键字只能用于修饰实例变或者类常量,不能用于修饰方法以及方法参数和局部变量、常量等
- synchronized关键字不能用于对变量的修饰,只能用于修饰方法或者语句块
- volatile修饰的变量可以为null,synchronized关键字同步语句块的monitor对象不能为null
对原子性的保证
- volatile无法保证原子性
- 由于synchronized是一种排他机制,因此被synchronized关键字修饰的同步代码是无法被中途打断的,因此能够保证代码的原子性
对可见性的保证
- 两者均可以保证共享资源在多线程间的可见性,但是实现机制完全不同
- synchronized借助于JVM指令monitor enter和monitor exit对通过排他的方式使得同步代码串行化,在monitor exit时所有共享资源都将会被刷新到主内存中
- 相比较于synchronized关键字,volatile使用机器指令(偏硬件)“lock”的方式迫使其他线程工作内存的数据失效,不得不到主内存中进行再次加载
对有序性的保证
- volatile关键字禁止JVM编译器以及处理器对其进行重排序,所以它能够保证有序性
- 虽然synchronized关键字所修饰的同步方法也可以保证顺序性,但是这种顺序性是以程序的串行化执行换来的,在synchronized关键字所修饰的代码块中,代码指令也会发生指令重排序的情况,比如:
-
x和y谁最先定义以及谁先进行运算,对程序来说没有任何影响,另外x和y之间也没有依赖关系,但是由于synchronized关键字同步的作用,在synchronized的作用域结束时x必定是11,y必定是21,也就是达到了最终的输出结果和代码编写顺序的一致性
其他
- volatile不会使得线程陷入阻塞
- synchronized关键字会使线程进入阻塞状态
摘抄自《Java高并发编程详解:多线程与架构设计》第13章