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指令中唤醒,继续执行。