volatile

volatile

并发特性

• 原子性：一个或者多个操作，要么全部执行，要么全部不执行，不能执行中途被打断
• 可见性：当多个线程访问同一个变量时，一个线程修改了变量的值，那么其他线程可以立刻看到
• 有序性：程序按照代码的先后顺序执行

使用

保证可见性

一个线程修改了共享变量值，需要保证其他线程看到，每一个线程都有一个高速缓存去–线程工作内存

保证原子性

共享的long和double建议设置volatile类型，这样可以保证任何情况下对long和double的单词读写操作都保证了原子性。

防止重排序

双重检查的单例模式写法。
实例化一个对象可以分为3个步骤：

• 分配内存空间
• 初始化对象
• 将内存空间的地址赋值给对应的引用
  由于操作系统可以对指令进行重排，上续过程的顺序可能发生改变，多线程环境下可能将一个未初始化的对象引用暴露出来，导致程序发生错误。

原理

可见性实现

线程本身并不直接与主内存进行数据交换，而是通过线程的工作内存来完成此操作，这也是线程之间数据不可见的根本原因。而被volatile修饰的变量可以实现可见性。

• 修改被volatile修饰的变量后会将修改后的值强制刷新在主内存中
• 修改被volatile修饰的变量后会导致其他线程工作内存中的对应值失效，需要重新重主内存中读取该变量的值

有序性实现

Java中的happen-before定义：

Two actions can be ordered by a happens-before relationship.If one action happens before another, then the first is visible to and ordered before the second.

如果 a happen before b，a所作的任何操作duib都是可见的。
happen-before规则：

• Each action in a thread happens before every subsequent action in that thread.
• An unlock on a monitor happens before every subsequent lock on that monitor.
• A write to a volatile field happens before every subsequent read of that volatile.
• A call to start() on a thread happens before any actions in the started thread.
• All actions in a thread happen before any other thread successfully returns from a join() on that thread.
• If an action a happens before an action b, and b happens before an action c, then a happens before c.

内存屏障

在cpu执行指令的过程中，对于同一个线程中没有数据依赖的指令可以重新排序优化，有数据依赖的指令按照顺序串行执行，来保证单线程程序运行的正确性，同时也提升了CPU的执行效率，合理的利用了CPU等待时间，在多核CPU的情况下，因为多核CPU上的指令同时执行，如果涉及到共享变量的修改，这种优化会影响多线程运行的正确性,而内存屏障（memory barrier/memory fence）是硬件层面提供的一系列特殊指令，当CPU处理到这些指定时，会做一些特殊的处理，可以使处理器内的内存状态对其它处理器可见。