多线程(52)Java内存模型(JMM)

Java内存模型(JMM)是Java虚拟机(JVM)的一部分,它定义了Java程序中各种变量(线程中的本地变量、堆中的对象、类中的静态字段等)的访问规则,以及在多线程环境中如何和何时可以看到由其他线程修改过的共享变量的值。JMM对于实现高性能、可靠的并发应用程序至关重要。

JMM的主要目标:

  1. 定义程序中变量的访问规则:确保线程执行程序代码时能正确地读取到变量的值,无论变量被另一个线程在何处、何时修改。
  2. 提供可见性和有序性保证:确保一个线程对共享变量的修改对其他线程可见(可见性),并且在多线程环境中对于共享变量的访问是有序的(有序性)。
  3. 提供原子性保证:对基本读取和写入操作的原子性保证。

JMM的关键特性:

1. 可见性

当一个线程修改了共享变量的值,其他线程能够立即知道这个修改。Java提供了volatile关键字来保证变量的修改对所有线程立即可见。

2. 原子性

Java提供了synchronizedLock机制来保证代码块在多线程环境中的原子性执行。

3. 有序性

Java中,有序性是通过happens-before原则来保证的,这个原则是JMM中最核心的概念之一。

happens-before原则

happens-before关系是逻辑上定义两个操作之间的偏序关系。如果一个操作A happens-before操作B,那么JMM将保证A操作的结果对B操作可见,且A的操作顺序在B之前。

happens-before规则包括:

  • 程序顺序规则:在同一个线程中,按照程序代码顺序,前面的操作happens-before于后续的任何操作。
  • 监视器锁规则:解锁(unlock)happens-before于随后的对同一个锁的加锁(lock)。
  • volatile变量规则:对volatile字段的写操作happens-before于后续对这个volatile字段的读操作。
  • 传递性:如果A happens-before B,且B happens-before C,那么A happens-before C。

代码示例

下面是使用volatile关键字实现的一个可见性示例:

public class VolatileExample {private volatile boolean flag = false;public void writer() {flag = true; // 写操作}public void reader() {if (flag) { // 读操作System.out.println("Flag is true");}}
}

在这个例子中,flag变量被标记为volatile。这意味着对这个变量的写操作会立即对其他线程可见,而且读取操作会看到最近一次的写入。

内存屏障

JMM是通过内存屏障(Memory Barriers)来实现happens-before原则的。内存屏障是一种CPU指令,用于控制特定类型的操作的执行顺序。JMM利用这些内存屏障来禁止特定类型的操作重排序。

