多线程的理论基础
创始人
2025-05-31 06:48:29
0

为什么需要多线程?

大家都知道,CPU、内存、I/O 设备的速度是有极大差异的,为了合理利用 CPU 的高性能,平衡这三者的速度差异,计算机体系结构、操作系统、编译程序都做出了贡献,主要体现为:

  • CPU 增加了缓存,以均衡与内存的速度差异;// 导致 可见性问题
  • 操作系统增加了进程、线程,以分时复用 CPU,进而均衡 CPU 与 I/O 设备的速度差异;// 导致 原子性问题
  • 编译程序优化指令执行次序,使得缓存能够得到更加合理地利用。// 导致 有序性问题

线程不安全的示例

如果多个线程对一个共享数据进行访问,而且不采取同步操作,那么结果有可能就会不一样。

并发出现问题的根源: 并发三要素

可见性、原子性、有序性。

1、CPU缓存引起

//线程A执行的代码
int m = 0;
m = 100;//线程B执行的代码
n = m;

例如线程A对应的CPU1,线程B对应的CPU2。当线程A读取到m = 100;把m的值取到CPU1的高速缓存当中,然后赋值为100,却没有立即写入主内存。

此时线程B先去读主内存中m的值为0,加载到CPU2的高速缓存中。

这就是可见性的问题,线程B未读取到线程A修改的m值。

2、分时复用

int m = 0;// 线程A执行
m += 1;// 线程B执行
m += 1;

这里的m += 1是三条CPU指令:

将变量m从内存中取出来放到CPU寄存器中,然后在CPU寄存器中执行m+1,最后将m的结果写回到内存中。

由于CPU分时复用存在,线程A执行了第一条指令后,线程B执行了三条指令,再切换到线程A执行后面两条指令,造成写入内存的值是2而不是3。

3、 重排序

int m = 0;              
boolean state = false;
m = 10;                //语句1  
state = true;          //语句2

上面定义了一个int类型和一个boolean类型,然后赋值,从代码顺序上来看,应该是先执行完语句1再执行语句2,但是JVM在执行这段代码的时候不一定会按照代码的编写顺序运行。这里可能会发生指令重排(Instruction Reorder)。

在执行时提高性能,编译器和处理器通常会对指令重新排序,重排序分为三种类型:

①编译器优化重新排序

②指令集并行重排序

③内存系统重排序

未完待续。。。

相关内容

热门资讯

linux入门---制作进度条 了解缓冲区 我们首先来看看下面的操作: 我们首先创建了一个文件并在这个文件里面添加了...
C++ 机房预约系统(六):学... 8、 学生模块 8.1 学生子菜单、登录和注销 实现步骤: 在Student.cpp的...
JAVA多线程知识整理 Java多线程基础 线程的创建和启动 继承Thread类来创建并启动 自定义Thread类的子类&#...
【洛谷 P1090】[NOIP... [NOIP2004 提高组] 合并果子 / [USACO06NOV] Fence Repair G ...
国民技术LPUART介绍 低功耗通用异步接收器(LPUART) 简介 低功耗通用异步收发器...
城乡供水一体化平台-助力乡村振... 城乡供水一体化管理系统建设方案 城乡供水一体化管理系统是运用云计算、大数据等信息化手段࿰...
程序的循环结构和random库...   第三个参数就是步长     引入文件时记得指明字符格式,否则读入不了 ...
中国版ChatGPT在哪些方面... 目录 一、中国巨大的市场需求 二、中国企业加速创新 三、中国的人工智能发展 四、企业愿景的推进 五、...
报名开启 | 共赴一场 Flu... 2023 年 1 月 25 日,Flutter Forward 大会在肯尼亚首都内罗毕...
汇编00-MASM 和 Vis... Qt源码解析 索引 汇编逆向--- MASM 和 Visual Studio入门 前提知识ÿ...
【简陋Web应用3】实现人脸比... 文章目录🍉 前情提要🌷 效果演示🥝 实现过程1. u...
前缀和与对数器与二分法 1. 前缀和 假设有一个数组,我们想大量频繁的去访问L到R这个区间的和,...
windows安装JDK步骤 一、 下载JDK安装包 下载地址:https://www.oracle.com/jav...
分治法实现合并排序(归并排序)... 🎊【数据结构与算法】专题正在持续更新中,各种数据结构的创建原理与运用✨...
在linux上安装配置node... 目录前言1,关于nodejs2,配置环境变量3,总结 前言...
Linux学习之端口、网络协议... 端口:设备与外界通讯交流的出口 网络协议:   网络协议是指计算机通信网...
Linux内核进程管理并发同步... 并发同步并发 是指在某一时间段内能够处理多个任务的能力,而 并行 是指同一时间能够处理...
opencv学习-HOG LO... 目录1. HOG(Histogram of Oriented Gradients,方向梯度直方图)1...
EEG微状态的功能意义 导读大脑的瞬时全局功能状态反映在其电场结构上。聚类分析方法一致地提取了四种头表面脑电场结构ÿ...
【Unity 手写PBR】Bu... 写在前面 前期积累: GAMES101作业7提高-实现微表面模型你需要了解的知识 【技...