Java JUC 高级线程之一 volatile关键字和内存可见性

一、Java JUC 简介

在Java5.0提供了java. util. concurrent(简称JUC)包,在此包中增加了在并发编程中很常用的实用工具类,用于定义类似于线程的自定义子系统,包括线程池、异步IO和轻量级任务框架提供可调的、灵活的线程池。还提供了设计用于多线程上下文中的 Collection实现等。

二、内存可见性

1. 内存可见性( Memory Visibility）是指当某个线程正在使用对象状态而另一个线程在同时修改该状态,需要确保当一个线程修改了对象状态后,其他线程能够看到发生的状态变化
2. 可见性错误是指当读操作与写操作在不同的线程中执行时,我们无法确保执行读操作的线程能适时地看到其他线程写入的值,有时甚至是根本不可能的事情。
3. 我们可以通过同步来保证对象被安全地发布。除此之外我们也可以使用一种更加轻量级的 volatile变量。

三、volatile关键字

1. Java.提供了一种稍弱的同步机制,即 volatile变量,用来确保将变量的更新操作通知到其他线程，可以将,volatile看做一个轻量级的锁,但是又与锁有些不同：
   1. 对于多线程，不是一种互斥关系
   2. 不能保证变量状态的"原子性"

四、代码

/*
 *一、volatile 关键字：当多个线程进行操作共享数据时，可以保证内存中的数据是可见的。
 *				   相较于 synchronized 是一种较为轻量级的同步策略。
 *
 *注意：
 *1. volatile 不具备“互斥性”
 *2. volatile 不能保证变量的“原子性”
 */
public class TestVolatitle {
	public static void main(String[] args) {
		
		ThreadDemo td = new ThreadDemo();
		new Thread(td).start();
		
		while(true) {
			if(td.isFlag()) {
				System.out.println("-------------");
				break;
			}
		}
	}
}

class ThreadDemo implements Runnable{

	private volatile boolean  flag = false;
	
	@Override
	public void run() {
		try {
			Thread.sleep(200);
		} catch (InterruptedException e) {
			e.printStackTrace();
		}
		flag = true;
		System.out.println("flag = " + isFlag());
	}

	public final boolean isFlag() {
		return flag;
	}

	public final void setFlag(boolean flag) {
		this.flag = flag;
	}
	
	
}

4.1 输出结果分析：

1. 没加 volatile 关键字
   
2. 加入 volatile 关键字
   
3. 原因分析：
   在运行的时候，子线程和main线程都独立的缓存，修改数据的时候，会先将数据从主存读到子线程的缓存中，然后才修改值，然后在同步到主存中，在还没有同步到主存中的时候，main线程读取了flag为false的值。子线程修改主存中flag为true，并打印。而while(true)的运行效率非常的高，高到main线程没有机会再去主存中再次读取flag的值，而在无限运行。