volatile关键字

关于volatile关键字

volatile是Java提供的一种轻量级的同步机制。Java?语言包含两种内在的同步机制：同步块（或方法）和?volatile?变量，相比于synchronized（synchronized通常称为重量级锁），volatile更轻量级，因为它不会引起线程上下文的切换和调度。但是volatile?变量的同步性较差（有时它更简单并且开销更低），而且其使用也更容易出错,比synchronize更轻量级：在访问volatile变量时不会执行加锁操作，因此不会线程阻塞.

? ? ?a. 基本类型的读取和赋值操作，且赋值必须是数字赋值给变量，变量之间的相互赋值不是原子性操作。
? ? ?b.所有引用reference的赋值操作
? ? ?c.java.concurrent.Atomic.* 包中所有类的一切操作

??定义：指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。
? ? 在多线程环境下，一个线程对共享变量的操作对其他线程是不可见的。Java提供了volatile来保证可见性，当一个变量被volatile修饰后，表示着线程本地内存无效，当一个线程修改共享变量后他会立即被更新到主内存中，其他线程读取共享变量时，会直接从主内存中读取。

?定义：即程序执行的顺序按照代码的先后顺序执行。
? ? ?Java内存模型中的有序性可以总结为：如果在本线程内观察，所有操作都是有序的；如果在一个线程中观察另一个线程，所有操作都是无序的。前半句是指“线程内表现为串行语义”，后半句是指“指令重排序”现象和“工作内存主主内存同步延迟”现象。

原子性
可见性
有序性

volatile的特性:

1. 不能保证线程安全
2. 不能保证原子性
3. 能保证读取可见性
4. 禁止指令重排序

使用volatile关键字修饰共享变量便可以禁止这种重排序。若用volatile修饰共享变量，在编译时，会在指令序列中插入内存屏障来禁止特定类型的处理器重排序,volatile禁止指令重排序也有一些规则：
? ?a.当程序执行到volatile变量的读操作或者写操作时，在其前面的操作的更改肯定全部已经进行，且结果已经对后
? ? ? 面的操作可见；在其后面的操作肯定还没有进行；
? ?b.在进行指令优化时，不能将在对volatile变量访问的语句放在其后面执行，也不能把volatile变量后面的语句放
? ? ? 到其前面执行。
? ? 即执行到volatile变量时，其前面的所有语句都执行完，后面所有语句都未执行。且前面语句的结果对volatile变
? ? 量及其后面语句可见。
volatile 性能：　　volatile 的读性能消耗与普通变量几乎相同，但是写操作稍慢，因为它需要在本地代码中插入许多内存屏障指令来保证处理器不发生乱序执行。