【AICon】探索RAG 技术在实际应用中遇到的挑战及应对策略!AICon精华内容已上线73%>>> 了解详情
写点什么

原子操作和竞争

  • 2014-12-31
  • 本文字数:5408 字

    阅读完需:约 18 分钟

本文是 RAD Game Tools 程序员 Fabian “ryg” Giesen 在其博客上发表的《Atomic operations and contention》一文的翻译,经作者许可分享至 InfoQ 中文站。

上次,我们讲了缓存一致性原理的基础知识。今天,我们来谈谈基于一致的缓存构建一个有用的系统,需要哪些原语(primitive),以及它们是如何工作的。

原子性和原子操作

计算机操作最重要的构成单位是原子操作。这里的原子跟物理上说的原子没有任何关系,而是起源于单词atom,也就是希腊语“ἄτομος”(意为不可见的)。原子操作是一种不可再细分的操作,或者在系统中其他处理器看来是不可再分了。为了说明为什么原子操作很重要,考虑两个处理器以几乎相同的方式增加一个计数器,翻译成C 语言就是 counter++,此时会发生什么:

指令周期 处理器一 处理器二 0 reg = load(&counter); 1 reg = reg + 1; reg = load(&counter); 2 store(&counter, reg); reg = reg + 1; 3 store(&counter, reg); 在编译好的代码中,这样一个操作分为:读操作、寄存器自加,最后是一个写操作(这里用类似 C 语言的伪代码表示)。这三个步骤是独立且按顺序执行的(注意,对于 x86 来说,在更微观的架构层次上这句话是正确的,但是在指令集架构的层次上,这三步看起来可以用一条“读 - 修改 - 写(read-modify-write)”指令完成:add [memory], value)。并且因为这些操作被分成多个指令周期来执行,所以在处理器一读完counter(并且正开始把它加一)之后,把结果写回去之前的空隙,处理器二也有可能去读它。结果导致虽然两个处理器都去增加这个计数器,但最终计数器的值只被加了 1,其中一个加法运算“丢失”了。

原子操作恰恰就是用来防止这个问题的。如果我们使用一个原子的自加操作(说得更通用一点,原子加法)而不是常规的自加操作,执行指令的处理器会确保上面的三个步骤(读、加、写)像一条指令那样完成,成为一个原子操作。在自加操作进行的时候,其他处理器无法插手。

原子操作是如何实现的

现在问题来了,原子操作是如何实现的呢?从理论上来说,最简单的方法就是加锁:在任何时间点上,只有一个处理器被允许执行一个原子操作。这个处理器在做原子操作之前,必须先获得锁,并且在操作完成后释放它。这就是 x86 的LOCK前缀的作用(大致如此;这里我略去了细节)。这里,获得锁的操作意味着向总线发送一条消息,说“好吧,我要占用总线一会儿,大家都退后”(根据我们的目的,这就意味着“请不要再做内存操作了”)。然后发出请求的处理器要先等其他处理器完成它们正在进行的内存操作,之后才会得到确认。只有等到其他所有处理器都确认了以后,请求锁的处理器才能开始处理内存操作。最后,一旦锁被释放,它还需要发送一条信息给总线上的其他处理器“我的工作完成,你们可以继续向总线发送请求了”。

这种做法没有问题,但是慢得 _ 无法想象 _。x86 处理器依然保留了这种方式(或者类似做法),但只有当绝对紧急的情况下才会使用,也就是其他所有方法都失败时的最后一招。x86 指令集架构需要这么一个办法来兜底,因为他们为了向后兼容,允许一些非常不可靠的操作,比如跨多个缓存段(cache line)的非对齐的原子操作。其他体系架构不允许对非对齐的数据进行原子操作,也不允许对“太大”的数据进行原子操作。这些限制确保了单个原子操作只会发生在单个缓存段中。并且一旦有了这个前提,我们讨论起来就方便了:上次讨论缓存一致性协议的时候我们看到,处理器之间对于同步内存的交互是以缓存段为单位的,所以原则上我们可以对单个缓存段做复杂的修改,然后通过刷新缓存段内容来把修改公之于众。而且,MESI 协议状态机有两个状态(M 和 E,代表“已修改”和“独占”)可以保证一个缓存段被处理器独占——当一个缓存段被独占时,其他处理器无法“窥探”。我们可以用这种机制来替代加锁协议。

