更新日期: 2022/06/01 来源: https://gitee.com/weharmony/kernel_liteos_a_note
los_atomic.h 文件参考

原子操作 http://weharmonyos.com/openharmony/zh-cn/device-dev/kernel/kernel-small-basic-atomic.html 更多...

浏览源代码.

类型定义

typedef volatile INT32 Atomic
 
typedef volatile INT64 Atomic64
 

函数

STATIC INLINE INT32 LOS_AtomicRead (const Atomic *v)
 Atomic read. | 读取32bit原子数据 更多...
 
STATIC INLINE VOID LOS_AtomicSet (Atomic *v, INT32 setVal)
 Atomic setting. 更多...
 
STATIC INLINE INT32 LOS_AtomicAdd (Atomic *v, INT32 addVal)
 Atomic addition. 更多...
 
STATIC INLINE INT32 LOS_AtomicSub (Atomic *v, INT32 subVal)
 Atomic subtraction. 更多...
 
STATIC INLINE VOID LOS_AtomicInc (Atomic *v)
 Atomic addSelf. 更多...
 
STATIC INLINE INT32 LOS_AtomicIncRet (Atomic *v)
 Atomic addSelf. | 对内存数据加1并返回运算结果 更多...
 
STATIC INLINE VOID LOS_AtomicDec (Atomic *v)
 Atomic auto-decrement. | 对32bit原子数据做减1 更多...
 
STATIC INLINE INT32 LOS_AtomicDecRet (Atomic *v)
 Atomic auto-decrement. | 对内存数据减1并返回运算结果 更多...
 
STATIC INLINE INT64 LOS_Atomic64Read (const Atomic64 *v)
 Atomic64 read. | 读取64bit原子数据 更多...
 
STATIC INLINE VOID LOS_Atomic64Set (Atomic64 *v, INT64 setVal)
 Atomic64 setting. | 写入64位内存数据 更多...
 
STATIC INLINE INT64 LOS_Atomic64Add (Atomic64 *v, INT64 addVal)
 Atomic64 addition. | 对64位内存数据做加法 更多...
 
STATIC INLINE INT64 LOS_Atomic64Sub (Atomic64 *v, INT64 subVal)
 Atomic64 subtraction. | 对64位原子数据做减法 更多...
 
STATIC INLINE VOID LOS_Atomic64Inc (Atomic64 *v)
 Atomic64 addSelf. | 对64位原子数据加1 更多...
 
STATIC INLINE INT64 LOS_Atomic64IncRet (Atomic64 *v)
 Atomic64 addSelf. | 对64位原子数据加1并返回运算结果 更多...
 
STATIC INLINE VOID LOS_Atomic64Dec (Atomic64 *v)
 Atomic64 auto-decrement. | 对64位原子数据减1 更多...
 
STATIC INLINE INT64 LOS_Atomic64DecRet (Atomic64 *v)
 Atomic64 auto-decrement. | 对64位原子数据减1并返回运算结果 更多...
 
STATIC INLINE INT32 LOS_AtomicXchgByte (volatile INT8 *v, INT32 val)
 Atomic exchange for 8-bit variable. | 交换8位原子数据,原内存中的值以返回值的方式返回 更多...
 
STATIC INLINE INT32 LOS_AtomicXchg16bits (volatile INT16 *v, INT32 val)
 Atomic exchange for 16-bit variable. | 交换16位原子数据,原内存中的值以返回值的方式返回 更多...
 
STATIC INLINE INT32 LOS_AtomicXchg32bits (Atomic *v, INT32 val)
 Atomic exchange for 32-bit variable. | 交换32位原子数据,原内存中的值以返回值的方式返回 更多...
 
STATIC INLINE INT64 LOS_AtomicXchg64bits (Atomic64 *v, INT64 val)
 Atomic exchange for 64-bit variable. | 交换64位原子数据,原内存中的值以返回值的方式返回 更多...
 
STATIC INLINE BOOL LOS_AtomicCmpXchgByte (volatile INT8 *v, INT32 val, INT32 oldVal)
 Atomic exchange for 8-bit variable with compare. | 比较并交换8位原子数据,返回比较结果 更多...
 
STATIC INLINE BOOL LOS_AtomicCmpXchg16bits (volatile INT16 *v, INT32 val, INT32 oldVal)
 Atomic exchange for 16-bit variable with compare. | 比较并交换16位原子数据,返回比较结果 更多...
 
