并发下的可见性、原子性、有序性还不懂?

news2024/11/20 18:32:20

CPU、内存、I/O速度大比拼

CPU的读写速度是内存的100倍左右,而内存的读写速度又是I/O的10倍左右。根据"木桶理论",速度取决于最慢的I/O。为了解决速度不匹配的问题,通常在CPU和主内存间增加了缓存,内存和I/O之间增加了操作系统层面的进程和线程。

我们都知道"技术是把双刃剑",解决了速度不匹配问题,又引入了高并发场景下的线程安全问题。将并发安全时,应该先讲一下JMM概念。


JMM的工作线程模型

图1 JMM的工作线程模型

.

图1为JMM的工作线程模型,线程访问变量并不是在主内存中直接操作的,而是拷贝主内存的变量值到自己的工作内存中,操作后再写回主内存。

例如图1中的线程A、B,主内存存在变量i,值为0。线程A、B都拷贝i到自己的工作内存,此时在线程A、B的工作内存中,i的值都为0。线程A、B都对i进行+1操作,期望结果本是2,但结果却是1。这是为何呢?


可见性和原子性

public class Main {
    private static int i = 0;
    public static void main(String[] args) throws InterruptedException {

        Main main = new Main();

        Thread a = new Thread(() -> {
            main.add10K();
        }, "A");  // 线程A

        Thread b = new Thread(() -> {
            main.add10K();
        }, "B");  // 线程B

        a.start();  // 启动线程A
        b.start();  // 启动线程B

        a.join();   // 等待线程A执行完毕
        b.join();   // 等待线程B执行完毕

        System.out.println(i); // 打印i的值,期望20000

    }
    // +10000操作
    public void add10K(){
        for (int j = 0; j < 10000; j++) {
            i++;
        }
    }
}

上面程序很简单,也有注释,就不做多解释了。讲一下运行结果,多次运行的结果都是小于20000。这是为什么呢?其实就是可见性和原子性问题。

i++其实不是一条CPU指令,他是三条CPU指令构成的。

  • 加载i的值

  • 对i的值进行+1

  • 转载i的值

因此线程A、B进行i++操作时,无法及时感知到在其他工作内存空间变量的值。解决办法自然就是在工作内存改变后,即使通知其他工作内存,将该变量的值丢掉,重新取主内存拷贝一个新的。可以通过volatile、synchronized等关键字解决可见性问题。原子性只有synchronized能保证,volatile只能保证可见性,由于i++此类非单条CPU指令,操作系统无法保证原子性,所以需要通过高级语言保证操作的原子性。

有序性

class Instance{
    
    private Instance instance;
    
    public Instance getInstance(){
        if(instance == null){
            synchronized (Instance.class){
                if (instance == null){
                    instance = new Instance();
                }
            }
        }
        return instance;
    }
    
}

有序性通过经典的单例模式的双重检测来解释。

  • 线程A获取实例,发现实例为null,则进入同步代码块,进行对象的实例化。

  • 此时,线程B获取实例,发现对象被创建,则直接返回实例。

看似没什么问题,但是了解JVM的同学,会发现其实是存在问题的。

对象的创建分为三步:

  1. 分配内存空间

  1. 对象初始化

  1. 将对象放入申请的内存空间

其实2、3步在单线程下互换顺序是没问题的,也就是这句话(单线程互换没问题),所以JVM在编译代码的时候,会将代码进行优化,只要在单线程下执行结果与先前不变,都可以进行一定的优化(包括调整指令顺序)。如果2、3互换位置,那么此时实例的内存空间是不为null的,如果此时又恰好线程A的时间片执行完了,把CPU资源给了线程B,那线程B此时判断实例不为null了,但是线程A又还没对对象进行初始化,这是线程B返回的对象其实也是一个空对象。这就是典型的有序性问题。可以通过使用volatile防止指令重排来规避这个问题。


以上就是并发下的可见性、原子性、有序性所有的概述,欢迎共勉。

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

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

相关文章

C语言学习之路--操作符篇,从知识到实战

