1.volatile关键字 内存可见性
Java JUC 简介
在 Java 5.0 提供了 java.util.concurrent (简称JUC )包,在此包中增加了在并发编程中很常用的实用工具类,用于定义类似于线程的自定义子系统,包括线程池、异步 IO 和轻量级任务框架。提供可调的、灵活的线程池。还提供了设计用于多线程上下文中的 Collection 实现等。
内存可见性
内存可见性(Memory Visibility)是指当某个线程正在使用对象状态而另一个线程在同时修改该状态,需要确保当一个线程修改了对象状态后,其他线程能够看到发生的状态变化。
可见性错误是指当读操作与写操作在不同的线程中执行时,我们无法确保执行读操作的线程能适时地看到其他线程写入的值,有时甚至是根本不可能的事情。
我们可以通过同步来保证对象被安全地发布。除此之外我们也可以使用一种更加轻量级的 volatile 变量。
volatile 关键字
Java 提供了一种稍弱的同步机制,即 volatile 变量,用来确保将变量的更新操作通知到其他线程。可以将 volatile 看做一个轻量级的锁,但是又与锁有些不同:
- 对于多线程,不是一种互斥关系
- 不能保证变量状态的“原子性操作”
1 /* 2 * 当有多个线程时,虚拟机会为每个 线程开辟一个独立的缓存区域,当某个线程去访问共享变量(存放在主存区(堆中)) 3 * 会把 主存中的变量 复制一份到自己的缓存中,在自己的缓存中去操作,改变这个变量的值,然后再去更新主存中的变量的值 4 * (三步:1.线程拷贝一份到自己的缓存中 2.在缓存中修改变量的值 3.将修改后的值回送给主存,更新主存中变量的值) 5 * 若另外一个线程执行的操作比较快(如这里的while(true)),还等不及子线程去更新主存中的数据,这个线程就去读 主存中变量的值,拿到的是子线程处理之前的变量的值 6 * 此时 两个线程各自缓存区的关于这个变量的值 是不同的 7 * 8 * 所以说,对于线程之间来说,内存是不可见的,可以使用 volatile,来保证内存中的数据可见 9 * (即可以理解为:使用volatile修饰变量后,不拿到 各自线程的缓存中操作这个变量了,直接在 主存中操作变量, 10 * 这样变量一修改,主存就能得到 这个变量 的最新值,其他线程能改看到这个线程即时发生的变化) 11 * */ 12 13 /* 14 * 一:volatile 关键字 :当多个线程进行操作共享数据时,可以保证内存中的数据可见 15 * 相较于synchronize,是一种较为轻量级的同步策略(性能比 synchronize 要高一些) 16 * 17 * 注:1.volatile 不具备互斥性 18 * 2.volatile 不能保证变量的“原子性” 19 * 20 * */ 21 public class TestVolatile { 22 public static void main(String[] args) { 23 MyThread td = new MyThread(); 24 new Thread(td).start(); 25 26 //这里有一个主线程和一个子线程,两个线程同时都在执行,子线程的执行首先为flag赋值为false,然后进入休眠,休眠完后将flag 改为true 27 //主线程和子线程同步进行,但是因为flag的值一直为false,所以无法跳出循环,要等到休眠完毕,flag 变为 true 28 //因为这里flag是volatile变量,所以子线程对flag 修改,主线程是能够看到的 29 while (true) { 30 //使用synchronized等待 td 线程完成,再去主存中去读 flag的值,将flag的值加载到自己的缓存中 31 //synchronized (td) { 32 if (td.isFlag()) { 33 System.out.println("---------"); 34 break; 35 } 36 //} 37 } 38 } 39 } 40 41 class MyThread implements Runnable { 42 private volatile boolean flag = false; //加入了 volatile ,保证线程之间的内存相互可见 43 44 @Override 45 public void run() { 46 try { 47 Thread.sleep(1000); 48 } catch (InterruptedException e) { 49 50 } 51 52 flag = true; 53 System.out.println("子线程:flag = " + flag); 54 } 55 56 public boolean isFlag() { 57 return flag; 58 } 59 60 public void setFlag(boolean flag) { 61 this.flag = flag; 62 } 63 }