《C++并发编程实战》读书笔记(3):内存模型和原子操作

C语言与CPP编程 2023-07-06 08:30

击上方“C语言与CPP编程”,选择“关注/置顶/星标公众号

干货福利,第一时间送达!

最近有小伙伴说没有收到当天的文章推送,这是因为微信改了推送机制,有一部分小伙伴刷不到当天的文章,一些比较实用的知识和信息,错过了就是错过了,建议大家加个星标⭐️,就能第一时间收到推送。

小伙伴们大家好,我是飞宇

前段时间润去美国的师兄开了一门C/C++的课程,友情帮忙宣传一下,感兴趣的可以看看。

今天继续更新《Effective C++》和《C++并发编程实战的读书笔记,下面是已经更新过的内容:

《C++并发编程实战》读书笔记(1):并发、线程管控

《C++并发编程实战》读书笔记(2):并发操作的同步

《Effective C++》读书笔记(1):让自己习惯C++

《Effective C++》读书笔记(2):构造/析构/赋值运算

《Effective C++》读书笔记(3):资源管理

第5章 C++内存模型和原子操作

5.1 内存模型基础

    C++标准中对象定义为某一存储范围。每个变量都是对象,每个对象都占用至少一块内存区域,若变量属于内建基本类型则仅占用一块,相邻的位域属于同一块。

    若两个线程访问同一内存区域并且没有强制服从一定的次序,当其中有非原子化访问以及写操作时,就会出现数据竞争,导致未定义行为。此场景下如果全都采用原子操作,虽然不能预防数据竞争,但可避免未定义行为。

    所有线程在某对象上的全部写操作,称为该对象的改动序列。若采用了原子操作,编译器有责任保证有效的同步,禁止某些预测执行,以做到对任一对象,所有线程对其必须形成相同的改动序列。


5.2 C++中的原子操作及其类别

    原子操作是不可分割的操作,或者完全做好或者完全没做。多数情况下需要通过原子类型实现原子操作。

    原子类型的定义位于,有些由原子指令直接实现,有些由锁来实现,无法取代互斥的同步方式从而获得性能提升。可以用成员函数is_lock_free来判断。对于原子类型上的每种操作,都可以提供额外参数,用于设定内存次序语义,具体5.3节。


5.2.1 各类原子类型

    std::atomic_flag是最简单的标准原子类型,保证无锁,表示一个布尔标志,唯一用途是充当构建单元。其对象必须由ATOMIC_FLAG_INIT初始化并置零,只支持clear、test_and_set。

class spinlock_mutex {public:    spinlock_mutex() : flag(ATOMIC_FLAG_INIT) {}    void lock() {        while (flag.test_and_set(std::memory_order_acquire));    }    void unlock() {         flag.clear(std::memory_order_release);     }private:    std::atomic_flag flag;};

    std::atomic是基于整数的最基本的原子类型,相比atomic_flag功能更齐全。它的赋值操作符直接按值而非按引用返回。

std::atomic<bool> b;bool x = b.load(std::memory_order_acquire);b.store(true);x = b.exchange(falsestd::memory_order_acq_rel);

    它还支持“比较-交换”,包括compare_exchange_weak和compare_exchange_strong:给定期望值和原子变量比较,若相等则原子变量保存另一值并返回true,否则更新期望值为原子变量的值并返回false。它接收两个内存次序参数,对应成功与失败。

    atomic<T*>支持上面atomicool>介绍的操作还支持fetch_add/fetch_sub,对存储地址进行原子化的加减,返回旧值,藉此重载了+=、-=、++、--

    整数原子类型支持的操作比上述更加齐全。


5.2.2 非成员函数原子操作

    原子操作不仅包括上述原子类型的成员函数,还包括很多非成员函数,第一个参数都是指向目标的指针。大部分是以成员函数加“atimic_”前缀来命名。

    C++标准库还提供了针对shared_ptr的非成员函数,尽管它不属于原子类型。

std::shared_ptr p;
void process_global_data(){  std::shared_ptr local = std::atomic_load(&p);  process_data(local);}
void update_global_data(){  std::shared_ptr local(new Widget);  std::atomic_store(&p, local);}

