一、synchronized关键字
1.1 synchronized如何实现内存可见性
线程加锁时，将清空工作内存中共享变量的值，从而使用共享变量时需要从主内存中重新读取最新的值
线程解锁时，必须把共享变量的最新值刷新到主内存中。
1.2 synchronized线程执行互斥代码的六个过程
获得互斥锁
清空工作内存
从主内存中拷贝变量的最新值到工作内存
执行代码
将更改后的共享变量的值刷新到主内存中
释放互斥锁
二、volatile关键字
2.1当一个变量被定义成volatile之后具备的两种特性：
1、保证此变量对所有线程的可见性。
2、禁止指令重排序优化
2.2 volatile实现原理
关键在于有volatile修饰的变量，赋值后，多执行了一个“lock addl $0x0,(%esp)”操作，这个操作相当于是一个内存屏障（memory barrire,指令重排时不能把后面的指令重排到内存屏障之前的位置）
lock addl $0x0,(%esp)（把ESP寄存器的值加0）显然是一个空操作，相当于对变量做了一次“store和write”操作，通过这样一个空操作，可让前面volatile变量的修改对其他线程立即可见。
lock addl $0x0,(%esp)指令把修改同步到内存时，意味着所有之前的操作都已经执行完了，这样就形成了“指令重排无法越过内存屏障的效果”。
三、volatile和synchronized的区别
volatile本质是在告诉jvm当前变量在寄存器（工作内存）中的值是不确定的，需要从主存中读取； synchronized则是锁定当前变量，只有当前线程可以访问该变量，其他线程被阻塞住。
volatile仅能使用在变量级别；synchronized则可以使用在变量、方法、和类级别的
volatile仅能实现变量的修改可见性，不能保证原子性；而synchronized则可以保证变量的修改可见性和原子性。
volatile不会造成线程的阻塞；synchronized可能会造成线程的阻塞。
volatile标记的变量不会被编译器优化；synchronized标记的变量可以被编译器优化
转载：https://blog.csdn.net/qq_41012446/article/details/104616186
查看评论