jmm,`as - if - serial` 与 `happens - before` 原则

在Java并发编程中,as - if - serialhappens - before 原则是确保程序在多线程环境下正确执行的重要规则,下面为你详细讲解:

as - if - serial原则

  1. 定义as - if - serial 原则是指,不管编译器和处理器如何优化,单线程程序的执行结果都不能被改变。编译器、处理器会遵守这个原则对单线程程序的执行顺序进行优化,保证最终执行结果和代码按照顺序执行的结果一致。
  2. 目的:它的主要目的是在不改变程序执行结果的前提下,尽可能地提高单线程程序的执行效率。因为在单线程环境下,程序员无需担心多线程带来的并发问题,编译器和处理器可以通过重排序等优化手段,让程序运行得更快。
  3. 示例
int a = 1;
int b = 2;
int c = a + b;

在这个简单的单线程代码片段中,编译器和处理器可能会对指令进行重排序。例如,它们可能先执行 int b = 2;,再执行 int a = 1;,最后执行 int c = a + b;。但无论如何重排序,最终 c 的值都会是 3,不会影响程序的执行结果,这就是 as - if - serial 原则的体现。

happens - before原则

  1. 定义happens - before 原则是Java内存模型(JMM)中定义的一种偏序关系,用于描述两个操作之间的内存可见性。如果操作A happens - before 操作B,那么操作A的执行结果对操作B是可见的,并且操作A的执行顺序在操作B之前。这里的“可见”不仅包括数据的可见性,还包括对内存操作顺序的保证。
  2. 具体规则
    • 程序顺序规则:在一个线程内,按照代码顺序,书写在前面的操作 happens - before 书写在后面的操作。例如:
int a = 1; // 操作A
int b = a + 1; // 操作B

这里操作A happens - before 操作B,因为在同一个线程内,代码顺序决定了执行顺序和可见性。
- 监视器锁规则:对一个锁的解锁操作 happens - before 后续对这个锁的加锁操作。例如:

synchronized (this) {// 临界区1,锁的加锁操作int a = 1;
} // 锁的解锁操作synchronized (this) {// 锁的加锁操作int b = a + 1; // 这里能看到临界区1中a的赋值结果
}

第一个 synchronized 块的解锁操作 happens - before 第二个 synchronized 块的加锁操作,所以第二个 synchronized 块能看到第一个 synchronized 块中对 a 的赋值。
- volatile变量规则:对一个 volatile 变量的写操作 happens - before 后续对这个 volatile 变量的读操作。例如:

volatile int a;Thread thread1 = new Thread(() -> {a = 1; // 对volatile变量a的写操作
});Thread thread2 = new Thread(() -> {int b = a; // 对volatile变量a的读操作,能看到thread1中对a的赋值
});

由于 avolatile 变量,所以 thread1 中对 a 的写操作 happens - before thread2 中对 a 的读操作。
- 线程启动规则Thread 对象的 start() 方法 happens - before 此线程的每一个动作。例如:

Thread thread = new Thread(() -> {int a = 1;
});
thread.start(); // start()方法happens - before线程内部的操作

start() 方法的调用 happens - before 线程内部对 a 的赋值操作,保证线程启动后能正确执行内部代码。
- 线程终止规则:线程中的所有操作都 happens - before 对此线程的终止检测。例如:

Thread thread = new Thread(() -> {int a = 1;
});
thread.start();
thread.join(); // 等待线程终止,线程内部所有操作happens - before这里

thread.join() 能保证在其之前线程内部的所有操作都已完成。
- 线程中断规则:对线程 interrupt() 方法的调用 happens - before 被中断线程的代码检测到中断事件的发生。例如:

