volatile 多线程可见行 底层剖析

volatile 多线程可见行 底层剖析

示例代码

	//private static boolean initFlag = false;
	private static volatile  boolean initFlag = false;
	
	public static void main(String[] args) throws InterruptedException {
		//开始线程1
		new Thread(new Runnable() {
			@Override
			public void run() {
				System.out.println("等待数据。。。");
				//死循环验证 线程2initFlag改变是否影响线程1
				while (!initFlag){
				}
				System.out.println("============成功");
			}
		}).start();
		//保证线程1先运行
		Thread.sleep(2000);
		//开始线程2
		new Thread(new Runnable() {
			@Override
			public void run() {
				System.out.println("准备数据。。。");
				initFlag = true;
				System.out.println("准备数据结束。。。");
			}
		}).start();
	}

java内存模型原子操作

· read(读取) ：从主内存读取数据
· load(载入) ：将主内存读取到的数据写入工作内存
· use(使用) ：从工作内存读取数据来计算
· assign(赋值) ：将计算好的值重新赋值到工作内存中
· store(存储) ：将工作内存数据写入主内存
· write (写入) ：将store过去的变量值赋值给主内存中的变量
· lock (锁定) ：将主内存变量加锁，标识为线程独占状态
· unlock(解锁) ：将主内存变量解锁，解锁后其他线程可以锁定该变量

底层硬件理解

线程1执行read操作，把主内存的initFlag的值read出来，在load进去工作内存区，CPU线程1(执行引擎) use操作使用initFlag变量，死循环，线程不结束。
线程2执行read操作，把主内存的initFlag的值read出来，在load进去工作内存区，CPU线程1(执行引擎) use操作使用initFlag赋值为true，执行assign操作把工作内存区的initFlag赋值true,执行store操作将initFlag=true写入主内存，主内存中执行write操作把初始变量initFlag=false改变为true。
注：期间使用volatile关键词修饰，会开启MESI缓存一致性协议，cpu同步开启cpu总线嗅探机制（监听）发现initFlag改变为true后会将自己工作内存中的值initFlag=false失效，cpu会重新从主内存read值，当改变initflag为true时，会lock锁上主内存的initFlag值，期间读取的进程需等待store和write操作完成后unlock解锁操作，在被读取。

· 并发编程三大特性：可见性、原子性、有序性

· volatile保证可见性和有序性，但是不保证原子性，保证原子性需要借助synchronized这样的锁机制

public static volatile int num = 0;
public static void increase(){ num ++ ; }
public static void main(String[] args) throws InterruptedException {
	Thread[] threads = new Thread[10];
	for(int i = 0;i<threads.length;i++ ){
		threads[i] = new Thread(new Runnable() {
			@Override
			public void run() {
				for(int i= 0; i<1000; i++){
					increase();
				}
			}
		});
		threads[i].start();
	}
	for(Thread t : threads){
		t.join();
	}
	System.out.println(num);  
	//结果1000*10 <=100000
}

结果为什么<=10000?
线程执行先后不确定，当线程1做完assign操作、store操作、write操作后，线程2开启cpu总线嗅探机制，但是同时线程2的已经做完assign操作已经++,但是num =0–>1没有store、write回主内存，当线程1使主内存值0–>1时，线程2这次操作失效丢失，重新从主内存read值为1在做++。本应该做3次++，实际做了2次++，一次被丢失。所以导致<=10000，大多数情况都是小于10000