多线程的内存可见性

1 共享变量的可见性

2 synchronized实现可见性

3 volatile实现可见性

4 synchronized和volatile比较

可见性

可见性：一个线程对共享变量的修改，能够及时的被其他线程看到。

共享变量：如果一个变量在多个线程的工作内存都存在副本，那么这个变量就是这个几个线程的共享变量。

Java内存模型

描述了Java程序中各种变量（线程共享变量）的访问规则，以及在JVM中将变量存储到内存和从内存中读取的变量这样的底层细节。

主内存  线程的工作内存

 

 规定： 线程对共享变量所有操作都必须在自己的工作内存中进行，不能直接从主内存中读取。而且不同线程不能操作不同的工作内存

要想实现共享变量的可见性，必须保证两点：

线程修改后的共享变量值能够及时从工作内存刷新到主内存中

其他线程能够及时把共享变量的最新值从主内存更新到自己的工作内存中

可见性的实现方式

java语言层面支持的可见性实现方法： synchronized和volatile

synchronized实现可见性

synchronized能够实现：原子性（同步）和可见性

synchronized实现可见性

JMM（java内存模型）关于synchronized的两条规定：

1.线程解锁前，必须把共享变量的最新值刷新到主内存；

2.线程加锁时，将清空工作内存中共享变量的值，从而使用共享变量时需要从主内存中重新读取最新的值（加锁解锁需要同一把锁）。

线程解锁前对共享变量的修改在下次加锁时对其他线程可见

线程执行互斥代码的过程：

1.获得互斥锁

2.清空工作内存

3.从主内存拷贝变量的最新副本到工作内存

4.执行代码

5.将更改后的共享变量的值刷新到主内存

5.释放互斥锁

补充两个知识点

指令重排序：代码书写的顺序与实际执行的顺序不同，指令重排序是编译器或处理器为了提高性能而做的优化

1.编译器优化的重排序（编译器优化）

2.指令级并行重排序（处理器优化）

3.内存系统的重排序（处理器优化）

举例（有可能）

 as-if-serial

无论如何重排序，程序执行的结果应该与代码顺序执行的结果一致（Java编译器、运行时和处理器都会保证Java在单线程下遵循as-if-serial语义 ）。

看个例子，顺序不同对结果的影响

  
  
package demo.thread;
public class SynchronizedDemo {
	//共享变量
	private boolean ready = false;
	private int result = 0;
	private int number = 1;
	//写方法
	public void write(){
		ready = true; //1.1
		number =2; //1.2
	}
	//读方法
	public void read(){
		if(ready){ //2.1
			result = number *3; //2.2
		}
		System.out.println("result的值为："+result);
		
	}
	//内部线程类
	private class ReadWriteThread extends Thread{
		//根据构造方法中传入的flag参数，确定线程执行读操作还是写操作
		private boolean flag;
		public ReadWriteThread(boolean flag){
			this.flag =flag;
		}
		@Override
		public void run(){
			if(flag){
				write();
			}else{
				read();
			}
		}
	}
	
	public static void main(String[] args) {
		// TODO Auto-generated method stub
		SynchronizedDemo syndemo = new SynchronizedDemo();
		
		syndemo.new ReadWriteThread(true).start();
		syndemo.new ReadWriteThread(false).start();
	}
}

可能的执行顺序： 1.1 ->2.1->2.2->2.1  result:3

                               1.2 ->2.1->2.2->1.1  result:0

                                       1.1 ->1.2->2.1->2.2  result:6

等等

2.1和2.2也可以重排序，因为他们虽然是控制依赖关系，但是只有是数据依赖关系才有约束。

导致共享变量在线程间不可见的原因：                                  

1.线程的交叉顺序

2.重排序结合线程交叉执行

3.共享变量更新后的值没有在工作内存与主内存间及时更新

 

安全的代码是加synchronized关键字

   
   
//写方法
	public synchronized void write(){
		ready = true; //1.1
		number =2; //1.2
	}
	//读方法
	public synchronized void read(){
		if(ready){ //2.1
			result = number *3; //2.2
		}
		System.out.println("result的值为："+result);
		
	}

 volatile实现可见性

volatile关键字：

能够保证volatile变量的可见性

不能保证volatile变量复合操作的原子性

如何实现内存可见性：

通过加入内存屏障和禁止重排序优化来实现。

对于volatile变量执行写操作时，会在写操作后加入一条store屏障指令

对于volatile变量执行读操作时，会在读操作前加入一条load屏蔽指令

通俗来说，volatile变量在每次被线程访问时，都强迫从主内存中重读该变量的值，而当该变量发生变化时，又会强迫线程将最新的值刷新到主内存。这样任何时候，不同线程总能看到该变量的最新值。

volatile不能保证变量复合操作的原子性：

   
   
package demo.thread;
public class volatileDemo {
	private volatile int number = 0;
	public int getNumber(){
		return this.number;
	}
	public void increase(){
		this.number++;
	}
	public static void main(String[] args) {
		final volatileDemo volatileDemo= new volatileDemo();
		for (int i = 0; i < 500; i++) {
			new Thread(new Runnable() {
				
				@Override
				public void run() {
					// TODO Auto-generated method stub
					volatileDemo.increase();
				}
			}).start();
		}
		//如果还有子线程在运行，主线程就让出cpu资源，
		//知道所有的子线程都运行完了，主线程再往下执行
		while (Thread.activeCount()>1){
			Thread.yield();
			
		}
		System.out.println("number："+volatileDemo.getNumber());
	}
}

结果有时候会出现不等于500

原因如下：

number++不是原子操作

解决方案：

1.使用synchronized关键字；

2.使用ReentrantLock（java.util.concurrent.locks包）；

3.使用AtomInteger（java.util.concurrent.atomic包）；

   
   
//第一种
    private  int number = 0;
	public void increase(){
		synchronized (this) {
			this.number++;
		}
	}
//第二种
	private  int number = 0;
	
	private Lock lock = new ReentrantLock();
	public void increase(){
		lock.lock();
		try {
			this.number++;
		} finally {
			//JDK推荐方法，把锁放到try finally，防止锁出异常
			lock.unlock();
		}
		
		
	}
//第三种
private  AtomicInteger number = new AtomicInteger(0);
public void increase(){
	this.number.getAndIncrement();	
}

volatile使用场合：

1.对变量的写入操作不依赖当前值

•   不满足：number++，count=count*5；
  
•   满足：boolean变量，记录温度的变量等

2.该变量没有包含在具有其他变量的不变式中

synchronized和volatile比较

• volatile不需要加锁，比synchronized更轻量级，不会阻塞线程；
  
• 从内存可见性角度将，volatile读相当于加锁，volatile写相当于解锁；
  
• synchronized既能保证可见性，又能保证原子性。而volatile只能保证可见性，无法保证原子性。