【linux kernel 入门及渐进 2 -- linux 内核同步机制之spinlock】

1.1 spinlock 种类

1.1.1 spin_lock

很多时候我们并不能采用其他的锁,比如读写锁、互斥锁、信号量等。一方面这些锁会发生上下文切换,他的时间是不可预期的,对于一些简单的、极短的临界区完全是一种性能损耗;另一方面在中断上下文是不允许睡眠的,除了自旋锁以外的其他任何形式的锁都有可能导致睡眠或者进程切换,这是违背了中断的设计初衷,会发生不可预知的错误。基于两点,我们需要自旋锁,他是不可替代的。

1.1.2 spin_lock_irq

如果被保护的共享资源在软中断(包括 tasklet 和 timer)或进程上下文和硬中断上下文访问,那么在软中断或进程上下文访问期间,可能被硬中断打断,从而进入硬中断上下文对共享资源进行访问,因此,在进程或软中断上下文需要使用spin_lock_irqspin_unlock_irq 来保护对共享资源的访问。

当然,由于需要关闭中断,会导致系统的响应降低,而且还会执行更多的代码,可能会导致性能下降。

1.1.3 spin_lock_irqsave

当进 程在执行第一个 spin_lock_irq(&lock1) 时已经关闭了中断,然后继续获取第二个自旋锁 spin_lock_irq(&lock2)当 lock2 解锁后且 lock1 未解锁前这一段区域处于一种硬件中断开启的状态,这段代码仍然处于 lock1 的临界区,如果此时硬件中断也需要申请 lock1 锁会导致死锁,这是因为 spin_unlock_irq 在解锁时一定会将本地 CPU 的中断打开,从而导致硬件中断可以重新强制抢占 CPU,所以最好的方式就是 lock2 在锁之前保存当前的中断状态,在解锁时恢复当前的中断状态,这也就是 spin_lock_irqsave 需要存在的原因。自然地,这是一种更为线程安全的方案,但是他会带来比前面几种更加多的性能损耗。

在使用 spin_lock_irqspin_unlock_irq 的情况下,完全可以用 spin_lock_irqsavespin_unlock_irqrestore 取代,那具体应该使用哪一个也需要依情况而定,如果可以确信在对共享资源访问前中断是使能的,那么使用 spin_lock_irq 更好一些, 因为它比spin_lock_irqsave 要快一些,但是如果你不能确定是否中断使能,那么使用spin_lock_irqsavespin_unlock_irqrestore 更好,因为它将恢复访问共享资源前的中断标志而不是直接使能中断。

当然,有些情况下需要在访问共享资源时必须中断失效,而访问完后必须中断使能,这样的情形使用 spin_lock_irqspin_unlock_irq 最好。

1.1.4 spin_lock_bh

spin_lock_bh() 主要用于保护其他进程上下文访问软中断函数共享的变量, 因为spin_lock() 无法禁止软中断执行。

共享资源只在进程上下文访问和软中断上下文访问,那么当在进程上下文访问共享资源时,可能被软中断打断,从而可能进入软中断上下文来对被保护的共享资源访问,因此对于这种情况,对共享资源的访问必须使用 spin_lock_bhspin_unlock_bh 来保护。

当然使用 spin_lock_irqspin_unlock_irq 以及 spin_lock_irqsavespin_unlock_irqrestore 也可以,它们失效了本地硬中断,失效硬中断隐式地也失效了软中断。但是使用 spin_lock_bhspin_unlock_bh 是最恰当的,它比其他两个快。

如果被保护的共享资源只在进程上下文和 tasklet 或 timer 上下文访问,那么应该使用与上面情况相同的获得和释放锁的宏,因为 tasklet 和 timer 是用软中断实现的。

1.1.5 单 tasklet 和 timer场景

如果被保护的共享资源只在一个 tasklettimer 上下文访问,那么不需要任何自旋锁保护,因为同一个 tasklet 或 timer 只能在一个 CPU 上运行,即使是在 SMP环境下也是如此。实际上 tasklet 在调用 tasklet_schedule 标记其需要被调度时已经把该 tasklet 绑定到当前 CPU,因此同一 个 tasklet 决不可能同时在其他 CPU上运行。

timer 也是在其被使用 add_timer 添加到 timer 队列中时已经被帮定到当前CPU,所以同一个 timer 绝不可能运行在其他 CPU 上。当然同一个 tasklet 有两个实例同时运行在同一个CPU就更不可能了。

1.1.6 多 tasklet 和 timer 场景

如果被保护的共享资源只在两个或多个 tasklet 或 timer 上下文访问,那么对共享资源的访问仅需要用 spin_lockspin_unlock 来保护,不必使用 _bh 版本,因为当 tasklet 或 timer 运行时,不可能有其他 tasklet 或 timer 在当前CPU上运行。

不同的软中断能够同时在不同的CPU上运行。

1.1.7 单软中断场景

如果被保护的共享资源只在一个软中断(tasklet 和 timer 除外)上下文访问,那么这个共享资源需要用 spin_lockspin_unlock 来保护,因为同样的软中断可以同时在不同的 CPU 上运行。

1.1.8 lock 小结

spin_lock 为了阻止在 不同CPU 上的执行单元对共享资源的同时访问以及不同进程上下文互相抢占导致的对共享资源的非同步访问,

spin_lock_irqspin_lock_bh 是为了阻止在 同一CPU 上软中断或中断对共享资源的非同步访问。

推荐阅读
https://zhuanlan.zhihu.com/p/371721341
https://blog.csdn.net/dai_xiangjun/article/details/122297475

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

主公CodingCos

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值