前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >原子操作 Atomic Operation

原子操作 Atomic Operation

作者头像
为为为什么
发布2023-10-18 15:59:36
3810
发布2023-10-18 15:59:36
举报
文章被收录于专栏:又见苍岚又见苍岚

操作系统中存在一旦执行则要么执行完成要么不能执行的操作,这类操作具有良好的并行安全特性,被称为原子操作

简介

原子操作(atomic operation)指的是由多步操作组成的一个操作。如果该操作不能原子地执行,则要么执行完所有步骤,要么一步也不执行,不可能只执行所有步骤的一个子集。

现代操作系统中,一般都提供了原子操作来实现一些同步操作,所谓原子操作,也就是一个独立而不可分割的操作。在单核环境中,一般的意义下原子操作中线程不会被切换,线程切换要么在原子操作之前,要么在原子操作完成之后。更广泛的意义下原子操作是指一系列必须整体完成的操作步骤,如果任何一步操作没有完成,那么所有完成的步骤都必须回滚,这样就可以保证要么所有操作步骤都未完成,要么所有操作步骤都被完成。

在单核系统里,单个的机器指令可以看成是原子操作(如果有编译器优化、乱序执行等情况除外);在多核系统中,单个的机器指令就不是原子操作,因为多核系统里是多指令流并行运行的,一个核在执行一个指令时,其他核同时执行的指令有可能操作同一块内存区域,从而出现数据竞争现象。多核系统中的原子操作通常使用内存栅障(memory barrier)来实现,即一个CPU核在执行原子操作时,其他CPU核必须停止对内存操作或者不对指定的内存进行操作,这样才能避免数据竞争问题。

何时使用

在多线程并发的条件下,所有不是原子性的操作需要保证原子性时,都需要进行原子操作处理。

windows 原子操作 api

Win32 API中常用的原子操作主要有三类,一种是加1减1操作,一种是比较交换操作,另外一种是赋值(写)操作。

原子加1减1操作

代码语言:javascript
复制
LONG InterlockedIncrement( LONG volatile* Addend);

LONG InterlockedDecrement( LONG volatile* Addend);

比较并交换(Compare And Swap, CAS)操作

代码语言:javascript
复制
LONG InterlockedCompareExchange( LONG volatile*Destination, LONG Exchange, LONG Comperand );

这个操作是先将Comperand的值和Destination指向变量的值进行比较,如果相等就将Exchange变量的值赋给Destination指向的变量。返回值为未修改前的Destination位置的初始值。

原子写操作

代码语言:javascript
复制
LONG InterlockedExchange( LONG volatile* Target, LONG Value);

InterlockedExchange的作用为将Value的值赋给Target指向的变量,返回Target指向变量未被赋值前的值。

并发安全

多线程

原子操作对于多线程并发是线程安全的,一个线程在执行原子操作时其他线程无法介入其中间过程,无法读、修改或打断该操作。

多进程

对于多进程也是有效的, 因为原子变量操作时是锁总线的,这个动作是在硬件层面来做的,他比操作系统更加底层,进程只是操作系统层面的概念,那么跨进程就更不再话下了。

参考资料

文章链接: https://cloud.tencent.com/developer/article/2345860

本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2023-9-28,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 简介
    • 何时使用
    • windows 原子操作 api
    • 并发安全
      • 多线程
        • 多进程
        • 参考资料
        领券
        问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档