首先看一个例子
package cn.lazyfennec.demo.example;
import java.util.concurrent.TimeUnit;
/**
* @Author: Neco
* @Description:
* @Date: create in 2022/6/15 11:39
*/
public class VisibilityDemo {
public boolean flag = true;
public static void main(String[] args) throws InterruptedException {
VisibilityDemo demo = new VisibilityDemo();
System.out.println("代码开始了~~~~");
Thread thread = new Thread(new Runnable() {
@Override
public void run() {
int i = 0;
while(demo.flag) {
i++;
}
System.out.println(i);
}
});
thread.start();
TimeUnit.SECONDS.sleep(2);
demo.flag = false;
System.out.println("flag 被置为 false 了");
}
}
以上的代码,在不看运行结果的情况下,按照逻辑分析,最后的结果大致如下
代码开始了~~~~
flag 被置为 false 了
*** // 这里***表示某个值
但是实际的执行结果是这样的
代码开始了~~~~
flag 被置为 false 了
// 这里进入了死循环
volatile 关键字
-
可见性问题
让一个线程对共享变量的修改,能够及时的被其他线程看到。
- Java内存模型规定:
对 volatile 变量v的写入,与所有其他线程后续对 v 的读同步
要满足以上条件,volatile关键字需要有以下的功能
-
禁止缓存
volatile变量的访问控制符会加个ACC_VOLATILE
https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.5 -
对
volatile
变量相关的指令不做重排序
即JVM在进行编译的时候,正常情况下,会在JVM规定的规范内,对指令进行重排序,以提高运行效率(性能),而对于volatile修饰的内容,则不会进行重新排序。
- 对于以上的问题,在flag变量前加入volatile关键字
public volatile boolean flag = true;
此时的执行结果
代码开始了~~~~
flag 被置为 false 了
30024084
扩展: Shared Variables 共享变量定义
可以在线程之间共享的内存称为共享内存或堆内存。
所有实例字段、静态字段和数组元素都存储在堆内存中,这些字段和数组都是标题中提到的共享变量。
冲突:如果至少有一个访问是写操作,那么对同一个变量的两次访问是冲突的。
这些能被多个线程访问的共享变量是内存模型规范的对象。
定义在: https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.4.1
如果觉得有收获就点个赞吧,更多知识,请点击关注查看我的主页信息哦~
【信息由网络或者个人提供,如有涉及版权请联系COOY资源网邮箱处理】
© 版权声明
部分内容为互联网分享,若有侵权请联系站长删除。
THE END
暂无评论内容