volatile和synchronized的区别

关于volatile：有序性、可见性，

volatile用与修饰实例变量和类变量，是一种维护线程安全的手段，作用是实现共享资源的可见性

 

可见性的意思:

进程中的内存分为工作内存(线程内存)和主内存，普通变量的读写依赖于当前工作内存，直到线程结束，才会把值更新到主内存，

当有多线程存在时，就无法保证数据的真实性(可见性)，其他线程读到的数据可能旧的。

volatile修饰的变量每次获取的值都是从主内存中直接读的，写完之后也会直接更新到主内存，实现方式以机器指令(硬编码)的方式实现。

jkd之后的版本在设计线程安全上都是基于volition和显示锁的方式，很少有用同步块和同步方法的方式，因为同步块方法的来讲，线程以串行的方式经过，效率太低。容易阻塞,而且保持原子性,只要线程进去就无法被打断,而volatile不会阻塞。不保证原子性。

 

有序性的意思：

jvm和处理器在编译Java代码的时候，出于性能考虑，会对原有的代码进行重排序，(也就是指令重排)我们写好的代码都有顺序，在我们执行的时候由JVM内存模型里的程序计数器标记的，保证线程安全的时候，一般都会禁止指令重排即保证有序性。说是并发环境下指令重排会有很多问题。

但是volatile和synchronized的有序是不同的:

volatile关键字禁止JVM编译器已及处理器对其进行重排序，

synchronized保证顺序性是串行化的结果，但同步块里的语句是会发生指令从排。

 

深入volatile关键字的介绍

1）被volatile关键字修饰的实例变量或者类变量具备两层语义：

• 保证了不同线程之间对共享变量的可见性，
• 禁止对volatile变量进行重排序。

2）volatile和synchronized区别

• 使用上区别：

1. volatile关键字只能用来修饰实例变量或者类变量，不能修饰方法已及方法参数和局部变量和常量。
2. synchronized关键字不能用来修饰变量，只能用于修饰方法和语句块。
3. volatile修饰的变量可以为空，同步块的monitor不能为空。

• 对原子性的保证

1. volatile无法保证原子性
2. synchronizde能够保证。因为无法被中途打断。

• 对可见性的保证

1. 都可以实现共享资源的可见性，但是实现的机制不同，synchronized借助于JVM指令monitor enter 和monitor exit ，通过排他的机制使线程串行通过同步块，在monitor退出后所共享的内存会被刷新到主内存中。volatile使用机器指令(硬编码)的方式，“lock”迫使其他线程工作内存中的数据失效，不得不主内存继续加载。

• 对有序性的保证

1. volatile关键字禁止JVM编译器已及处理器对其进行重排序，能够保证有序性。
2. synchronized保证顺序性是串行化的结果，但同步块里的语句是会发生指令重排。

• 其他：

1. volatile不会使线程陷入阻塞
2. synchronized会会使线程进入阻塞。

https://www.nowcoder.com/test/question/done?tid=45060137&qid=304941#summary