所以结论是这样的:在一个使用 MESI(或其衍生协议)的系统中,我们为了确保针对单个缓存段的操作具有原子性,只需要做到:一、保证在正确的地方摆放内存屏障(memory barrier),使内存操作和周边的代码保持正确的执行顺序(见上一篇的文章),二、在读任何东西前先获得缓存段的所有权,三、只有当我们在整个原子操作期间一直握有独占权,才可以把操作的结果回写。这可以确保没有其他处理器能看到只完成了一半的数据。要完成第三点有好几种方法,比如我们可以开发出这样的硬件,让它可以在单个总线时钟周期内完成某些原子操作;如果我们从一个时钟周期开始的时候拥有某个缓存段的独占权,那么直到这个周期结束,我们都可以修改数据。因为一个缓存段不可能在一个时钟周期内“易手”,这样的操作是很快的。根据总线协议,我们也可以玩点花样,一致性请求可以立即响应,但如果我们正在做原子操作,真正的数据可以稍晚发送。最后,我们也可以选择根本不作弊,而是直接实现二和三:把所有正在进行原子操作的缓存段“监控”起来,在原子操作完成前,如果有其他处理器请求这个缓存段,那我们的原子操作要从头再来。因为这个原因,大多数 RISC 处理器都有 load-link/store-conditional(LL/SC)指令。

顺便说一下,从总线侧(以及其他处理器通过总线)看来,正确对齐的原子操作和普通的内存更新没有什么区别。所有的工作都在处理器内部完成,其他处理器既不知道也不关心某次内存更新到底是通过原子性的比较并交换(compare-and-swap)操作加上内存屏障来完成的,还是通过一次随意写指令完成的。

这一切听起来简单而美好,至少理论上是,但魔鬼往往藏于细节中。坏消息是,如果你是一个 CPU 架构师,这个过程的每个细节对你来说都关系重大;你对内存操作的内部实现需要避免“饥饿”(每个想获取缓存段独占权的处理器,最终都能获得它,无论其他处理器在做什么),并且确保基本的原子操作的实现不能导致死锁或活锁。这听起来是显而易见的,但是对低层次的原语(比如原子操作、LL/SC 指令)来说,这种保证不是与生俱来的。这东西实现起来挺困难的,并且 CPU 不但要保证有正确的实现,还要保证这种实现在“典型场景”下足够快。当然,好消息是如果你工作的公司不是设计 CPU 的,以上这些都不关你的事。肯定已经有人通盘考虑过这些问题,并且他们背后有一支强大的验证工程师队伍拼命地在找这些实现的纰漏。

内存操作的开销

回到软件上,假设我们工作在一种典型的 CPU 体系结构上,并且在多核系统中运行代码。在这种环境下,一次内存操作的开销到底是什么?这将分为几个部分:
执行。执行一次内存操作是有开销的。现在假设我们只有一个处理器核在工作,并且正在运行单线程的代码。即便如此,内存访问还是很复杂。跟程序打交道的是虚拟地址,但是缓存和内存总线看到的却是物理地址。所以任何内存操作首先做的就是把虚拟地址转换成物理地址,这些结果本身会保存在页表缓存中(Translation Lookaside Buffer,简称 TLB)。如果你运气不好,你所要访问的虚拟地址当前可能并没有映射到物理地址,并且它的内容需要从虚拟内存中载入。当这个情况发生时,操作系统会调度别的线程到当前的处理器上运行一段时间,因为从处理器看来,IO 操作需要花很长时间。但是我们先假设这种情况不会发生。

所以,一切都很顺利的话,内存操作到底能跑多快?看起来非常快。通常每个时钟周期至少可以完成一次操作(读 / 写),很有可能更多。在 3GHz 单核处理器上,能高效利用缓存的代码每秒钟可以完成十亿次数量级的内存操作。

内存屏障和原子性的“读 - 修改 - 写”操作。下一步,假设我们的代码是多线程的,但我们还是在单核上运行它。这里我们就可以看到内存屏障和原子操作了,但是没有来自其他处理器的干扰。我们简单假设所有需要的缓存段已经被我们的处理器独占了。在这种情况下,使用一次原子的整数加法来更新内存中的一个引用计数器,代价到底有多大?

好吧,这其实取决于处理器架构的实现。一般来说,对于带有激进的内存重排序(memory reordering)策略的微架构处理器来说,使用内存屏障和原子操作的开销更大,而只支持轻度重排序或者顺序执行(in-order)内存操作的处理器则好一点。比如,在 Intel Atom 处理器(顺序执行)上使用LOCK INC [mem]来增加引用计数器值的开销,本质上和使用常规INC [mem]指令是一样的。而更复杂的内存操作,如“交换(exchange)”和“交换 - 加 (exchange-add)”花费的时间是基础的“读 - 修改 - 写”操作的两到三倍。相反,在 Intel 和 AMD 支持乱序执行(out-of-order)的桌面处理器产品线中,一次原子自加操作的开销是非原子版本的十到二十五倍,这些开销是保证正确的执行顺序所带来的。再一次重申:这仅是在单核上运行的代码,还没有涉及处理器间通讯的开销。为了使代码在多核系统上安全地运行,还会在单个处理器内引入额外的开销。