  • Load Barrier(加载屏障):确保之后的读操作不会和屏障之前的读写操作重排序。
  • Store Barrier(存储屏障):确保之前的写操作不会和屏障之后的读写操作重排序。

总结

JMM定义了Java多线程程序中变量的读写规则,以及线程之间如何通过共享变量进行通信。它通过volatilesynchronizedLock等机制提供了一套规则和保证,让开发者可以编写出更加安全、高效的并发程序。理解JMM是实现正确的并发程序的关键。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/816683.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

陇剑杯 ios 流量分析

陇剑杯 ios 流量分析 ios 一位ios的安全研究员在家中使用手机联网被黑,不仅被窃密还丢失比特币若干,根据流量分析完成ios1-8 ios 1 ios-1:黑客所控制的C&C服务器IP是_____________。 什么是C&C服务器? C&C(Com…

Java 大数据开发

Java 作为一种流行的编程语言, 其优秀的跨平台性和可扩展性, 为大数据开发提供了很好的支持。 Java 大数据开发一般涉及到以下几个方面: 1. 数据处理和分析: 这是大数据开发最基础的工作, 通过 Java 编程语言&#xff…

MATLAB GUI图形化界面设计计算器

MATLAB GUI界面设计教程可以帮助用户创建交互式的图形用户界面,以简化与MATLAB程序的交互过程。以下是一个简化的教程,指导你如何进行MATLAB GUI界面设计: 1. 启动GUIDE或App Designer GUIDE:在MATLAB命令窗口中输入guide命令&a…

php在apache运行的几种方式

本文讲运行的三种模式 CGI模式、FastCGI模式、Apache 模块DLL 解释 cgi,fastcgi,php-fmp之间的关系 请看 https://blog.csdn.net/qq_21956483/article/details/80348316 Cgi模式和模块dll加载方式比较: Cgi模式下 apache调用外部执行器php.exe执行php代码&#xff…

Linux kernel 墙上时间

前言 最近在研究 Linux 调度子系统,该子系统由时钟中断推动。每发生一次时钟中断,就会执行一次时钟中断服务程序,在时钟中断服务程序中,最终会调用 tick_periodic() 这个函数。该函数中有 update_wall_time() 这样一个函数&#…

4.2、ipex-llm(原bigdl-llm)进行语音识别

ipex-llm环境配置及模型下载 由于需要处理音频文件,还需要安装用于音频分析的 librosa 软件包。 pip install librosa下载音频文件 !wget -O audio_en.mp3 https://datasets-server.huggingface.co/assets/common_voice/--/en/train/5/audio/audio.mp3 !wget -O a…

44.HarmonyOS鸿蒙系统 App(ArkUI)栅格布局介绍

栅格布局是一种通用的辅助定位工具,对移动设备的界面设计有较好的借鉴作用。主要优势包括: 提供可循的规律:栅格布局可以为布局提供规律性的结构,解决多尺寸多设备的动态布局问题。通过将页面划分为等宽的列数和行数,…

我五年减脂历程中应用的数据指标

对于减脂,理论说的再多无益,关键是要行动起来。只有坚持过,才有资格说:我尽力了。 每天跑步5公里,是改变一个人体态的分水岭。记住是每天,不管春夏秋冬、酷暑寒雪。 我常在想,如何才能变成一个更…

【JavaEE多线程】理解和管理线程生命周期

目录 ThreadThread类的常用构造方法Thread类的常见属性启动一个线程-start()终止一个线程等待一个线程-join()线程的状态 Thread Thread 就是在 Java 中,线程的代言人。系统中的一个线程,就对应到 Java 中的一个 Thread 对象。围绕线程的各种操作&#…

Java 设计模式系列:模板方法模式

简介 模板方法模式是一种行为型设计模式,它定义一个操作中的算法骨架,将一些步骤推迟到子类中。模板方法模式使得子类可以不改变一个算法的结构,即可重定义该算法的某些特定步骤。 在模板方法模式中,抽象类中定义了一系列基本操…

申请OV SSL证书的好处

什么是OV SSL证书: OV SSL证书也叫组织验证型SSL证书,是众多SSL证书当中最受广大用户欢迎的一种类型。因为它不仅需要验证域名的所有权,还需要对企业的相关身份信息进行审核,确保企业是一个真实存在的合法实体。除了这些&#xf…

Rust取代C++? 保守了!关于未来的讨论

当各种平台在大肆讨论rust即将取代C/C的时候,已经有不少人意识到这种讨论是聒噪而无聊的。笔者和老师们通过周末茶会的讨论,认为现今世界常见的大多数编程语言都会在50-80年内被AI取代,同时供人类审计而诞生的“审计语言”会兴起。届时计算机…

Beego 使用教程 1:项目创建

beego 是一个用于Go编程语言的开源、高性能的 web 框架 beego 被用于在Go语言中企业应用程序的快速开发,包括RESTful API、web应用程序和后端服务。它的灵感来源于Tornado, Sinatra 和 Flask beego 官网:http://beego.gocn.vip/ 上面的 beego 官网如果访问不到,看这篇文章…

华为机考入门python3--(15)牛客15-求int型正整数在内存中存储时1的个数

分类:二进制 知识点: int转二进制 binary bin(n)[2:] 题目来自【牛客】 def count_ones_in_binary(n): # 将输入的整数转换为二进制字符串 # bin(n)为0b11011binary bin(n)[2:]# 初始化计数器为0 count 0 # 遍历二进制字符串的每一位 fo…

YOLOv9/YOLOv8算法改进【NO.117】 使用Wasserstein Distance Loss改进小目标的检测效果

前 言 YOLO算法改进系列出到这,很多朋友问改进如何选择是最佳的,下面我就根据个人多年的写作发文章以及指导发文章的经验来看,按照优先顺序进行排序讲解YOLO算法改进方法的顺序选择。具体有需求的同学可以私信我沟通: 首推…

多线程(51)忙等待

忙等待(Busy-waiting)是一种同步机制,其中一个进程或线程重复检查某个条件是否满足以便继续执行,而不是进入休眠或阻塞状态。这个条件通常与某种资源或锁的可用性有关。忙等待常常与自旋锁相关联,因为自旋锁就是通过忙…

StarUML笔记之从UML图生成C++代码

StarUML笔记之从UML图生成C代码 —— 2024-04-14 文章目录 StarUML笔记之从UML图生成C代码1.Add Diagram2.在TOOLBOX中左键点击Class,松开,然后在中间画面再左键点击,即可出现UML3.修改类图,并添加接口,方法,属性,我…

webpack-(plugin,本地服务器,路径别名,安装vue)

安装vue npm i vue-loader -D npm i vue 编写一个vue文件: 在index.html中设置 一个id为app的div 将vue文件挂载到app中 vue比较特殊,除了使用loader外,还使用了plugin const path require("path"); const { VueLoaderPlugin …

数据库-Redis(11)

目录 51.什么是Redis事务? 52.Redis事务相关命令? 53.Redis事务的三个阶段?

将图片数据转换为张量(Go并发处理)

在Go语言中,将图片数据转换成Tensor通常需要依赖一些外部库,编写一个简单的程序,该程序批量同时处理图片,将其转换为对应的浮点数张量。 假设图片是单通道(灰度图)或者三通道(彩色图&#xff0…