volatile简介

前言

本章大致讲下volatile简单应用和一些比较浅的底层原理介绍，详细深入的底层原理介绍，我们会放在后面进行介绍。

volatile简介

volatile是轻量级的synchronized，它在多处理器中，保证了共享变量的程序可见性。如果volatile修饰变量使用恰当的话，它会比synchronized的使用和执行成本更低，它不会引起上下文的切换和调度。本文将从大致分析下硬件层面是如何实现volatile。

volatile实现原理

首先我们看下java语言规范第三版对这个volatile的定义：java编程语言允许线程访问共享变量，为了确保共享变量能被准确和一致的更新，线程应该确保通过排他锁，单独获得这个变量。
接下来我们看下对volatile进行写操作时，cpu会做什么事情。
下面一行是java代码
instance = new Singleton（）；// instance 是 volatile 变量
编程汇编之后
0x01a3deld: movb $0x0,0x1104800(%esi); 0x01a3de24:lock addl $0x0,(%esp)
有volatile变量进行写操作，会多出第二行，也就lock这一行，而lock前缀的指令在多核处理器会引发两件事。
1 将当前处理器缓存行数据写回到系统内存中
2. 这个写回内存的操作会使其他cpu缓存了该内存地址的数据无效
cpu为了提高执行速度，对一个变量做操作的时候，不是直接修改内存的变量，而是先读到缓存里，做操作，之后才会刷新到内存里。volatile可以实现在对变量进行操作的时候，不允许其他变量操作内存这个变量，操作完成之后，会通知其它的cpu，让他更新缓存。
接下来我们具体讲解下，它是怎么实现的。
1 lock前缀指令会引起处理器缓存写到内存。在多处理器里，lock信号确保该信号在信号期间，处理器可以独占任何共享内存。但是，最近的处理器里，lock信号一般不锁总线，而是锁缓存，毕竟锁总线开销比较大。
2.一个处理器的缓存写到内存会导致其他处理器的缓存无效。处理器使用mesi（修改，独占，共享，无效）控制协议去维护内部缓存和其他处理器缓存一致性。这个mesi讲起来很麻烦，有兴趣的可以自行了解。

volatile的使用优化

下面我们说一个使用volatile变量优化的例子
Linked-TransferQueue集合类，使用volatile变量的时候，采用追加字节的方式进行优化。这个听起来是不是很神奇。首先，他是追加字节，追加到64字节。为嘛是64字节呢。这个是因为，处理器的L1，L2或L3的告诉缓存行是64字节宽，且不支持填充，这样的话，队列的头节点和尾节点都不足64字节，处理器会将他们读到同一个缓存行里，在多处理器下，每个处理器都会缓存同样的头节点和尾节点，当一个处理器试图修改自己的头节点的时候，会将整个缓存行锁定，那么在缓存一致性的机制作用下，其他处理器将不能访问自己的尾节点。而把共享字节追加到64之后，头节点和尾节点就不会在同一个缓存行中，这样的话，头节点和尾节点的修改，就不会互相影响。
这种方式不适用的场景大致有两种
1.缓存行不是64字节的处理器
2.共享变量不会被频繁的写

总结

今天简单的讲解了下，volatile实现变量在线程之间的可见性在操作系统层面是怎么实现的，他是通过一个lock指令实现，至于更详细的底层实现原理，我们放到后面介绍。今天主要是让大家对volatile这个底层实现和volatile作用有个大致了解。