volatile保证内存可见的原因及有序原因及举例

单例模式的双重校验锁与volatile

public class Singleton {
volatile static Singleton instance;
static Singleton getInstance(){
	if (instance == null) {
	//在单例未创建时，此处以及对极了大量线程，如果没有第二重校验
	//等解锁后每个线程都会再次创建一个单例
		synchronized(Singleton.class) {
			if (instance == null)
				instance = new Singleton();
		}
	}
		return instance;
	}
}

volatile的使用：

​ new的操作应该是: 分配内存,在内存上初始化对象,地址赋值. 实际上优化后是: 分配内存,地址赋值,初始化. 优化后的顺序就会出现问题,地址赋值后发生了线程切换,这时候其他线程读取到了对象不为null,但是实际上只有地址,这个时候访问成员变量就会出现空指针异常,这个就是编译优化可能会出现的问题。

java内存中线程的工作内存和主内存的交互

java内存中线程的工作内存和主内存的交互是由java虚拟机定义了如下的8种操作来完成的，每种操作必须是原子性的(double和long类型在某些平台有例外，他们是64位。八个动作中lock、unlock、read、load、use、assign、store、write对待32位的基本数据类型都是原子操作，对待long和double这两个64位的数据，java虚拟机规范对java内存模型的规定中特别定义了一条相对宽松的规则：允许虚拟机将没有被volatile修饰的64位数据的读写操作划分为两次32位的操作来进行，也就是允许虚拟机不保证对64位数据的read、load、store和write这4个动作的操作是原子的。这也就是我们常说的long和double的非原子性协定(Nonautomic Treatment of double and long Variables)。

lock(锁定):作用于主内存的变量，一个变量在同一时间只能一个线程锁定，该操作表示这条线成独占这个变量

unlock(解锁):作用于主内存的变量，表示这个变量的状态由处于锁定状态被释放，这样其他线程才能对该变量进行锁定

read(读取):作用于主内存变量，表示把一个主内存变量的值传输到线程的工作内存，以便随后的load操作使用

load(载入):作用于线程的工作内存的变量，表示把read操作从主内存中读取的变量的值放到工作内存的变量副本中(副本是相对于主内存的变量而言的)

use(使用):作用于线程的工作内存中的变量，表示把工作内存中的一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用变量的值的字节码指令时就会执行该操作

assign(赋值):作用于线程的工作内存的变量，表示把执行引擎返回的结果赋值给工作内存中的变量，每当虚拟机遇到一个给变量赋值的字节码指令时就会执行该操作

store(存储):作用于线程的工作内存中的变量，把工作内存中的一个变量的值传递给主内存，以便随后的write操作使用

write(写入):作用于主内存的变量，把store操作从工作内存中得到的变量的值放入主内存的变量中

volatile保证内存可见的原因及有序原因

volatile类型的变量每次值被修改了就立即同步回主内存（这是不能保证原子性的原因比如i++非原子操作它由多步实现，每一步是原子的，如果多个线程同时从主存读取了值这是其中一步，但是不同时去修改这样就会造成值的覆盖），每次使用时就需要从主内存重新读取值。返回到前面对普通变量的规则中，并没有要求这一点，所以普通变量的值是不会立即对所有线程可见的。

java内存模型对volatile定义了特殊的访问规则，就是这几种操作中某一个操作之前必须是规定的那种操作（比如说use之前必须load这样就能保证最新的值），这样就保证了可见性和有序性。