volatile关键字

一、volatile关键字的作用

        1、保证变量写操作的可见性；
        2、保证变量前后代码的执行顺序；

• Volatile 是 Java 虚拟机提供 轻量级 的同步机制
• 1、保证可见性
• 2、不保证原子性(volatile关键词不能取代synchronized关键词，因为volatile关键词不能保证操作的原子化)
• 3、禁止指令重排

二、volatile的底层原理

首先要知道

 

        线程：数据读取顺序优先级 ：寄存器－高速缓存－内存。

        （线程耗费的是CPU，线程计算的时候，原始的数据来自内存，在计算过程中，有些数据可能被频繁读取，这些数据被存储在寄存器 和高速缓存中，当线程计算完后，这些缓存的数据在适当的时候应该写回内存）

        

        缓存一致性(MESI)：当某个缓存的数据被修改了，该数据回马上同步到内存中，其他CPU通过总线嗅探机制感知到数据发生变化，然后将自己缓存的数据失效

       

        缓存加锁：基于缓存一致性，一个处理器的缓存回写到内存会导致其他处理器的缓存无效

传统流程：在多线程下，CPU1在主内存中读取共享变量到在自己的工作内存中，CPU2也在主内存中读取共享变量到在自己的工作内存中，当他们读取的是相同变量时，CPU2对其修改后写回主内存后，CPU1线程是无法知道数据被修改的（线程与线程无法直接通讯）

 

加volatile修饰:当CPU2在回写数据到主内存时，经过总线时，CPU1会通过总线嗅探机制，将自己缓存失效，然后重新到主内存获取新的数据

三、volatile的适用场景

        1、变量的修改不依赖于变量本身
                像是i++、i+=这类的操作在多线程下都是不能保证变量的原子性的。

                虽然增量操作（x++）看上去类似一个单独操作，实际上它是一个（读取-修改-写入）操作序列组成的组合操作，必须以原子方式执行，而volatile不能提供原子性。实现正确操作必须使x的值在操作期间保持不变，而volatile变量无法实现这一点
        2、该变量没有包含在具有其他变量的不变式中