目录一、前言二、操作符分类三、算术操作符四、移位操作符1、左移操作符2、右移操作符五、位操作符拓展1、不能创建临时变量&#xff08;第三个变量&#xff09;&#xff0c;实现两个数的交换。2、编写代码实现&#xff1a;求一个整数存储在内存中的二进制中1的个数。六、赋值操…

http客户端Feign

Feign替代RestTemplate RestTemplate方式调用存在的缺陷 String url"http://userservice/user/"order.getUserId();User user restTemplate.getForObject(url, User.class); 代码可读性差&#xff0c;变成体验不统一&#xff1b; 参数复杂的时候URL难以维护。 &l…

Gem5模拟器,一些运行的小tips(十一)

一些基础知识&#xff0c;下面提到的东西与前面的文章有一定的关系&#xff0c;感兴趣的小伙伴可以看一下&#xff1a; (21条消息) Gem5模拟器&#xff0c;全流程运行Chiplet-Gem5-SharedMemory-main&#xff08;十&#xff09;_好啊啊啊啊的博客-CSDN博客 Gem5模拟器&#xf…

深度学习|改进两阶段鲁棒优化算法i-ccg

目录 1 主要内容 2 改进算法 2.1 CC&G算法的优势 2.2 i-CCG算法简介 3 结果对比 1 主要内容 自从2013年的求解两阶段鲁棒优化模型的列和约束生成算法&#xff08;CC&G&#xff09;被提出之后&#xff0c;基本没有实质性的创新&#xff0c;都是围绕该算法在各个领…

静态路由复习实验

实验分析&#xff1a; 1 .R6为isp,接口IP地址均为公有有地址&#xff1b;该设备只能配置IP地址, 之后不能再对其进行任何配置; r6只能配置IP&#xff0c; 所以r1--r5上需要配置指向r6的缺省路由&#xff1b; 2 .R1—R5为局域网,私有P地址192.168.1.6/24,请合理分配; 图中骨干…

来说说winform和wpf异同,WPF对于新人上手容易吗?

这么问&#xff0c;可能还真不是很好回答&#xff0c;但WPF的特点决定了&#xff0c;他对于前端人员更容易上手。 首先&#xff0c;我们假定你已经安装了Visual studio 2017以上的版本&#xff08;如果你的VS打开没有WPF那就说明你没有安装.net桌面开发这项&#xff09;&#x…

【2023unity游戏制作-mango的冒险】-前六章API,细节,BUG总结小结

&#x1f468;‍&#x1f4bb;个人主页&#xff1a;元宇宙-秩沅 hallo 欢迎 点赞&#x1f44d; 收藏⭐ 留言&#x1f4dd; 加关注✅! 本文由 秩沅 原创 收录于专栏&#xff1a;unity游戏制作 ⭐mango的冒险前六章总结⭐ 文章目录⭐mango的冒险前六章总结⭐&#x1f468;‍&a…

Eureka - 总览

文章目录前言架构注册中心 Eureka Server服务提供者 Eureka Client服务消费者 Eureka Client总结资源前言 微服务&#xff08;Microservices&#xff0c;一种软件架构风格&#xff09;核心的组件包括注册中心&#xff0c;随着微服务的发展&#xff0c;出现了很多注册中心的解决…

【项目精选】 塞北村镇旅游网站设计(视频+论文+源码)

点击下载源码 摘要 城市旅游产业的日新月异影响着村镇旅游产业的发展变化。网络、电子科技的迅猛前进同样牵动着旅游产业的快速成长。随着人们消费理念的不断发展变化&#xff0c;越来越多的人开始注意精神文明的追求&#xff0c;而不仅仅只是在意物质消费的提高。塞北村镇旅游…

Android事件分发机制

文章目录Android View事件分发机制&#xff1a;事件分发中的核心方法onTouchListener和onClickListener的优先级事件分发DOWN,MOVE,UP 事件分发CANCEL代码实践requestdisallowIntereptTouchEvent作用Android View事件分发机制&#xff1a; 事件分发中的核心方法 Android中事件…

一文让你彻底理解Linux内核多线程(互斥锁、条件变量、读写锁、自旋锁、信号量)