5.3 同步操作和强制次序

    内存模型关系有先行与同步。同步关系指对某变量执行原子写和原子读,且两者都有适当的标记。先行关系在单线程中指源代码中操作语句的先后,多线程中先行关系可通过同步关系传递。

    原子类型上的操作服从6种内存次序。宽松次序:memory_order_relaxed,获取-释放次序:memory_order_consume(建议不予采用)、memory_order_acquire、memory_order_release、memory_order_acq_rel,先后一致次序:memory_order_seq_cst。

    先后一致次序是最严格的内存次序,同时也是默认参数。如果程序服从该次序,就简单地把一切事件视为按先后顺序发生,所有线程所见的一切操作都必须服从相同的次序。这样最符合直觉,比较容易理解。但其他次序中,不同线程看到的同一组操作的次序和效果可能呈现差异。

    宽松次序仅要求同一线程内对相同变量的访问次序不能重排。可以将每个原子变量想象为一个记录员,记录着代表改动序列的一系列数据,记录本上每个线程都对应一个指向某一数据的用户标签,标签之间有任何影响。当线程更新数据时记录员记下最新数据并把该线程的标签移到该最新数据下;线程询问记录员数据是多少时,(不论其他线程更新了多少数据、其他标签如何移动)记录员可能将该线程的标签往下移动任意位数据,也可能不移(代表CPU缓存是否同步),然后返回标签指向的数据。

    例如一个线程先写x再写y,另一个线程先写y再写x,却可能出现图中的情况,这是因为x、y的读写在两个线程中,宽松次序对此不作规定,什么顺序都可能发生。

        获取-释放次序比宽松次序严格一些,在成对的读写线程之间起同步作用。载入对应memory_order_acquire,存储对应memory_order_release,读-改-写对应memory_order_rel(根据具体语义也可以使用前面两个次序)。

    可以考虑同一线程上的两个存储操作,下面代码中y读写的同步会强制x上的宽松操作服从一定次序。

std::atomic<bool> x, y;std::atomic<int> z;
void write_x_then_y() { x.store(true, std::memory_order_relaxed); y.store(true, std::memory_order_release);}
void read_y_then_x() { while (!y.load(std::memory_order_acquire)) ; if (x.load(std::memory_order_relaxed)) ++z;}
int main() { x = false; y = false; z = 0; std::thread a(write_x_then_y); std::thread b(read_y_then_x); a.join(); b.join(); assert(z.load() != 0);}

    针对同一个原子变量,如果先存储,再进行多个读-改-写,最后载入,其中所有存储的标记都是memory_order_release/memory_order_acq_rel或memory_order_seq_cst,而载入标记都是memory_order_acquire/memory_order_seq_cst,那么这些操作前后相扣为一个释放序列,最初的存储与最后的载入同步。

    考虑下面的例子,第8行store是最初的存储,第14行fetch_sub是读-改-写,那么一个存储两个读-改-写形成释放序列,即store与第一个fetch_sub、store与第二个fetch_sub都同步,不存在数据竞争。

void populate_queue() {    unsigned const number_of_items = 20;    queue_data.clear();    for (unsigned i = 0; i < number_of_items; ++i) {        queue_data.push_back(i);    }
count.store(number_of_items, std::memory_order_release);}
void consume_queue_items() { while (true) { int item_index; if ((item_index = count.fetch_sub(1, std::memory_order_acquire)) <= 0) { wait_for_more_items(); continue; } process(queue_data[item_index - 1]); }}
int main() { std::thread a(populate_queue); std::thread b(consume_queue_items); std::thread c(consume_queue_items); a.join(); b.join(); c.join();}

    最后,考虑用原子操作令非原子操作服从内存次序。下面的例子中两个内存屏障原子操作atomic_thread_fence之间同步,使得x先存储true再读取,最后的断言不会报错。前文我们介绍的thread/mutex/promise等等工具也都提供了同步关系,不再一一介绍。

bool x = false;std::atomic<bool> y;std::atomic<int> z;
void write_x_then_y() { x = true; std::atomic_thread_fence(std::memory_order_release); y.store(true, std::memory_order_relaxed);}
void read_y_then_x() { while (!y.load(std::memory_order_relaxed)) ; std::atomic_thread_fence(std::memory_order_acquire); if (x) ++z;}
int main() { x = false; y = false; z = 0; std::thread a(write_x_then_y); std::thread b(read_y_then_x); a.join(); b.join(); assert(z.load() != 0);}
EOF

你好,我是飞宇,本硕均于某中流985 CS就读,先后于百度搜索以及字节跳动电商等部门担任Linux C/C++后端研发工程师。

同时,我也是知乎博主@韩飞宇,日常分享C/C++、计算机学习经验、工作体会,欢迎点击此处查看我以前的学习笔记&经验&分享的资源。

我组建了一些社群一起交流,群里有大牛也有小白,如果你有意可以一起进群交流。

