volatile只能保证变量的可见性,无法保证对变量的操作的原子性。
还是以最常用的i++来说吧,包含3个步骤
1,从内存读取i当前的值
2,加1
3,把修改后的值刷新到内存
- 对于普通变量来说多线程下1,2之间被中断,其它线程修改了i的值,那原来已经在1,2之间被中断的线程的i的值就已经无效了,所以多线程是不安全的。
- 另外对于普通变量来说,步骤1并不是每次都会从内存中读取,步骤3也并不会每次都保证会立即刷新到内存。
- 所以这里有两个问题,可见性和原子性。
- viloate只能保证可见性,即步骤1每次都重新读,步骤3每次都立即刷新到主内存。但如果多个线程通知执行到1和2,就会造成交叉修改,所以是线程不安全的。
另一方面,由于synchronized不仅能保证代码块中操作的原子性,而且能保证变量的可见性,所以synchronized能够保证线程安全。