总线流量(bus traffic)和缓存一致性(cache coherency)。部分内存访问操作实际上会无法命中缓存,从而只能从内存中加载。一旦有些缓存段因为长时间无人访问而被丢弃,我们就要开始把它的内容回写(write-back)到内存中。所有这些事件都会导致总线上(以及内存中)发生通讯流量。而总线和内存的带宽是有限的,当容量饱和时,系统就变慢了。

而且,一旦我们在多核系统中运行多线程程序,总线上就会产生额外的通讯流量来保证缓存一致性,因为各个处理器都会不断地同步它们所看到的内存内容。如果每个线程都在自己独立的内存空间里工作,那么这种流量不会很大。如果每块内存只会被一个处理器使用,那么根本无需同步,而且我们可以很容易获取这些内存对应的缓存段的独占权,不会引起其他处理器上的缓存段失效。

相反,如果两个或多个处理器频繁地访问相同的缓存段,那么这些缓存段的内容必须保持同步。如果想更新其中一个缓存段的内容,必须先获得独占权,这意味着其他所有处理器必须先丢弃它们缓存中的同一缓存段的拷贝。这带来的结果是,下一次有另外一个处理器要访问这个缓存段,它的内容必须先通过总线来加载。所以结果就是缓存失效率(对于其他处理器来说)和总线上额外的通讯流量都增加了。这种多个处理器访问一个频繁被更新的缓存段的现象,叫做“缓存(段)竞争”。如果你想在多个处理器共用内存的环境中拖慢一个并行的程序,这也许是最简单的方法。

缓存段竞争

要产生缓存段竞争,我们需要多个处理器频繁访问同一缓存段,并且其中部分的访问是写操作。私有数据(只会被一个线程访问的缓存段)从来不是问题。不变的(immutable)数据(只被写一次,其后到生命期结束都不会被修改)也不是问题。麻烦的是那些既被线程共享,又可变的数据:处理这些数据需要大量的通讯工作来使各个处理器看到的内存内容保持一致(根据内存模型的限制)。这种通讯代价很大——并且随着处理器数量的增多,开销会越来越大。

那么我们谈论的开销到底有多大?几个星期前我写了一个测试程序(针对x86/Windows)。这个测试程序用起来肯定是不方便的,也不好理解,它假设运行在四核处理器多线程环境,或者至少拥有八个逻辑处理器的类似环境下。它的要点是:上面已经解释过,把一个“读- 修改- 写”模式的加法操作替换为原子加法操作,将产生十到二十五倍的开销(精确数值取决于具体的微架构)。如果你需要一个经验值,算十倍就可以了(对于费米估算来说已经足够了)。

一旦有第二个处理器在读同一个缓存段,开销就会暴增。如果第二个处理器在快速循环中不停地读取这个缓存段,那么原子加法的开销会更大——大得多:典型的,增加四到六倍(这可是在我们使用原子加法而产生十倍开销的基础上再次翻倍!)。同时读取这个缓存段的处理器越多,开销就越大,而如果同时还有处理器在写这个缓存段,那么效果更甚。但是请不要把这个数据当作金科玉律,这只是人写的基准测试程序而已,它并不做任何实质性工作。为保证缓存一致性而产生的真正开销跟具体的上下文有很大关系。在这里我想做的只是让你对保证缓存一致性而产生的开销有一个粗略的直观感受(即:它是无法忽略不计的)。

其中有一些通讯流量是不必要的。比如,由于缓存一致性的最小颗粒度是段,很多不必要的同步开销是可以简化的,因为不同类型的数据——不可变的、私有的和共享的——在同一缓存段中交错分布(或者类似地,因为一个缓存段中只保存了多个线程各自的私有数据)。这种现象叫做“假共享”。幸运的是,这种问题可以简单通过性能评估程序来定位,通过重新组织内存数据(可能通过填充的方式,确保不同类型的数据不放在同一缓存段)的方法,可以相对直接地修复它,或者直接移除一些捣乱的数据。我的旧文“处理器不喜欢共享”中给出了一个例子。

