Java内存模型之可见性分析

最新推荐文章于 2024-05-06 06:45:00 发布
最新推荐文章于 2024-05-06 06:45:00 发布
阅读量297 收藏
点赞数 1
分类专栏： java并发编程 文章标签： java JMM Java内存模型 可见性 并发编程
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/wind_602/article/details/104041188
版权
本文深入解析Java内存模型（JMM），探讨数据共享与竞争带来的并发问题，以及如何通过JMM保证数据的可见性。分析了线程的工作内存、主内存交互，提出volatile、synchronized等解决方案，防止重排序导致的不一致性。
摘要由CSDN通过智能技术生成
1. JMM模型描述
  • 给定程序以及一个检测程序是否合法的执行跟踪,JMM工作原理是检查执行跟踪中的每个读,并根据某些规则检查读观察到的写是否有效
  • JMM中可能产生的行为表象现为不论代码是如何实现程序行为,只要保证程序的所有结果执行和JMM预期的结果一致即可
  • 基于上述的第二点,对实现者执行的代码进行转换的实现就比较自由,可以实现操作的重排序甚至删除不必要的同步操作代码
2. JMM之数据共享与竞争

线程共享与独占区域

  • 线程共享区域: JVM运行数据区中的方法区,堆内存存储的数据变量,存在数据竞争,即数据读写的安全问题
  • 线程独占区域: JVM为每个线程单独创建的私有区域,用于存储当前线程私有的数据变量,不存在数据竞争,比如线程局部变量,ThreadLocal/ThreadLocalRandom等
    在这里插入图片描述

线程通信产生数据竞争

  • 简要的源代码