Thread thread = new Thread(() -> {while (!Thread.currentThread().isInterrupted()) {// 循环}
});
thread.start();
thread.interrupt(); // interrupt()方法调用happens - before线程内部对中断的检测

interrupt() 方法的调用 happens - before 线程内部对中断状态的检测。
- 对象终结规则:一个对象的初始化完成(构造函数执行结束) happens - before 它的 finalize() 方法的开始。
3. 作用happens - before 原则为多线程编程提供了一种内存可见性的保障机制。通过这些规则,程序员可以判断在多线程环境下,一个操作的结果是否对另一个操作可见,从而避免数据竞争和其他并发问题。同时,它也为编译器和处理器的优化提供了一定的限制,即优化不能违反 happens - before 原则,以确保多线程程序的正确性。

as - if - serial 原则主要针对单线程程序的优化,而 happens - before 原则则重点解决多线程环境下的内存可见性和操作顺序问题,两者共同保证了Java程序在不同执行环境下的正确性和高效性。

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

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

相关文章

主流大模型Agent框架 AutoGPT详解

注:此文章内容均节选自充电了么创始人,CEO兼CTO陈敬雷老师的新书《GPT多模态大模型与AI Agent智能体》(跟我一起学人工智能)【陈敬雷编著】【清华大学出版社】 GPT多模态大模型与AI Agent智能体书籍本章配套视频课程【陈敬雷】 文…

kotlin学习,val使用get()的问题

疑问:定义val怎么还能使用get()代码示例:private val nametype:Intget()Business.carInfo?.let{carSc(it)}?:LType.AS回答:Kotlin 允许为属性定义自定义 getter,每次访问属性时会执行该方法疑问:这里引出另一个不解&…

解决el-select数据类型相同但是显示数字的问题

这个不是我写的&#xff0c;只是遇到的bug&#xff0c;写法问题&#xff0c;忽略了值的绑定的问题源代码bug&#xff1a;<el-selectv-model"schemeInfo.horizon"placeholder"请选择起报月份"clearablefilterable><el-option v-for"(option,i…

熟练掌握RabbitMQ和Kafka的使用及相关应用场景。异步通知与解耦,流量削峰,配合本地消息表实现事务的最终一致性并解决消息可靠、顺序消费和错误重试等问题

RabbitMQstock.#.nyse &#xff0c;#匹配多个字符&#xff0c;*匹配一个字符。 Confirm Callback 到达exchange的回调。 Return Callback 到达queue失败的回调。 Kafka Kafka生产端分区器&#xff1a; 1.直接指定partition 指定0,1。 2.设置hashkey&#xff0c;计算key的hash值…

飞算科技:以原创技术赋能数字转型

在数字科技迅猛发展的浪潮中&#xff0c;飞算数智科技&#xff08;深圳&#xff09;有限公司&#xff08;简称 “飞算科技”&#xff09;作为一家自主创新型的数字科技公司&#xff0c;同时也是国家级高新技术企业&#xff0c;正以扎实的技术实力和丰富的实践经验&#xff0c;在…

基于 Rust 的Actix Web 框架的应用与优化实例

基于 Rust 的Actix Web 框架的应用与优化实例 Actix Web 框架概述 Actix Web 是一个基于 Rust 的高性能、轻量级 Web 框架,构建于 Actix 异步运行时之上。它支持异步编程模型,适合构建高并发、低延迟的 Web 服务和 API。 核心特性 异步支持:基于 async/await 语法,充分利…

springMVC01-特点、创建项目、@RequestMapping、获取参数请求,三种域对象

一、简介 SpringMVC 就是 Spring 框架中的 MVC 模块&#xff0c;用于构建 Web 应用中的“控制层”。 SpringMVC 是 Spring 提供的一个基于 Servlet 的 Web MVC 框架模块&#xff0c;是 Spring 整个体系中的“Web 层核心”。 SpringMVC 是 Spring 的一部分&#xff0c;Spring…

Java基础,反射破坏封装性 - 单例模式的崩塌

目录一、容易出现问题的小李代码小李的单例设计看似完美&#xff0c;实则存在三个致命问题&#xff1a;1、反射攻击的天然漏洞2、序列化的隐患3、性能瓶颈二、隔壁老王的优化方案三、为什么这样优化&#xff1f;四、小结周五下午&#xff0c;代码审查会议上&#xff0c;小李自信…

Neo4j 综合练习作业

Neo4j 综合练习作业 作业说明 这个作业涵盖了 Neo4j 的多个重要知识点&#xff0c;包括节点和关系的创建、查询、更新、删除以及高级查询功能。请使用 Cypher 语句完成以下所有题目。 数据准备 首先执行以下语句创建示例数据&#xff1a; ACTED_IN: 表示出演关系 DIRECTED: 表示…

基于PA算法的FTL引导

一、抽象绑定关系 1. 什么是 AF Block,什么是 NF Block,为什么要将多个 NF Block 绑定为一个 AF Block AF Block(Allocation Flash Block) 和 NF Block(NAND Flash Block) 是在 NAND Flash 存储架构中用于管理数据的基本单位。 AF Block 定义:AF Block 是一组多个 NF…

快速入门Java中的IO操作

以下是 Java 中常用的 IO 知识点总结&#xff1a; 1. 流的分类 按数据流向&#xff1a;输入流&#xff08;读取数据&#xff09;和输出流&#xff08;写入数据&#xff09;。按数据类型&#xff1a;字节流&#xff08;处理二进制数据&#xff0c;以字节为单位&#xff09;和字符…

小程序软装: 组件库开发

本节概述 经过前面小节的学习&#xff0c;我们已经搭建起了小程序的编译构建环境&#xff0c;能够将我们开发的小程序项目编译成为对应的逻辑代码文件 logic.js&#xff0c;页面渲染文件 view.js&#xff0c;样式文件 style.css 和配置文件 config.json 在编译小程序的过程中…

250708-Debian系统安装Edge浏览器并配置最小中文输入法

在 Debian 系统上安装 Microsoft Edge 浏览器可以通过以下几种方式进行。Microsoft 官方提供了 .deb 安装包&#xff0c;适用于 Debian、Ubuntu 及其衍生系统。 A. 如何安装&#xff1f; ✅ 方法一&#xff1a;使用 .deb 安装包&#xff08;推荐&#xff09; 步骤 1&#xff…

docker所占硬盘内存指令

使用下面命令可以查看docker所占的硬盘大小&#xff0c;如&#xff1a;docker system dfdocker system df -v

A1126LLHLX-T Allegro霍尔效应锁存器,5kHz+推挽输出,汽车级转速检测专家!

A1126LLHLX-T&#xff08;Allegro&#xff09;产品解析一、产品定位A1126LLHLX-T是Allegro MicroSystems推出的全极性霍尔效应锁存器&#xff0c;采用超薄SOT-23W封装&#xff08;1mm厚度&#xff09;&#xff0c;专为高可靠性位置检测与转速测量设计&#xff0c;具有低功耗、高…

【C#】File从后往前读取文件指定行数

/// <summary>/// 从后往前读取文件最后行数据/// </summary>/// <param name"filePath"></param>/// <param name"count"></param>/// <returns></returns>public static List<string> ReadFileRe…

暑假算法日记第五天

目标​&#xff1a;刷完灵神专题训练算法题单 阶段目标&#x1f4cc;&#xff1a;【算法题单】滑动窗口与双指针 LeetCode题目:683. K 个关闭的灯泡2067. 等计数子串的数量2524. 子数组的最大频率分数2269. 找到一个数字的 K 美丽值1984. 学生分数的最小差值1461. 检查一个字符…

【05】MFC入门到精通——MFC 为对话框中的控件添加变量 和 数据交换和检验

文章目录四、 为对话框中的控件添加变量五、对话框类的5.1 为编辑框添加变量面步骤中 为对话框添加了几个控件&#xff0c;包括三个静态文本框&#xff0c;三个编辑框&#xff0c;一个按钮控件。 四、 为对话框中的控件添加变量 编辑框中的数据可能会经常变化&#xff0c;有必…

4-Kafka-partition(分区)概念

Kafka Topic 分区详解 &#x1f4cc; 一、分区核心概念 1. 什么是分区&#xff1f; 物理分片&#xff1a;Topic 被划分为多个分区&#xff08;Partition&#xff09;&#xff0c;每个分区是一个有序、不可变的消息序列存储单位&#xff1a;每个分区对应一个物理日志文件&…

论文略读:UniPELT: A Unified Framework for Parameter-Efficient Language Model Tuning

ACL 2021 LoRAPrefix TuningAdapter门控蓝色参数是可训练的参数