02-请解释一下Java的内存模型和happens-before规则?【Java面试题总结】

news2025/1/19 8:17:30

请解释一下Java的内存模型和happens-before规则?

概念:Java内存模型,简称JMM,是一种定义了多线程程序中内存访问行为的规范。它定义了线程如何与主内存和工作内存进行交互,以及如何保证多线程程序的正确性和可见性。Java内存模型为并发编程提供了一致性和可靠性的保证

特点

  • 主内存:所有线程共享的内存区域,包含了所有的变量和对象。对于多个线程来说,主内存是可见的。
  • 工作内存:每个线程都有自己的工作内存,工作内存是线程私有的,用于存储变量的副本。线程只能直接访问自己的工作内存,而不能直接访问其他线程的工作内存。
  • 内存间的交互:线程之间通过读写主内存中的变量来实现数据的共享和通信。当线程将变量从主内存复制到工作内存时,线程可以对其进行操作。然后,线程再将更新后的结果刷新回主内存,使得其他线程可见。

Java内存模型中的happens-before规则

happens-before规则定义了对内存操作的顺序性,它确保了多线程程序中的操作按照一定的顺序进行,保证了可靠的数据共享和通信。

  • 程序顺序规则(Program Order Rule):按照程序的顺序执行;

  • 锁定规则(Lock Rule):对于同一把锁来说,解锁(unlock)操作必然发生在后续的同一个锁的加锁(lock)之前,也就是要先解锁才能再加锁;

  • volatile变量规则(Volatile Variable Rule):volatile变量的写,先发生于读,这保证了volatile变量的可见性。简单理解就是,volatile变量在每次被线程访问时,都强迫从主内存中读该变量的值,而当该变量发生变化时,又会强迫将最新的值刷新到主内存,任何时刻,不同的线程总是能够看到该变量的最新值;

  • 传递性(Transitivity):A先于B,B先于C,那么A必然先于C;

  • 线程启动规则(Thread Start Rule):线程的 start() 方法先于它的每一个动作(线程的启动操作 happens-before 于该线程的任何操作)

    具体的说,假设线程 A 调用了线程 B 的 start() 方法来启动线程B。根据线程启动规则,线程 A 中在启动线程 B 之后的任何操作都 happens-before 于线程 B 中的任何操作

image-20230828205107569

主线程(线程A)首先将变量 flag 设置为 true,然后启动了一个新线程(线程B),根据线程启动规则,只有在启动线程之后才能执行线程的其他操作,在启动线程B后,才执行线程B中的输出操作。

  • 线程终止原则:线程的所有操作先于线程的终结,Thread.join() 方法的作用是等待当前执行的线程终止。假设在线程B终止之前,修改了共享变量,线程A从线程B的join方法成功返回,线程B对共享变量的修改将对线程A可见。
  • 线程中断规则:对线程 interrupt() 方法的调用先行发生于被中断线程的代码检查到中断事件的发生,可以通过 Thread.interrupted() 方法检测线程十分中断。
  • 对象终结规则:一个对象的初始化完成(构造函数执行结束)happens-before于它的 finalize() 方法的开始。这个规则确保了对象的正确回收和资源释放。

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

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

相关文章

聚鑫数藏平台——引领数字资产管理新风向

随着数字经济的飞速发展,新金融生态应运而生。区块链技术的崭新突破,使数字资产的重要性日益凸显,为投资者带来了前所未有的机遇和挑战。在此背景下,聚鑫数藏平台横空出世,引领着数字资产管理的新风向。 聚鑫数藏平台&…

2023数学建模国赛四天速成计划来啦!(内含大量资料)

大家好呀。高教社杯全国大学生数学建模竞赛(下称国赛)9.7日下午6点就正式开始了: 在这里给大家带来一个五天的速成计划啦!大家可以收藏本文章或者转发到你们队友群哈,此外我还会发放很多资料给大家,注意&am…

数据结构|栈和队列以及实现

栈和队列 一、栈1.1栈的概念及结构1.2栈的实现 二、队列2.1队列的概念及结构2.2队列的实现 一、栈 1.1栈的概念及结构 栈:一种特殊的线性表,其只允许在固定的一端进行插入和删除元素操作。进行数据插入和数据删除的一端称为栈顶,另一端称为栈…

UE4 植物生长

这个可以改变SplineMesh朝向

leetcode 724. 寻找数组的中心下标

2023.9.3 本题先 求出数组总和sum&#xff0c;再寻找数组的中心下标&#xff1a;if(sum - temp -nums[i] temp) return i; 代码如下&#xff1a; class Solution { public:int pivotIndex(vector<int>& nums) {//求数组元素总和int sum 0; for(int num : nums…

【C++技能树】继承概念与解析

Halo&#xff0c;这里是Ppeua。平时主要更新C&#xff0c;数据结构算法&#xff0c;Linux与ROS…感兴趣就关注我bua&#xff01; 继承 0. 继承概念0.1 继承访问限定符 1. 基类和派生类对象赋值兼容转换2. 继承中的作用域3. 派生类中的默认成员函数4.友元5.继承中的静态成员6.菱…

lenovo联想笔记本小新 潮7000-14IKBR 2018款(81GA)原装出厂Windows10系统镜像

自带所有驱动、出厂主题壁纸LOGO、Office办公软件、联想电脑管家等预装程序 链接&#xff1a;https://pan.baidu.com/s/1ynP4d5z7MPF9l5U5lCjDzQ?pwdhjvj 提取码&#xff1a;hjvj 所需要工具&#xff1a;16G或以上的U盘 文件格式&#xff1a;ISO 文件大小&#x…

