理解JMM

2024-04-21 03:36
文章标签 理解 jmm

本文主要是介绍理解JMM,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

JMM

对volatile的理解

volatile 是java虚拟机提供轻量级的同步机制

1、保证可见性

2、不保证原子性

3、禁止指令重排

那么可见性与JMM相关

什么是JMM

Java内存模型,不存在的东西,是一个概念,是一个约定

  • 线程加锁前,必须读取主存中最新值到工作内存中
  • 线程解锁前,必须立刻将共享变量刷回到主存中
  • 加锁与解锁必须是同一把锁

解释:线程操作变量时,

1、是先将主存中的数据复制到自己的工作内存中

2、对自己内存的内容进行操作

3、操作完成后解锁时,需要将更新的内容,同步更新到主存中

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

会存在一个问题,

  • 如果线程A读取了数据,但是没有停止,没有将数据刷新到主存中

  • 线程B读取了数据,并且一下就停止了,然后将数据刷新回了

  • 这个时候主存中的数据已经刷新了,但是工作内存中并没有得到最新的数据

所以volatile可以解决的,他可以让主存的数据变成可见性,也就是主存的数据如果发生了改变,就可以将数据直接刷新回去

上述就是保证了可见性

不保证原子性

  • 原子性操作是像原子一样,要么一起成功,要么一起失败

  • 但是volatile在变量上时,是不保证的。

    • 如何理解这句话

    • 举例

    • class X {private static int num;public static void add(){num++;}public static void main(String[] args) {for (int i = 0; i < 10; i++) {new Thread(()->{add();}).start();}System.out.println(num);}
      }
      
    • 上述代码一看就知道是存在数据不安全的情况

    • 那么在这里底层上num++,并不是一个操作,而是由多个步骤操作实现的num++;

    • 所以当出现了多个线程操作同一个变量时,就存在了不安全的行为,这几个步骤不能保证原子性

    • 而此时,添加了volatile也是没有办法保证原子性的

    • 注意:如果你把sout写到了里面,那么就会保证原子性,因为sout是加锁的

如何解决这个问题

使用

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

这个包下的内容

public static void add(){num.getAndIncrement();
}
public static void main(String[] args) throws InterruptedException {for (int i = 0; i < 10; i++) {new Thread(()->{add();}).start();}while (Thread.activeCount() > 2){Thread.yield();}System.out.println(num);
}
  • 为什么要使用线程礼让
  • 这个线程如果都跑完了,就剩下main线程与gcc垃圾线程
  • 所以没有跑完就一直礼让
  • 保证最后执行sout
  • 也可以使用sleep休眠
  • 不然上面的线程还没有执行完,就输出了
  • 注意上面的问题哦

禁止指令重排

什么是指令重排

int x = 1;
int y = 2;
x = x + 2;
y = y + 2;
  • 这里,使用 第一个指令与第二个指令重新排队,对程序是没有影响的

会出现的问题

x , y ,a ,b = 0

线程A线程B
x = ay = b
b = 1a = 2

正常线程输出是

x = 0 b = 1 ; y = 1 a = 2

但是如果执行顺序不同,使得指令重排,

结果可能是

x = 2 b = 1 ; y = 1 a = 2;

那么volatile会禁止重新排列

为什么会出现禁止重排,因为内存屏障会

内存屏障禁止重排

保证数据可见性

在这里插入图片描述

  • volatile会增加数据禁止重排

这篇关于理解JMM的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/922066

相关文章

深入理解Apache Kafka(分布式流处理平台)

《深入理解ApacheKafka(分布式流处理平台)》ApacheKafka作为现代分布式系统中的核心中间件,为构建高吞吐量、低延迟的数据管道提供了强大支持,本文将深入探讨Kafka的核心概念、架构... 目录引言一、Apache Kafka概述1.1 什么是Kafka?1.2 Kafka的核心概念二、Ka

深入理解Apache Airflow 调度器(最新推荐)

《深入理解ApacheAirflow调度器(最新推荐)》ApacheAirflow调度器是数据管道管理系统的关键组件,负责编排dag中任务的执行,通过理解调度器的角色和工作方式,正确配置调度器,并... 目录什么是Airflow 调度器?Airflow 调度器工作机制配置Airflow调度器调优及优化建议最

一文带你理解Python中import机制与importlib的妙用

《一文带你理解Python中import机制与importlib的妙用》在Python编程的世界里,import语句是开发者最常用的工具之一,它就像一把钥匙,打开了通往各种功能和库的大门,下面就跟随小... 目录一、python import机制概述1.1 import语句的基本用法1.2 模块缓存机制1.

深入理解C语言的void*

《深入理解C语言的void*》本文主要介绍了C语言的void*,包括它的任意性、编译器对void*的类型检查以及需要显式类型转换的规则,具有一定的参考价值,感兴趣的可以了解一下... 目录一、void* 的类型任意性二、编译器对 void* 的类型检查三、需要显式类型转换占用的字节四、总结一、void* 的

深入理解Redis大key的危害及解决方案

《深入理解Redis大key的危害及解决方案》本文主要介绍了深入理解Redis大key的危害及解决方案,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着... 目录一、背景二、什么是大key三、大key评价标准四、大key 产生的原因与场景五、大key影响与危

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

认识、理解、分类——acm之搜索

普通搜索方法有两种:1、广度优先搜索;2、深度优先搜索; 更多搜索方法: 3、双向广度优先搜索; 4、启发式搜索(包括A*算法等); 搜索通常会用到的知识点:状态压缩(位压缩,利用hash思想压缩)。

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言

【C++高阶】C++类型转换全攻略:深入理解并高效应用

📝个人主页🌹:Eternity._ ⏩收录专栏⏪:C++ “ 登神长阶 ” 🤡往期回顾🤡:C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝

深入理解RxJava:响应式编程的现代方式

在当今的软件开发世界中,异步编程和事件驱动的架构变得越来越重要。RxJava,作为响应式编程(Reactive Programming)的一个流行库,为Java和Android开发者提供了一种强大的方式来处理异步任务和事件流。本文将深入探讨RxJava的核心概念、优势以及如何在实际项目中应用它。 文章目录 💯 什么是RxJava?💯 响应式编程的优势💯 RxJava的核心概念