关于volatile:有序性、可见性,
volatile用与修饰实例变量和类变量,是一种维护线程安全的手段,作用是实现共享资源的可见性
可见性的意思:
进程中的内存分为工作内存(线程内存)和主内存,普通变量的读写依赖于当前工作内存,直到线程结束,才会把值更新到主内存,
当有多线程存在时,就无法保证数据的真实性(可见性),其他线程读到的数据可能旧的。
volatile修饰的变量每次获取的值都是从主内存中直接读的,写完之后也会直接更新到主内存,实现方式以机器指令(硬编码)的方式实现。
jkd之后的版本在设计线程安全上都是基于volition和显示锁的方式,很少有用同步块和同步方法的方式,因为同步块方法的来讲,线程以串行的方式经过,效率太低。容易阻塞,而且保持原子性,只要线程进去就无法被打断,而volatile不会阻塞。不保证原子性。
有序性的意思:
jvm和处理器在编译Java代码的时候,出于性能考虑,会对原有的代码进行重排序,(也就是指令重排)我们写好的代码都有顺序,在我们执行的时候由JVM内存模型里的程序计数器标记的,保证线程安全的时候,一般都会禁止指令重排即保证有序性。说是并发环境下指令重排会有很多问题。
但是volatile和synchronized的有序是不同的:
volatile关键字禁止JVM编译器已及处理器对其进行重排序,
synchronized保证顺序性是串行化的结果,但同步块里的语句是会发生指令从排。
深入volatile关键字的介绍
1)被volatile关键字修饰的实例变量或者类变量具备两层语义:
- 保证了不同线程之间对共享变量的可见性,
- 禁止对volatile变量进行重排序。
2)volatile和synchronized区别
- 使用上区别:
- volatile关键字只能用来修饰实例变量或者类变量,不能修饰方法已及方法参数和局部变量和常量。
- synchronized关键字不能用来修饰变量,只能用于修饰方法和语句块。
- volatile修饰的变量可以为空,同步块的monitor不能为空。
- 对原子性的保证
- volatile无法保证原子性
- synchronizde能够保证。因为无法被中途打断。
- 对可见性的保证
- 都可以实现共享资源的可见性,但是实现的机制不同,synchronized借助于JVM指令monitor enter 和monitor exit ,通过排他的机制使线程串行通过同步块,在monitor退出后所共享的内存会被刷新到主内存中。volatile使用机器指令(硬编码)的方式,“lock”迫使其他线程工作内存中的数据失效,不得不主内存继续加载。
- 对有序性的保证
- volatile关键字禁止JVM编译器已及处理器对其进行重排序,能够保证有序性。
- synchronized保证顺序性是串行化的结果,但同步块里的语句是会发生指令重排。
- 其他:
- volatile不会使线程陷入阻塞
- synchronized会会使线程进入阻塞。
https://www.nowcoder.com/test/question/done?tid=45060137&qid=304941#summary