经此过滤下来的就是真正的竞争了——竞争访问共享数据。这包括了真正共享的可变数据结构,以及某些元数据(metadata),比如锁和其他同步对象。准确地说,这种竞争运行得有多流畅,取决于数据在内存中的具体布局,以及使用什么操作来访问它。

一般来说,要写出在多核处理器上具有良好可伸缩性(scalable)的代码,方法就是尽可能避免竞争,如果不能避免,则使所有竞争都尽可能快速通过。完善地考虑竞争问题,理解缓存一致性的工作原理(至少要大致上),理解处理器为了保证缓存一致性而需要交换什么信息,理解这种通讯何时会发生,这是非常重要的。我们讲完了这些基础知识,现在可以看看更上层的软件了。这篇文章已经够长了,在下篇文章中,我打算讲讲锁和无锁数据结构(lock-free data structures),并讨论其中一些取舍问题。下次见,写代码要小心哦。

参考英文原文: Atomic operations and contention

2014-12-31 03:447035
用户头像

发布了 77 篇内容, 共 35.2 次阅读, 收获喜欢 25 次。

关注

评论

发布
暂无评论
发现更多内容

为多渠道销售集成商品API接口

Noah

微信小程序管理软件助力企业数字化转型

Geek_2305a8

2024 年 2 月 NFT 行业动态:加密货币飙升,NFT 市场调整

Footprint Analytics

blockchain NFT NFT链游

机器人装行业MES/低代码平台免费使用/低代码MES

万界星空科技

低代码 低代码平台 mes 万界星空科技 机器人组装

抓住2024新风口,数字人直播创业怎么做?

青否数字人

一文让你知道,云计算环境下云管平台的重要性

行云管家

云计算 云服务 云管平台 云资源

发布DDD脚手架到Maven仓库,IntelliJ IDEA 配置一下即可使用

EquatorCoco

Java DDD IDEA

数字人引领品牌增长新纪元!

青否数字人

数字人

通过统一规划和团队整合,提升企业财务洞察

智达方通

全面预算管理 财务洞察

有点害怕,浏览器插件风险这么多?

高端章鱼哥

Python实现企业微信自动打卡程序二:跳过节假日,随机打卡时间,定时任务,失败通知

快乐非自愿限量之名

Python 软件开发 打卡

深入理解位运算符及其在JavaScript中的应用

控心つcrazy

深度!10个头脑风暴必备的模板,让脑暴更高效和富有成效!

彭宏豪95

思维导图 头脑风暴 在线白板 在线协作 效率软件

多平台小程序一站式管理工具推荐~

Geek_2305a8

程序员有哪些常用的技术网站呢?

这我可不懂

效率 程序员 前端 低代码 JNPF

Vue3 - 表单的输入与绑定

霍格沃兹测试开发学社

学编程前需要知道哪些编程语言呢?

小齐写代码

软件测试学习笔记丨数据库基础知识

测试人

数据库 软件测试

智能合约开发:每周加密货币回顾(2024年3月11日)

区块链软件开发推广运营

dapp开发 区块链开发 链游开发 NFT开发

掌握 Postman:请求头使用指南

Liam

Java 程序员 后端 Postman API

印刷行业实施MES管理系统有哪些重要的意义

万界星空科技

工业互联网 制造业 mes 印刷行业 万界星空科技

火山引擎“数据飞轮”助力哪吒汽车智能创新

Geek_2d6073

淘宝API接口开发系列,接口封装,淘宝开放平台API接口

Anzexi58

API API 接口 API 文档

新一代实时数据集成框架 Flink CDC 3.0 —— 核心技术架构解析

Apache Flink

实例带你了解GaussDB数据库的LOCK TABLE

华为云开发者联盟

数据库 后端 华为云 华为云GaussDB 华为云开发者联盟

充电桩组装行业生产管理MES系统解决方案

万界星空科技

制造业 生产管理系统 mes 充电桩 汽车充电桩

Python 初学者容易踩的 5 个坑

不在线第一只蜗牛

Java Python 开发语言

RDS for MariaDB“智能DBA助手”,让运维效率嗖嗖地!

华为云开发者联盟

数据库 后端 华为云 华为云开发者联盟

WebRTC构建点对点的即时通讯工具

鲸品堂

工具 企业号 3 月 PK 榜

探索PyTorch:介绍及常用工具包展示

霍格沃兹测试开发学社

软件测试学习笔记丨Allure2运行方式&问题调试

测试人

软件测试

原子操作和竞争_语言 & 开发_曹知渊_InfoQ精选文章