2.4 关系数据库

思维导图&#xff1a; 前言&#xff1a; 这段话描述了“关系数据库”及其背后的理论基础。首先&#xff0c;我们来拆分这段话并逐步解释每部分。 关系数据库是采用关系模型作为数据组织方式的数据库。 这句话的关键是“关系模型”。关系模型是一种表示和操作数据库的理论模型…

软考备考-程序员-考试介绍和考试大纲

软考程序员-考试介绍和考试大纲 全国计算机技术与软件专业技术资格&#xff08;水平&#xff09;考试 计算机技术与软件专业技术资格&#xff08;水平&#xff09;考试&#xff08;以下简称计算机软件资格考试&#xff09;是原中国计算机软件专业技术资格和水平考试&#xff0…

第三方系统测试怎么做?有些什么流程

系统测试 软件系统研发出来以后&#xff0c;产品的各个模板功能是否能够正常运转需要进行软件系统测试。而对于普通的互联网企业来说&#xff0c;软件测试的各项工作已经超出开发工作内容&#xff0c;由开发人员进行系统测试不仅需要耗费软件团队精力&#xff0c;可能测试效果…

Pyecharts数据可视化(三)

目录 1.绘制词云图 2.绘制桑基图 3.绘制平行坐标图 4.绘制结点图 5.绘制地图 本文主要介绍了如何利用Pyecharts绘制词云图、桑基图、平行坐标图、节点图和地图&#xff0c;虽然这些图平时不是很常用&#xff0c;但是看起来还是比较好看的&#xff0c;如果放在论文当中&am…

leetcode793. 阶乘函数后 K 个零(java)

阶乘函数后 K 个零 题目描述二分法代码模拟 题目描述 难度 - 困难 阶乘函数后 K 个零 f(x) 是 x! 末尾是 0 的数量。回想一下 x! 1 * 2 * 3 * … * x&#xff0c;且 0! 1 。 例如&#xff0c; f(3) 0 &#xff0c;因为 3! 6 的末尾没有 0 &#xff1b;而 f(11) 2 &#xf…

Bito使用手册

第一步&#xff1a;输入网站 https://alpha.bito.co/bitoai/ 第二步&#xff1a;填写邮箱 第三步&#xff1a;登录邮箱&#xff0c;获取验证码 第四步&#xff1a;填写验证码 第五步&#xff1a;完成

Scala的函数式编程与高阶函数,匿名函数,偏函数,函数的闭包、柯里化,抽象控制,懒加载等

Scala的函数式编程 函数式编程 解决问题时&#xff0c;将问题分解成一个一个的步骤&#xff0c;将每个步骤进行封装&#xff08;函数&#xff09;&#xff0c;通过调用这些封装好的步骤&#xff0c;解决问题。 例如&#xff1a;请求->用户名、密码->连接 JDBC->读取…

zabbix监控平台部署

目录 前言 一、zabbix的基本概述 &#xff08;一&#xff09;、zabbix的工作流程 &#xff08;二&#xff09;、zabbix的构成 &#xff08;三&#xff09;、zabbix的监控对象 &#xff08;四&#xff09;、zabbix的常用术语 &#xff08;五&#xff09;、zabbix进程详解…

植物根系基因组与数据分析

1.背景 这段内容主要是关于植物对干旱胁迫的反应&#xff0c;并介绍了生活在植物体内外以及根际的真菌和细菌的作用。然而&#xff0c;目前对这些真菌和细菌的稳定性了解甚少。作者通过调查微生物群落组成和微生物相关性的方法&#xff0c;对农业系统中真菌和细菌对干旱的抗性…

windows 2012服务器配置nginx后无法访问域名的问题

环境&#xff1a;Windows 2012 R2 Nginx 问题&#xff1a;确认域名解析到服务器ip已生效&#xff08;通过ping域名地址确认域名已指向该ip&#xff09;&#xff0c;确认nginx配置无误&#xff08;绑定域名、配置端口、配置网站文件目录&#xff09;&#xff0c;但无法从外网访…

6年打工人,我的所见、所想、所感。

咪哥杂谈 本篇阅读时间约为 7 分钟。 1 前言 本篇文章全部基于个人心得总结&#xff0c;欢迎大家讨论&#xff0c;无论是赞同还是反对&#xff0c;所有观点均接受。 原本是 5 周年打工人的心得&#xff0c;愣是让我拖了一年变成了 6 周年心得。 最近一年多一直投身于区块链行业…

vue的第2篇 开发环境vscode的安装以及创建项目空间

一 环境的搭建 1.1常见前端开发ide 1.2 安装vs.code 1.下载地址&#xff1a;Visual Studio Code - Code Editing. Redefined 2.进行安装 1.2.1 vscode的中文插件安装 1.在搜索框输入“chinese” 2.安装完成重启&#xff0c;如下变成中文 1.2.2 修改工作区的颜色 选中[浅色]…

回复:c#的Winform如何让ComboBox不显示下拉框?https://bbs.csdn.net/topics/392565412

组合框.Parent this;组合框.Items.AddRange(new object[] { "111", "222", "333", "444" });组合框.DropDownHeight 1;组合框.SelectedIndex 0;//组合框.DropDownStyle ComboBoxStyle.Simple; ComboBox 组合框 new ComboBox();Li…