volatile 与 synchronized 特点与区别
volatitle
- 保证线程的可见性
- 禁止指令重排序(CPU)
可见性指的是,所有对volatile变量的读写都会直接刷到主存,即保证了变量的可见性。这样就能满足一些对变量可见性有要求而对读取顺序没有要求的需求。
使用volatile关键字仅能实现对原始变量(如boolen、 short 、int 、long等)操作的原子性,但需要特别注意, volatile不能保证复合操作的原子性,即使只是i++,实际上也是由多个原子操作组成:read i; inc; write i,假如多个线程同时执行i++,volatile只能保证他们操作的i是同一块内存,但依然可能出现写入脏数据的情况。(volatile并不能保证多个线程共同修改running变量时所带来的不一致性问题,也就是说volatile不能替代synchronized)
synchronized
关键字解决的是执行控制的问题,它会阻止其它线程获取当前对象的监控锁,这样就使得当前对象中被synchronized关键字保护的代码块无法被其它线程访问,也就无法并发执行。更重要的是,synchronized还会创建一个内存屏障,内存屏障指令保证了所有CPU操作结果都会直接刷到主存中,从而保证了操作的内存可见性,同时也使得先获得这个锁的线程的所有操作,都happens-before于随后获得这个锁的线程的操作。
synchronized的底层实现:
- markword 记录这个线程的ID 偏向锁
当多个线程征用时,升级为 自旋锁 - 自旋锁
当一个线程得到锁之后,其他线程就一直循环请求锁。如果自旋10次后还没有得到锁就升级为 重量级锁 - os
自旋锁占CPU不访问操作系统,是在用户态解决问题;重量级锁经过内核态,不占CPU(不占CPU指定是其他竞争的线程是在等待队列里,什么时候CPU可以让你运行就去运行)
执行时间长、线程数多的尽量用重量级锁。
执行时间短、线程数少的尽量用自旋锁。
锁只能升级不能降级
区别
- volatile本质是在告诉jvm当前变量在寄存器(工作内存)中的值是不确定的,需要从主存中读取;synchronized则是锁定当前变量,只有当前线程可以访问该变量,其他线程被阻塞住。
- volatile仅能使用在变量级别;synchronized则可以使用在变量、方法、和类级别的
- volatile仅能实现变量的修改可见性,不能保证原子性;而synchronized则可以保证变量的修改可见性和原子性
- volatile不会造成线程的阻塞;synchronized可能会造成线程的阻塞。
- volatile标记的变量不会被编译器优化;synchronized标记的变量可以被编译器优化