linux内核之spinlock

在这里插入图片描述

数据结构

typedef struct spinlock {
	union {
		struct raw_spinlock rlock;

#ifdef CONFIG_DEBUG_LOCK_ALLOC
# define LOCK_PADSIZE (offsetof(struct raw_spinlock, dep_map))
		struct {
			u8 __padding[LOCK_PADSIZE];
			struct lockdep_map dep_map;
		};
#endif
	};
} spinlock_t;

raw_spinlock

typedef struct raw_spinlock {
	arch_spinlock_t raw_lock;
#ifdef CONFIG_GENERIC_LOCKBREAK
	unsigned int break_lock;
#endif
#ifdef CONFIG_DEBUG_SPINLOCK
	unsigned int magic, owner_cpu;
	void *owner;
#endif
#ifdef CONFIG_DEBUG_LOCK_ALLOC
	struct lockdep_map dep_map;
#endif
} raw_spinlock_t;

arch_spinlock_t

typedef struct {
	union {
		u32 slock;
		struct __raw_tickets {
#ifdef __ARMEB__
			u16 next;
			u16 owner;
#else
			u16 owner;
			u16 next;
#endif
		} tickets;
	};
} arch_spinlock_t;

在linux2.6.25之前spinlock数据结构就是一个简单的无符号类型变量,slock为1表示锁未被持有,为0或负数为表示锁被持有,linux2.6.25后,spinlock实现了名为FIFO ticket-based算法的spinlock机制,这里称为排队自旋锁

这里写图片描述

static inline void __raw_spin_lock(raw_spinlock_t *lock)
{
	preempt_disable();
	spin_acquire(&lock->dep_map, 0, 0, _RET_IP_);
	LOCK_CONTENDED(lock, do_raw_spin_trylock, do_raw_spin_lock);
}

static inline void do_raw_spin_lock(raw_spinlock_t *lock) __acquires(lock)
{
	__acquire(lock);
	arch_spin_lock(&lock->raw_lock);
}

进程调用的是__raw_spin_lock,最终调用的是具体机器架构相关代码
arch_spin_lock,其中首先禁用内核抢占,这个spinlock实现的关键点之一,
反设成立:临界区内允许抢占,持有的锁睡眠
1.若允许抢占,则相当于持有锁的进程睡眠,违背了此类锁不能休眠和快速执行的设计目标
2.抢占调试进程也可能去申请锁,会造成死锁
因此在临界区必须禁用抢占

这里写图片描述

这里写图片描述
以ARM32为例

static inline void arch_spin_lock(arch_spinlock_t *lock)
{
	unsigned long tmp;
	u32 newval;
	arch_spinlock_t lockval;

	prefetchw(&lock->slock);
	__asm__ __volatile__(
"1:	ldrex	%0, [%3]\n"
"	add	%1, %0, %4\n"
"	strex	%2, %1, [%3]\n"
"	teq	%2, #0\n"
"	bne	1b"
	: "=&r" (lockval), "=&r" (newval), "=&r" (tmp)
	: "r" (&lock->slock), "I" (1 << TICKET_SHIFT)
	: "cc");

	while (lockval.tickets.next != lockval.tickets.owner) {
		wfe();
		lockval.tickets.owner = ACCESS_ONCE(lock->tickets.owner);
	}

	smp_mb();
}

刚开始lockval及lock中的tickets.next与tickets.owner里面的值都为0,执行
ldrex %0, [%3]后,lockval为的owner next为0,执行
" add %1, %0, %4\n"
" strex %2, %1, [%3]\n"
后,lock->slock的next加1,lockval.tickets.next==lockval.tickets.owner == 0;
若再有其他进程第二次申请这个资源时,lockval.tickets.next (1)不等于 lockval.tickets.owner(0)则在while循环里打转,进入执行wfe();睡眠,申请锁不成功
当第一次进程解锁时,lock->tickets.owner+1后也等于1,唤醒第二个进程所在CPU后,进行因此执行lockval.tickets.owner = ACCESS_ONCE(lock->tickets.owner);此时lockval.tickets.owner(1),再循环时,lockval.tickets.next (1)等于lockval.tickets.owner(1)退出循环,因此第二次申请锁及所在资源时成功

static inline void arch_spin_unlock(arch_spinlock_t *lock)
{
	smp_mb();
	lock->tickets.owner++;
	dsb_sev();
}

这里写图片描述
这里写图片描述

这里写图片描述

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值