时间:2021-05-20
普通读 无法及时获得 主内存变量
public class volatileTest { static boolean flag = false;//非volatile变量 public static void main(String[] args) throws Exception { new Thread(new Runnable() { @Override public void run() { while(!flag){ }; } }).start(); Thread.sleep(100); flag = true; System.out.println("主线程运行完毕"); }}主线程已经修改了flag为true,但子线程一直不会退出循环,因为子线程一直没有同步到 主内存中的变量的值。
截图可见程序一直没有退出,使用dump threads后:
"Thread-0" #12 prio=5 os_prio=0 tid=0x0000000022d89800 nid=0x168 runnable [0x00000000248df000]
java.lang.Thread.State: RUNNABLE
at volatileTest$1.run(volatileTest.java:10)
at java.lang.Thread.run(Thread.java:745)
volatile读 及时获得 主内存变量
public class volatileTest { static volatile boolean flag = false;//volatile变量 public static void main(String[] args) throws Exception { new Thread(new Runnable() { @Override public void run() { while(!flag){ }; } }).start(); Thread.sleep(100); flag = true; System.out.println("主线程运行完毕"); }}加了一个volatile关键字,子线程就能检测到flag的变化了。子线程会退出。
普通读+sleep
public class volatileTest { static boolean flag = false;//非volatile变量 public static void main(String[] args) throws Exception { new Thread(new Runnable() { @Override public void run() { while(!flag){ try { Thread.sleep(1); } catch (InterruptedException e) { e.printStackTrace(); } }; } }).start(); Thread.sleep(100); flag = true; System.out.println("主线程运行完毕"); }}加了sleep,子线程会退出。
其实就算变量不是volatile的,JVM也会尽量去保证可见性。最开始的例子,由于CPU一直执行循环,没有其他时间来获取 主内存中的变量的最新值,但加了sleep后,CPU就有时间去获取 主内存中的东西了。
普通读+同步块
public class volatileTest { static boolean flag = false;//非volatile变量 static Object sync = new Object(); public static void main(String[] args) throws Exception { new Thread(new Runnable() { @Override public void run() { while(!flag){ synchronized (sync) {}//随便synchronized一个对象 //synchronized (this)也可以 }; } }).start(); Thread.sleep(100); flag = true; System.out.println("主线程运行完毕"); }}加了同步块,子线程会退出。
这是因为synchronized具体过程是:
简单的说,synchronized进入时,会将 主内存中最新的变量,拷贝进 自己线程 的工作内存。synchronized退出时,会把 自己线程的工作内存的变量 弄进 主内存中。
同步块 遭遇 锁消除
public class volatileTest { static boolean flag = false;//非volatile变量 public static void main(String[] args) throws Exception { new Thread(new Runnable() { @Override public void run() { while(!flag){ synchronized (new Object()){} }; } }).start(); Thread.sleep(100); flag = true; System.out.println("主线程运行完毕"); }}子线程不会退出。
原因是:synchronized (new Object()){}中这个Object永远不可能逃逸到同步块以外去,所以同步操作其实根本不需要执行了,既然没有执行同步,那么相当于这里是啥也没有。
普通读+System.out.println
public class volatileTest { static boolean flag = false; public static void main(String[] args) throws Exception { new Thread(new Runnable() { @Override public void run() { while(!flag){ System.out.println("子线程running"); }; } }).start(); Thread.sleep(100); flag = true; System.out.println("主线程运行完毕"); }}加了System.out.println,子线程会退出。
因为out这个PrintStream实例的println实现是:
public void println(String x) { synchronized (this) { print(x); newLine(); } }因为它也有同步块。
到此这篇关于Java并发volatile可见性的验证实现的文章就介绍到这了,更多相关Java并发volatile验证内容请搜索以前的文章或继续浏览下面的相关文章希望大家以后多多支持!
声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。
内存可见性 volatile是Java提供的一种轻量级的同步机制,在并发编程中,它也扮演着比较重要的角色。同synchronized相比(synchroniz
前面一篇文章在介绍Java内存模型的三大特性(原子性、可见性、有序性)时,在可见性和有序性中都提到了volatile关键字,那这篇文章就来介绍volatile关
问题(1)volatile是如何保证可见性的?(2)volatile是如何禁止重排序的?(3)volatile的实现原理?(4)volatile的缺陷?简介vo
在原子性、可见性、有序性中,volatile关键字主要在可见性中发挥作用。volatile声明的变量对所有线程来说是可见的,就是说当变量的值发生改变的时候,其他
背景:听说VolatileJava高阶语法亦是挺进BAT的必经之路。Volatile:volatile同步机制又涉及Java内存模型中的可见性、原子性和有序性,