STATIC INLINE BOOL LOS_AtomicCmpXchg32bits (Atomic *v, INT32 val, INT32 oldVal)
 Atomic exchange for 32-bit variable with compare. | 比较并交换32位原子数据,返回比较结果 更多...
 
STATIC INLINE BOOL LOS_AtomicCmpXchg64bits (Atomic64 *v, INT64 val, INT64 oldVal)
 Atomic exchange for 64-bit variable with compare. | 比较并交换64位原子数据,返回比较结果 更多...
 

详细描述

原子操作 http://weharmonyos.com/openharmony/zh-cn/device-dev/kernel/kernel-small-basic-atomic.html

基本概念
    在支持多任务的操作系统中,修改一块内存区域的数据需要“读取-修改-写入”三个步骤。
    然而同一内存区域的数据可能同时被多个任务访问,如果在修改数据的过程中被其他任务打断,
    就会造成该操作的执行结果无法预知。
    使用开关中断的方法固然可以保证多任务执行结果符合预期,但这种方法显然会影响系统性能。
    ARMv6架构引入了LDREX和STREX指令,以支持对共享存储器更缜密的非阻塞同步。由此实现的
    原子操作能确保对同一数据的“读取-修改-写入”操作在它的执行期间不会被打断,即操作的原子性。

使用场景
    有多个任务对同一个内存数据进行加减或交换操作时,使用原子操作保证结果的可预知性。

汇编指令
    LDREX Rx, [Ry]
       读取内存中的值,并标记对该段内存为独占访问:
       读取寄存器Ry指向的4字节内存数据,保存到Rx寄存器中。
       对Ry指向的内存区域添加独占访问标记。

    STREX Rf, Rx, [Ry]
       检查内存是否有独占访问标记,如果有则更新内存值并清空标记,否则不更新内存:
       有独占访问标记
           将寄存器Rx中的值更新到寄存器Ry指向的内存。
           标志寄存器Rf置为0。
       没有独占访问标记
           不更新内存。
           标志寄存器Rf置为1。

    判断标志寄存器
       标志寄存器为0时,退出循环,原子操作结束。
       标志寄存器为1时,继续循环,重新进行原子操作。

有多个任务对同一个内存数据进行加减或交换等操作时,使用原子操作保证结果的可预知性。

volatile关键字在用C语言编写嵌入式软件里面用得很多,不使用volatile关键字的代码比使用volatile关键字的代码效率要高一些,
但就无法保证数据的一致性。volatile的本意是告诉编译器,此变量的值是易变的,每次读写该变量的值时务必从该变量的内存地址中读取或写入,
不能为了效率使用对一个“临时”变量的读写来代替对该变量的直接读写。编译器看到了volatile关键字,就一定会生成内存访问指令,
每次读写该变量就一定会执行内存访问指令直接读写该变量。若是没有volatile关键字,编译器为了效率,
只会在循环开始前使用读内存指令将该变量读到寄存器中,之后在循环内都是用寄存器访问指令来操作这个“临时”变量,
在循环结束后再使用内存写指令将这个寄存器中的“临时”变量写回内存。在这个过程中,如果内存中的这个变量被别的因素
(其他线程、中断函数、信号处理函数、DMA控制器、其他硬件设备)所改变了,就产生数据不一致的问题。另外,
寄存器访问指令的速度要比内存访问指令的速度快,这里说的内存也包括缓存,也就是说内存访问指令实际上也有可能访问的是缓存里的数据,
但即便如此,还是不如访问寄存器快的。缓存对于编译器也是透明的,编译器使用内存读写指令时只会认为是在读写内存,
内存和缓存间的数据同步由CPU保证。
注意
原子操作中,操作数及其结果不能超过函数所支持位数的最大值。目前原子操作接口只支持整型数据。
版本
作者
weharmonyos.com | 鸿蒙研究站 | 每天死磕一点点
日期
2021-11-26

在文件 los_atomic.h 中定义.

类型定义说明

◆ Atomic

typedef volatile INT32 Atomic

在文件 los_atomic.h102 行定义.

◆ Atomic64

typedef volatile INT64 Atomic64

在文件 los_atomic.h103 行定义.