【Linux】【Spinlock学习总结】

Linux内核同步机制之(四):spin lock
Linux 内核同步(二):自旋锁(Spinlock)

handler原子锁_Linux的原子操作与同步机制
下面展示一些 内联代码片

// A code block
var foo = 'bar';
// An highlighted block
var foo = 'bar';

arm原子操作实现

在arm的指令集中,不存在指令前缀lock,那如何完成原子操作呢?

Linux的源码中arm体系结构原子操作的定义文件为。

linux2.6/include/asm-arm/atomic.h

其中自加原子操作由函数atomic_add_return实现。


static inline int atomic_add_return(int i, atomic_t *v)

{
unsigned long tmp;

int result;

__asm__ __volatile__("@ atomic_add_return\n"

"1:     ldrex   %0, [%2]\n"

"       add     %0, %0, %3\n"

"       strex   %1, %0, [%2]\n"

"       teq     %1, #0\n"

"       bne     1b"

: "=&r" (result), "=&r" (tmp)

: "r" (&v->counter), "Ir" (i)

: "cc");

return result;

}

上述嵌入式汇编的实际形式为。


1:

ldrex  [result], [v->counter]

add    [result], [result], [i]

strex  [temp], [result], [v->counter]

teq    [temp], #0

bne    1b

ldrex指令将v->counter的值传送到result,并设置全局标记“Exclusive”。

add指令完成“result+i”的操作,并将加法结果保存到result。

strex指令首先检测全局标记“Exclusive”是否存在,如果存在,则将result的值写回counter->v,并将temp置为0,清除“Exclusive”标记,否则直接将temp置为1结束。

teq指令测试temp值是否为0。

bne指令temp不等于0时跳转到标号1,其中字符b表示向后跳转。

整体看来,上述汇编代码一直尝试完成“v->counter+=i”的操作,直到temp为0时结束。
原文链接:https://blog.csdn.net/weixin_39914049/article/details/111782848
ARM的SWP和LDREX STREX指令
新的ARM指令(V6、V7)采用LDREX和STREX指令替换了SWP指令,可以实现对共享内存的非阻塞同步。

LDREX <Rt>,[Rn]

STREX <Rd>,<Rt>,[Rn] ;STREX成功,Rd置0

新指令的例子:

lock_mutex

LDREX r1,[r0]    ; 检查是否lock

CMP   r1,#LOCK   ; 和LOCK比较,LOCK是0

BEQ   lock_mutex ; 相等说明被锁定,自旋

MOV   r1,#LOCK   ; 不相等,加锁

STREX r2,r1,[r0] ; 尝试将r1写入锁

CMP   r2,#0x0    ; 判断是否加锁成功(可能出现竞争导致加锁失败)

BNE   lock_mutex ; 如果不成功,从头判断

DMB              ; 内存屏障保证前面操作成功

BX    lr         ; 返回

ulock_mutex

DMB                ; 内存屏障,保证安全访问

MOV   r1,#UNLOCKED ; 解锁

STR   r1,[r0]      ;

BX    lr           ;

LDREX和STREX是通过ARM内核的一个叫Exclusive Monitor的机制实现的,EM是一个状态机。

LDREX指令将Monitor置为Exclusive状态,STREX指令将Exclusive状态置回为Open状态,由此保证访问的唯一性。

但是在进程切换时,可能导致EM被打乱,因此需要执行CLREX指令,清除Exclusive Monitor。
ARM平台下独占访问指令LDREX和STREX的原理与使用详解
LDREX和STREX是对内存中的一个字(Word,32 bit)进行独占访问的指令。如果想独占访问的内存区域不是一个字,还有其它的指令:

1)LDREXB和STREXB:对内存中的一个字节(Byte,8 bit)进行独占访问;
2)LDREXH和STREXH:中的一个半字(Half Word,16 bit)进行独占访问;
3)LDREXD和STREXD:中的一个双字(Double Word,64 bit)进行独占访问。
它们必须配对使用,不能混用。
在ARMv8指令集下,LDREX指令被改名成了LDXR指令,而STREX指令被改名成了STXR指令,
功能基本上是一样的,除了添加了一个新的特性。
当全局监视器标记的对某段内存的独占访问被清空后,
将向所有标记了对该段内存独占访问的CPU核都发送事件,
将它们从WFE指令中唤醒,继续执行。

CPU 多核指令 —— WFE 原理









  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值