欢迎你添加我的微信,我拉你进技术交流群。此外,我也会经常在微信上分享一些计算机学习经验以及工作体验,还有一些内推机会

加个微信,打开另一扇窗

C语言与CPP编程 C语言/C++开发,C语言/C++基础知识,C语言/C++学习路线,C语言/C++进阶,数据结构;算法;python;计算机基础等
评论 (0)
  • 曾几何时,汽车之家可是汽车资讯平台领域响当当的“扛把子”。2005 年成立之初,它就像一位贴心的汽车小助手,一下子就抓住了大家的心。它不仅吸引了海量用户,更是成为汽车厂商和经销商眼中的“香饽饽”,广告投放、合作推广不断,营收和利润一路高歌猛进,2013年成功在纽交所上市,风光无限。2021年更是在香港二次上市,达到了发展的巅峰,当年3月15日上市首日,港股股价一度高达184.6港元,市值可观。然而,如今的汽车之家却陷入了困境,业务下滑明显。业务增长瓶颈从近年来汽车之家公布的财报数据来看,情况不容
    用户1742991715177 2025-04-07 21:48 113浏览
  •   卫星图像智能测绘系统:地理空间数据处理的创新引擎   卫星图像智能测绘系统作为融合卫星遥感、地理信息系统(GIS)、人工智能(AI)以及大数据分析等前沿技术的综合性平台,致力于达成高精度、高效率的地理空间数据采集、处理与应用目标。借助自动化、智能化的技术路径,该系统为国土资源管理、城市规划、灾害监测、环境保护等诸多领域输送关键数据支撑。   应用案例   目前,已有多个卫星图像智能测绘系统在实际应用中取得了显著成效。例如,北京华盛恒辉北京五木恒润卫星图像智能测绘系统。这些成功案例为卫星
    华盛恒辉l58ll334744 2025-04-08 16:19 69浏览
  • 在人工智能技术飞速发展的今天,语音交互正以颠覆性的方式重塑我们的生活体验。WTK6900系列语音识别芯片凭借其离线高性能、抗噪远场识别、毫秒级响应的核心优势,为智能家居领域注入全新活力。以智能风扇为起点,我们开启一场“解放双手”的科技革命,让每一缕凉风都随“声”而至。一、核心技术:精准识别,无惧环境挑战自适应降噪,听懂你的每一句话WTK6900系列芯片搭载前沿信号处理技术,通过自适应降噪算法,可智能过滤环境噪声干扰。无论是家中电视声、户外虫鸣声,还是厨房烹饪的嘈杂声,芯片均能精准提取有效指令,识
    广州唯创电子 2025-04-08 08:40 176浏览
  • HDMI从2.1版本开始采用FRL传输模式,和2.0及之前的版本不同。两者在物理层信号上有所区别,这就需要在一些2.1版本的电路设计上增加匹配电路,使得2.1版本的电路能够向下兼容2.0及之前版本。2.1版本的信号特性下面截取自2.1版本规范定义,可以看到2.1版本支持直流耦合和交流耦合,其共模电压和AVCC相关,信号摆幅在400mV-1200mV2.0及之前版本的信号特性HDMI2.0及之前版本采用TMDS信号物理层,其结构和参数如下:兼容设计根据以上规范定义,可以看出TMDS信号的共模电压范
    durid 2025-04-08 19:01 138浏览
  •   物质扩散与污染物监测系统软件:多领域环境守护的智能中枢   北京华盛恒辉物质扩散与污染物监测系统软件,作为一款融合了物质扩散模拟、污染物监测、数据分析以及可视化等多元功能的综合性工具,致力于为环境科学、公共安全、工业生产等诸多领域给予强有力的技术支撑。接下来,将从功能特性、应用场景、技术实现途径、未来发展趋势等多个维度对这类软件展开详尽介绍。   应用案例   目前,已有多个物质扩散与污染物监测系统在实际应用中取得了显著成效。例如,北京华盛恒辉和北京五木恒润物质扩散与污染物监测系统。这
    华盛恒辉l58ll334744 2025-04-09 14:54 29浏览
  • 文/郭楚妤编辑/cc孙聪颖‍伴随贸易全球化的持续深入,跨境电商迎来蓬勃发展期,物流行业 “出海” 成为不可阻挡的必然趋势。加之国内快递市场渐趋饱和,存量竞争愈发激烈。在此背景下,国内头部快递企业为突破发展瓶颈,寻求新的增长曲线,纷纷将战略目光投向海外市场。2024 年,堪称中国物流企业出海进程中的关键节点,众多企业纷纷扬帆起航,开启海外拓展之旅。然而,在一片向好的行业发展表象下,部分跨境物流企业的经营状况却不容乐观。它们受困于激烈的市场竞争、不断攀升的运营成本,以及复杂的国际物流环境,陷入了微利
    华尔街科技眼 2025-04-09 15:15 31浏览
  • 文/Leon编辑/侯煜‍就在小米SU7因高速交通事故、智驾性能受到质疑的时候,另一家中国领先的智驾解决方案供应商华为,低调地进行了一场重大人事变动。(详情见:雷军熬过黑夜,寄望小米SU7成为及时雨)4月4日上午,有网友发现余承东的职务发生了变化,华为官网、其个人微博认证信息为“常务董事,终端BG董事长”,不再包括“智能汽车解决方案BU董事长”。余承东的确不再兼任华为车BU董事长,但并非完全脱离华为的汽车业务,而是聚焦鸿蒙智行。据悉,华为方面寻求将车BU独立出去,但鸿蒙智行仍留在华为终端BG部门。
    华尔街科技眼 2025-04-09 15:28 26浏览
  •   工业自动化领域电磁兼容与接地系统深度剖析   一、电磁兼容(EMC)基础认知   定义及关键意义   电磁兼容性(EMC),指的是设备或者系统在既定的电磁环境里,不但能按预期功能正常运转,而且不会对周边其他设备或系统造成难以承受的电磁干扰。在工业自动化不断发展的当下,大功率电机、变频器等设备被大量应用,现场总线、工业网络等技术也日益普及,致使工业自动化系统所处的电磁环境变得愈发复杂,电磁兼容(EMC)问题也越发严峻。   ​电磁兼容三大核心要素   屏蔽:屏蔽旨在切断电磁波的传播路
    北京华盛恒辉软件开发 2025-04-07 22:55 218浏览
  • 在万物互联时代,智能化安防需求持续升级,传统报警系统已难以满足实时性、可靠性与安全性并重的要求。WT2003H-16S低功耗语音芯片方案,以4G实时音频传输、超低功耗设计、端云加密交互为核心,重新定义智能报警设备的性能边界,为家庭、工业、公共安防等领域提供高效、稳定的安全守护。一、技术内核:五大核心突破,构建全场景安防基座1. 双模音频传输,灵活应对复杂场景实时音频流传输:内置高灵敏度MIC,支持环境音实时采集,通过4G模块直接上传至云端服务器,响应速度低至毫秒级,适用于火灾警报、紧急呼救等需即
    广州唯创电子 2025-04-08 08:59 141浏览
  •     根据 IEC术语,瞬态过电压是指持续时间几个毫秒及以下的过高电压,通常是以高阻尼(快速衰减)形式出现,波形可以是振荡的,也可以是非振荡的。    瞬态过电压的成因和机理,IEC 60664-1给出了以下四种:    1. 自然放电,最典型的例子是雷击,感应到电力线路上,并通过电网配电系统传输,抵达用户端;        2. 电网中非特定感性负载通断。例如热处理工厂、机加工工厂对
    电子知识打边炉 2025-04-07 22:59 136浏览
  •   卫星图像智能测绘系统全面解析   一、系统概述   卫星图像智能测绘系统是基于卫星遥感技术、图像处理算法与人工智能(AI)技术的综合应用平台,旨在实现高精度、高效率的地理空间数据获取、处理与分析。该系统通过融合多源卫星数据(如光学、雷达、高光谱等),结合AI驱动的智能算法,实现自动化、智能化的测绘流程,广泛应用于城市规划、自然资源调查、灾害监测等领域。   应用案例   目前,已有多个卫星图像智能测绘系统在实际应用中取得了显著成效。例如,北京华盛恒辉和北京五木恒润卫星图像智能测绘系统
    华盛恒辉l58ll334744 2025-04-08 15:04 74浏览
  •     在研究Corona现象时发现:临界电压与介电材料表面的清洁程度有关。表面越清洁的介电材料,临界电压越高;表面污染物越多的地方,越容易“爬电”。关于Corona现象,另见基础理论第007篇。    这里说的“污染物”,定义为——可能影响介电强度或表面电阻率的固体、液体或气体(电离气体)的任何情况。    IEC 60664-1 (对应GB/T 16935.1-2023) 定义了 Pollution Degree,中文术语是“污染等
    电子知识打边炉 2025-04-07 22:06 98浏览
我要评论
0
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