分析Linux中Spinlock在ARM及X86平台上的实现
加入技术交流群
static inline void __raw_spin_lock(raw_spinlock_t *lock)
{
unsigned long tmp;
__asm__ __volatile__(
"1: ldrex %0, [%1]"
//取lock->lock放在 tmp里，并且设置lock->lock这个内存地址为独占访问
" teq %0, #0"
//测试lock_lock是否为0，影响标志位z
#ifdef CONFIG_CPU_32v6K
" wfene"
#endif
" strexeq %0, %2, [%1]"
//如果lock_lock是0，并且是独占访问这个内存，就向lock->lock里写入1，并向tmp返回0，同时清除独占标记
" teqeq %0, #0"
//如果lock_lock是0，并且strexeq返回了0，表示加锁成功，返回
" bne 1b"
//如果上面的条件(1：lock->lock里不为0，2：strexeq失败)有一个符合，就在原地打转
: "=r" (tmp) //%0：输出放在tmp里，可以是任意寄存器
: "r" (lock->lock), "r" (1)
//%1：取lock->lock放在任意寄存器，%2：任意寄存器放入1
: "cc"); //状态寄存器可能会改变
smp_mb();
}
上述代码关键在于LDREX和STREX指令的应用。DREX和STREX指令是在V6以后才出现的，代替了V6以前的swp指令。可以让bus监控LDREX和STREX指令之间有无其它CPU和DMA来存取过这个地址，若有的话STREX指令的第一个寄存器里设置为1（动作失败），若没有，指令的第一个寄存器里设置为0（动作成功）。
不仅是自旋锁用到LDREX和STREX指令，信号量的实现也是利用LDREX和STREX指令来实现的。
4、__raw_spin_lock在X86处理器上的实现
/******include/asm-i386/spinlock_types.h***/
typedef struct {
unsigned int slock;
} raw_spinlock_t;
#define __RAW_SPIN_LOCK_UNLOCKED { 1 }
/******include/asm-i386/spinlock.h***/
static inline void __raw_spin_lock(raw_spinlock_t *lock)
{
asm volatile("1:t"
LOCK_PREFIX " ; decb %0t"
// lock->slock减1
"jns 3f"
//如果不为负.跳转到3f.3f后面没有任何指令，即为退出
"2:t"
"rep;nopt"
//重复执行nop.nop是x86的小延迟函数
"cmpb $0,%0t"
"jle 2bt"
//如果lock->slock不大于0，跳转到标号2，即继续重复执行nop
"jmp 1b"
//如果lock->slock大于0，跳转到标号1，重新判断锁的slock成员
"3:t"
: "+m" (lock->slock) : : "memory");
}
在多处理器环境中 LOCK_PREFIX 实际被定义为 “lock”前缀。x86 处理器使用“lock”前缀的方式提供了在指令执行期间对总线加锁的手段。芯片上有一条引线 LOCK，如果在一条汇编指令(ADD, ADC, AND, BTC, BTR, BTS, CMPXCHG, CMPXCH8B, DEC, INC, NEG, NOT, OR, SBB, SUB, XOR, XADD, XCHG)前加上“lock” 前缀，经过汇编后的机器代码就使得处理器执行该指令时把引线 LOCK 的电位拉低，从而把总线锁住，这样其它处理器或使用DMA的外设暂时无法通过同一总线访问内存。
jns 汇编指令检查 EFLAGS 寄存器的 SF(符号)位，如果为 0，说明 slock 原来的值为 1，则线程获得锁，然后跳到标签 3 的位置结束本次函数调用。如果 SF 位为 1，说明 slock 原来的值为 0 或负数，锁已被占用。那么线程转到标签 2 处不断测试 slock 与 0 的大小关系，假如 slock 小于或等于 0，跳转到标签 2 的位置继续忙等待；假如 slock 大于 0，说明锁已被释放，则跳转到标签 1 的位置重新申请锁。
二、spin_unlock(lock)的实现
/***include/linux/spinlock.h***/
#if defined(CONFIG_DEBUG_SPINLOCK) || defined(CONFIG_PREEMPT) ||
!defined(CONFIG_SMP)
# define spin_unlock(lock) _spin_unlock(lock)
……
#else
# define spin_unlock(lock)
do {__raw_spin_unlock((lock)->raw_lock); __release(lock); } while (0)
1、 如果是单处理器
/****include/linux/spinlock_api_up.h****/
#define _spin_unlock(lock) __UNLOCK(lock)
#define __UNLOCK(lock)
do { preempt_enable(); __release(lock); (void)(lock); } while (0)
完成前文的获取锁的逆过程
2、如果配置了SMP
# define spin_unlock(lock)
do {__raw_spin_unlock((lock)->raw_lock); __release(lock); } while (0)
3、__raw_spin_unlock在ARM处理器上的实现
/******include/asm-arm/spinlock.h***/
static inline void __raw_spin_unlock(raw_spinlock_t *lock)
{
smp_mb();
__asm__ __volatile__(
" str %1, [%0]" // 向lock->lock里写0，解锁
#ifdef CONFIG_CPU_32v6K
" mcr p15, 0, %1, c7, c10, 4" /* DSB */
" sev"
#endif
:
: "r" (lock->lock), "r" (0) //%0取lock->lock放在任意寄存器，%1：任意寄存器放入0
: "cc");
}
__raw_spin_unlock只是简单的给lock->lock里写0。
4、__raw_spin_unlock在X86处理器上的实现
/***include/asm-i386/spinlock.h***/
static inline void __raw_spin_unlock(raw_spinlock_t *lock)
{
asm volatile("movb $1,%0" : "+m" (lock->slock) :: "memory");
}
__raw_spin_unlock 函数仅仅执行一条汇编指令：将lock-> slock 置为 1。
linux操作系统文章专题:linux操作系统详解（linux不再难懂）
评论