多线程中的volatile关键字

多线程中的volatile关键字

一、简介

volatile是多线程中的关键字，保证共享变量的可见性，开销小，没有线程上下的切换调度，这里进行介绍。

二、特点

volatile可以保证可见性和有序性，但不能保证原子性（特别注意）。

2.1 可见性

2.1.1 功能

volatile可以保证可见性，即是，当一线程修改经volatile修饰的变量，对其它线程是可见的。即是，当变量的值修改时，会立刻将值从工作内存刷新到主内存中去，而其它线程读取该变量时，均会从主内存中读取；

2.1.2 原理

可见性原理是，每个处理器(线程)嗅探总线上传送的数据，当发现缓存数据的内存地址修改时，则将缓存数据置为无效，再对数据操作时，会重新从内存加载新数据。

2.2 有序性

2.2.1 功能

volatile修饰的变量可以保证执行的有序性，即该变量之前的语句一定在这之前执行，之后的语句一定在之后执行。
（备注：有序性是对应指令重排序，jvm为了效率，通常会进行指令重排序。）

2.2.2 原理

有序性是基于happen-before规则实现的，比如：a happer-before b，那么a所做的任何操作，对b都可见的。

2.3 原子性

volatile不能保证原子性，如volatile修饰的变量a，进行a++时，在多线程情况下，不能保证其值是预期的。