当前位置: 首页 > article >正文

多线程篇(ThreadLocal 内存模型 伪共享(伪共享))(持续更新迭代)

目录

一、伪共享(并发编程之美)

1. 什么是伪共享

2. 为什么会出现伪共享

3. 如何避免伪共享

二、伪共享(个人画图版)(待更新)


一、伪共享(并发编程之美)

1. 什么是伪共享

为了解决计算机系统中主内存与CPU之间运行速度差问题,会在CPU与主内存之间添加一级或者

多级高速缓冲存储器(Cache)。

这个 Cache 一般是被集成到 CPU 内部的,所以也叫 CPU Cache,如图所示是两级 Cache 结构。

在 Cache 内部是按行存储的,其中每一行称为一个 Cache 行。

Cache 行是 Cache 与主内存进行数据交换的单位,Cache 行的大小一般为 2 的幂次数字节。

当 CPU 访问某个变量时,首先会去看 CPU Cache 内是否有该变量,如果有则直接从中获取,否

则就去主内存里面获取该变量,然后把该变量所在内存区域的一个Cache行大小的内存复制到

Cache 中。

由于存放到 Cache 行的是内存块而不是单个变量,所以可能会把多个变量存放到一个Cache 行

中。

当多个线程同时修改一个缓存行里面的多个变量时,由于同时只能有一个线程操作缓存行,所以相

比将每个变量放到一个缓存行,性能会有所下降,这就是伪共享,如图所示。

在该图中,变量x和 y 同时被放到了CPU 的一级和二级缓存,当线程1 使用 CPU1对变量x进行更

新时,首先会修改 CPU1 的一级缓存变量x所在的缓存行,这时候在缓存一致性协议下,CPU2中

变量x对应的缓存行失效。

那么线程2 在写入变量x时就只能去二级缓存里查找,这就破坏了一级缓存。

而一级缓存比二级缓存更快,这也说明了多个线程不可能同时去修改自己所使用的 CPU 中相同缓

存行里面的变量。更坏的情况是,如果 CPU 只有一级缓存,则会导致频繁地访问主内存。

2. 为什么会出现伪共享

伪共享的产生是因为多个变量被放入了一个缓存行中,并且多个线程同时去写入缓存行中不同的变

量。那么为何多个变量会被放入一个缓存行呢?

其实是因为缓存与内存交换数据的单位就是缓存行,当 CPU 要访问的变量没有在缓存中找到时,

根据程序运行的局部性原理,会把该变量所在内存中大小为缓存行的内存放入缓存行。

如上代码声明了四个long变量,假设缓存行的大小为 32 字节,那么当 CPU 访问变量 a 时,发现

该变量没有在缓存中,就会去主内存把变量 a 以及内存地址附近的 b、c、d放入缓存行。

也就是地址连续的多个变量才有可能会被放到一个缓存行中。

当创建数组时,数组里面的多个元素就会被放入同一个缓存行。

那么在单线程下多个变量被放入同一个缓存行对性能有影响吗?

其实在正常情况下单线程访问时将数组元素放入一个或者多个缓存行对代码执行是有利的,因为数

据都在缓存中,代码执行会更快,请对比下面代码的执行。

因为数组内数组元素的内存地址是连续的,当访问数组第一个元素时,会把第一个元素后的若干元

素一块放入缓存行,这样顺序访问数组元素时会在缓存中直接命中,因而就不会去主内存读取了,

后续访问也是这样。

也就是说,当顺序访问数组里面元素时,如果当前元素在缓存没有命中,那么会从主内存一下子读

取后续若干个元素到缓存,也就是一次内存访问可以让后面多次访问直接在缓存中命中。

如果我们是跳跃式访问数组元素的,不是顺序的,这破坏了程序访问的局部性原则,并且缓存是有

容量控制的,当缓存满了时会根据一定淘汰算法替换缓存行,这会导致从内存置换过来的缓存行的

元素还没等到被读取就被替换掉了。

所以在单个线程下顺序修改一个缓存行中的多个变量,会充分利用程序运行的局部性原则,从而加

速了程序的运行。

而在多线程下并发修改一个缓存行中的多个变量时就会竞争缓存行,从而降低程序运行性能。

3. 如何避免伪共享

在JDK8之前一般都是通过字节填充的方式来避免该问题,也就是创建一个变量时使用填充字段填

充该变量所在的缓存行,这样就避免了将多个变量存放在同一个缓存行中,例如,下面代码。

假如缓存行为 64 字节,那么我们在 FilledLong类里面填充了6 个 long类型的变量,每个 long 类型

变量占用 8 字节,加上 value 变量的 8 字节总共 56 字节。

另外,这里 FilledLong是一个类对象,而类对象的字节码的对象头占用 8 字节,所以一个

FilledLong 对象实际会占用 64 字节的内存,这正好可以放入一个缓存行。

JDK8 提供了一个 sun.misc.Contended 注解,用来解决伪共享问题。

将上面代码修改为如下。

在这里注解用来修饰类,当然也可以修饰变量,比如在Thread类中。

Thread 类里面这三个变量默认被初始化为 0,这三个变量会在ThreadLocalRandom 类中使用,后

面章节会专门讲解 ThreadLocalRandom 的实现原理。

请看这篇文章:API篇(JavaSE - 随机器(Random))(持续更新迭代)

默认情况下,@Contended 注解只用于Java 核心类,比如 rt 包下的类。

如果用户类路径下的类需要使用这个注解,则需要添加 JVM参数:-XX:-RestrictContended。

填充的宽度默认为 128,要自定义宽度则可以设置-XX:ContendedPaddingWidth 参数。

二、伪共享(个人画图版)(待更新)


http://www.kler.cn/a/294726.html

相关文章:

  • 服务器被病毒入侵如何彻底清除?
  • LeetCode热题100之贪心算法
  • 如何管理PHP API版本
  • Python 分子图分类,GNN Model for HIV Molecules Classification,HIV 分子图分类模型;整图分类问题,代码实战
  • 嵌入式开发之线程
  • 石墨舟氮气柜:半导体制造中的关键保护设备
  • TCP远程命令执行
  • LLM agentic模式之multi-agent: ChatDev,MetaGPT, AutoGen思路
  • 人工智能 | Mistral 大语言模型
  • 【Zookeeper】小白基础入门
  • 关于vue项目启动报错Error: error:0308010C:digital envelope routines::unsupported
  • 828华为云征文|华为云服务器Flexus X搭建悟空crm管理系统——助力企业云上管理(解决APP Referer校验失败问题)
  • WildCard平台:揭秘ChatGPT畅享版、Claude畅享版及全能畅享套餐
  • JS中【JSON】知识点总结和常用方法分析
  • 活动|华院计算宣晓华受邀出席“AI引领新工业革命”大会,探讨全球科技的最新趋势
  • zhidianyun01/基于基于 ThinkPHP+Mysql 灵活用工平台源码
  • Redis、memcache、MongoDB 对比
  • Java 数据类型
  • SAP Business One 与无锡哲讯:携手共创企业数字化未来
  • 7-8月月报 | Apache SeaTunnel社区进展一览
  • HTML 列表
  • 2024国赛数学建模-模拟火算法(MATLAB 实现)
  • WebShell流量特征检测_蚁剑篇
  • axure动态面板
  • 力扣刷题--442. 数组中重复的数据【中等】
  • 指针与函数(三)