volatile是如何保证可见性

volatile的作用描述

当A,B线程访问同一个变量C，A线程改变了变量C的值，如果变量C用volatile修饰了，则会通知线程B去主线程中从新加载变量C的值。

加volatile修饰的变量，在字节码层面会有一个ACC_AOLATILE的描述符

笔者这样描述volatile的作用后，你是否会有一下两点疑问：
1.为什么线程A修改了变量值后，需要去通知B线程，他们不是共享C变量吗？
2.A修改变量后，是如何通知到B线程的？

下面我将描述我所理解到的知识

JMM内存模型

Java内存模型主要分为两块，主内存和工作内存(也就是我大部分人称为栈)。
主内存：所有的变量都存储在主内存中，所有线程都能访问主内存中的变量，但是不能直接修改，如果工作内存需要修改，则需要从主内存中copy一份到自己的工作线程中，在自己的工作线程修改后，在写回到主内存。
工作内存：每个线程都有一个工作内存，主要用来存储当前这个线程所访问的变量，如果这个线程访问到了全局变量(也就是主内存中的变量)，就会从主内存拷贝一份到自己的线程。线程之间不能共享工作内存，所以不存在线程安全问题。

那么你是否有以下疑问：
工作内存是如何写入主内存的？

缓存一致性协议

早期的cpu去修改一个变量时，会加一个总线锁，如果是多核的cpu，则需要去竞争获取这个总线(相当于cpu和内存的通道)，这对于cpu来说非常不友好。所以后期又推出了缓存一致性协议，目前比较流行的的实现是MESI协议。MESI协议，分为四总状态，分别是 M(Modified修改) E(Exclusive独享、互斥) S(Shared共享)如果两个线程同时去修改一个变量，这两个线程会首先锁各自的缓存行，如果都锁成功了。则都会经过总线，总线就好比是一个裁判，由裁判来裁决到底谁能拿到锁(总线裁决)。最终没拿到锁的线程状态是I(invalid无效)，等待拿到锁的线程修改数据成功后，在重新去获取最新值。

这里有一个问题，当数据的大小超过一个缓存行(64byte)则会升级成总线锁。(因为只能保证锁一个缓存行的原子性，多个行不能保证)