一、互斥锁&#xff08;同步&#xff09; 在多任务操作系统中&#xff0c;同时运行的多个任务可能都需要使用同一种资源。这个过程有点类似于&#xff0c;公司部门里&#xff0c;我在使用着打印机打印东西的同时&#xff08;还没有打印完&#xff09;&#xff0c;别人刚好也在…

【Tcp和Udp】

udp和tcpTcpTcp协议的断开与连接Tcp的状态转移复位报文段交互数据流与成块数据流流式服务特点应答确认与超时重传滑动窗口拥塞控制Udp协议特点Tcp Tcp协议的断开与连接 Tcp协议提供的是&#xff1a;面向连接&#xff0c;可靠的&#xff0c;字节流服务。 使用Tcp协议通信的双方…

java封装继承多态详解

1.封装 所谓封装&#xff0c;就是将客观事物封装成抽象的类&#xff0c;并且类可以把数据和方法让可信的类或者对象进行操作&#xff0c;对不可信的类或者对象进行隐藏。类就是封装数据和操作这些数据代码的逻辑实体。在一个类的内部&#xff0c;某些属性和方法是私有的&#…

自学大数据第三天~终于轮到hadoop了

前面那几天是在找大数据的门,其实也是在搞一些linux的基本命令,现在终于轮到hadoop了 Hadoop hadoop的安装方式 单机模式: 就如字面意思,在一台机器上运行,存储是采用本地文件系统,没有采用分布式文件系统~就如我们一开始入门的时候都是从本地开始的; 伪分布式模式 存储采用…

openpnp - 判断吸嘴是否指定了正确的旋转轴

文章目录openpnp - 判断吸嘴座是否指定了正确的旋转轴概述笔记吸嘴单独矫正的时候Calibrate precise camera ↔ nozzle N1 offsets.ENDopenpnp - 判断吸嘴座是否指定了正确的旋转轴 概述 如果没有指定吸嘴座的正确旋转轴, 会因为对应吸嘴该旋转时不旋转, 而是另外一个空闲的吸…

Linux学习记录——십삼 程序地址空间

文章目录1、了解程序地址测试代码2、理解程序地址空间3、程序地址空间存在的意义1、了解程序地址测试代码 1 #include <stdio.h>2 #include <assert.h>3 #include <unistd.h>4 5 int g_value 100;6 int main()7 {8 pid_t id fork();9 assert(id &g…

设计模式之结构型模式

1、代理模式1.1 静态代理1.2 jdk 动态代理1.3 CGLIB 动态代理1.4 优缺点2、适配器模式2.1 类适配器模式2.2 对象适配器模式2.3 JDK 源码解析3、装饰者模式3.1 JDK 源码解析3.2 代理模式与装饰者模式的区别4、桥接模式5、外观模式6、组合模式6.1 组合模式的分类6.2 优点及使用场…

ZincSearch Java 客户端教程

ZincSearch Zinc 简单、强大&#xff0c;不了解的同学可以参见我之前的博客。今天我们这里谈谈 Java 环境如何集成 Zinc 客户端&#xff0c;跟如何使用的。 安装 Zinc 到 Github 的官方 Releases 下载&#xff1a; 我的是 Windows 开发环境&#xff0c;下载 zincsearch_0.4…

基于支持向量机SVM的面部表情分类预测

目录 支持向量机SVM的详细原理 SVM的定义 SVM理论 Libsvm工具箱详解 简介 参数说明 易错及常见问题 SVM应用实例,基于SVM的面部表情分类预测 代码 结果分析 展望 支持向量机SVM的详细原理 SVM的定义 支持向量机(support vector machines, SVM)是一种二分类模型,它的基本…

【网络】-- 网络编程套接字(铺垫、预备)

目录 理解源IP地址和目的IP地址 认识端口号 端口号 理解源端口号和目的端口号 套接字 认识TCP与UDP协议 网络字节序 socket编程接口 socket 常见API sockaddr结构 理解源IP地址和目的IP地址 就如同我们唐僧的取经路&#xff1a; 唐僧的出发地到目的地&#xff1a;东…