// constant.java
了解本专栏 订阅专栏 解锁全文 超级会员免费看
疾风先生
关注
专栏目录
订阅专栏
Java内存模型可见性问题相关解析
08-25
总结来说，Java内存模型中的可见性问题是指线程之间无法立即感知共享变量的修改。通过使用`volatile`关键字，可以确保修改的变量对其他线程的可见性，避免因缓存导致的数据不一致。但在处理多线程的并发问题时，还...
Java面试题03-JMM内存模型之可见性
03-19
c#、java、php等多语言解决方案源代码 Wafer - 快速构建具备弹性能力的微信小程序 https://github.com/tencentyun/wafer 重要： 1.第二步，可以在5分钟内实现； 2.成本3元（腾讯云支持微信小程序2017年推广期间，3...
Java并发编程 | Java内存模型：看Java如何解决可见性和有序性问题
sinat_27143551的博客
03-10 297
上一期我们讲到在并发场景中，因可见性、原子性、有序性导致的问题常常会违背我们的直觉，从而成为并发编程的 Bug 之源。这三者在编程领域属于共性问题，所有的编程语言都会遇到...
Java内存模型之可见性(填坑之路)
gt9000的博客
03-09 379
前几天路过一个经常负责面试的同事附近，看到几个人在讨论volatile的可见性问题，当时第一感觉是 ：“可见性还不简单吗？volatile修饰一个变量时，那么在一个线程都对这个变量的更改，其他线程都立即可见。” 后面听到这样一句话：“实际运行结果能刷新你的三观，网上的例子很多都是有问题的”，让我瞬间产生了兴趣。凑近一看，果然跟我的很多认知都产生了偏差。 为了解决其中的疑惑，查阅的不少文章，拨开了...
java内存模型详解-可见性
xiaofbing的专栏
12-26 211
目录 JVM运行时数据区 Java内存模型 vs JVM运行时数据区 初看java内存模型 多线程中的问题 从内存结构到内存模型 JIT编译器 volatile关键字 Shared Variables（共享变量）定义 对于同步的规则定义 Happens-before先行发生原则 final在JMM中的处理 Word Traring字节处理 double和long的特殊处理 再看Java内存模型...
JAVA内存模型之可见性
weixin_45745355的博客
10-18 138
volatile并不是禁止JVM对所有的指令进行重排，只是对影响读数据的情况才会进行指令重排 语义是: can not be cached
Java内存模型之可见性
ZUCK的博客
06-07 422
保证可见性一般推荐volatile，较synchronized更轻量级
Java 内存模型
07-23
Java内存模型的核心内容涵盖了锁、线程间的交互、内存可见性和顺序一致性等方面。在JSR-133之前的Java内存模型规范中，volatile变量的语义较弱，它们的访问可以自由排序。但在新规范中，volatile变量的语义被加强为...
Java内存模型--原子性；有序性；可见性1
08-08
总结来说，Java内存模型通过原子性、有序性和可见性保证了多线程环境下的数据一致性。理解并熟练运用这些概念是编写高效、线程安全的Java代码的基础。在实际开发中，应根据需求选择合适的方式来确保这三个特性，以...
深入理解Java内存模型 pdf 超清版
01-31
深入理解Java内存模型，不仅能够帮助我们编写出高效、线程安全的代码，还能在面临并发问题时提供有力的分析和解决手段。通过阅读《深入理解Java内存模型》这本书，开发者可以进一步掌握Java并发编程的核心技术，提升...
JAVA 内存模型-内存可见性
mlydaemon的专栏
06-05 169
Java Memory Model (JAVA 内存模型）描述线程之间如何通过内存(memory)来进行交互。主要有两个原则，一个是线程不能直接操作主内存，一个是每个线程只能操作工作内存。换句话说，JVM内存分为两种，主存区和工作内存区。主内存对所有线程共享，工作内存只对所属线程开放，线程之间不能直接互相访问，变量在程序中的传递依赖主存来完成。 内存可见性 通过对java内存模型的理解，内存的可见性，是指共享变量在主存中对线程是可见的，在工作内存中对其他线程不可见。共享变量需要通过从主内存复制到工作内存，
并发编程（四）共享模型之内存
yirenyuan的博客
12-22 290
一、Java 内存模型 JMM 即 Java Memory Model，它定义了主存、工作内存抽象概念，底层对应着 CPU 寄存器、缓存、硬件内存、CPU 指令优化等。 JMM 体现在以下几个方面： （1）原子性：保证指令不会受到线程上下文切换的影响 （2）可见性：保证指令不会受 CPU 缓存的影响 （3）有序性：保证指令不会受 CPU 指令并行优化的影响 二、可见性 1. 退不出的循环 2. 解决方法 volatile（易变关键字） 它可以用来修饰成员
多线程陷阱：Java内存模型与可见性问题全解析
最新发布
逆流的小鱼
05-06 767
在并发编程中，可见性指的是在一个线程中对共享变量的修改，能够及时地被其他线程观察到。可见性问题发生时，一个线程的更改可能对其他线程不可见，导致程序运行出现错误行为。内存模型定义了不同线程如何交互和访问内存，以及变量如何被更新和共享。它是理解多线程编程中可见性（以及其他并发问题）的基础。
volatile 关键字，你真的理解吗？
Star's Tech Blog
05-06 2410
这里我们将引出一个概念：内存屏障指令 内存屏障指令 为了实现 volatile 内存语义（即内存可见性），JMM 会限制特定类型的编译器和处理器重排序。为此，JMM 针对编译器制定了 volatile 重排序规则表，如下所示： 使用 volatile 修饰变量时，根据 volatile 重排序规则表，Java 编译器在生成字节码时，会在指令序列中插入内存屏障指令来禁止特定类型的处理器重排序。 内...
java内存模型---原子性、可见性与有序性
l1394049664的博客
08-07 1225
Java内存模型是围绕着在并发过程中如何处理原子性、可见性和有序性这三个特征来建立的，我们逐个看下哪些操作实现了这三个特性。 1、原子性（Atomicity） 由Java内存模型来直接保证的原子性变量包括read、load、assign、use、store和write，我们大致可以认为基本数据类型的访问读写是具备原子性的。如果应用场景需要一个更大方位的原子性保证，Java内存模型还提供了loc...
Java内存模型(原子性、可见性、有序性)
luzhensmart的专栏
02-28 846
Java内存模型规定所有的变量都是存在主存当中（类似于前面说的物理内存），每个线程都有自己的工作内存（类似于前面的高速缓存）。线程对变量的所有操作都必须在工作内存中进行，而不能直接对主存进行操作。并且每个线程不能访问其他线程的工作内存。 　　举个简单的例子：在java中，执行下面这个语句： i = 10; 执行线程必须先在自己的工作线程中对变量i所在的缓存行进行赋值操作，然后再写入主存当...
java实现变量的可见性
u012147447的博客
08-17 1611
可见性就是当一个线程修改了共享变量的值，其他线程能够立即得知这个修改。java内存模型在变量修改后将新的变量值同步回主内存，在其他线程读取该变量之前从主内存刷新变量值来实现可见性。 主要实现可见性的方式有三种： volatile，注意一点 volatile不能保证操作的原子性。 synchronized,在对一个变量进行unlock操作之前，必须把变量值同步回主内存。 final,被final关...
JAVA内存可见性分析
meser88的博客
02-24 221
https://cloud.tencent.com/developer/article/1121728
Java中可见性的例子
weixin_33686714的博客
10-09 611
2019独角兽企业重金招聘Python工程师标准>>> ...
Java内存模型详解：同步与可见性
Java内存模型是Java并发编程中的核心概念，它确保了在多线程环境下，线程之间的共享数据可见性和一致性。内存模型基于共享内存模型，即所有线程都共享同一块主内存空间，而每个线程有自己的本地内存，用于存储对共享...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

疾风先生

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值