本文详细探讨了Linux系统中自旋锁在不同环境下的实现，包括单核不可抢占、单核可抢占和多核可抢占内核。在抢占式内核中，自旋锁主要起到禁止内核抢占的作用。文章通过分析死锁场景，解释了自旋锁的重要性，强调了自旋锁保护的临界区代码不能进入休眠、不能被中断和不能被抢占的特性。最后指出，自旋锁在单核非抢占式CPU上是无效的，并提出了自旋锁防止死锁的策略。
一、自旋锁的实现
linux上的自旋锁有三种实现：
1. 在单cpu，不可抢占内核中，自旋锁为空操作。
2. 在单cpu，可抢占内核中，自旋锁实现为“禁止内核抢占”，并不实现“自旋”。
3. 在多cpu，可抢占内核中，自旋锁实现为“禁止内核抢占” + “自旋”。
关于抢占式内核与非抢占式内核：
a、非抢占式内核
如果一个进程在内核态运行，其只有在以下两种情况会被切换：
1.其运行完成（返回用户空间）
2.主动让出cpu（即主动调用schedule或内核中的任务阻塞——这同样也会导致调用schedule）
b、抢占式内核
如果一个进程在内核态运行，其只有在以下四种情况会被切换：
1.其运行完成（返回用户空间）
2.主动让出cpu（即主动调用schedule或内核中的任务阻塞——这同样也会导致调用schedule）
3.当从中断处理程序正在执行，且返回内核空间之前（此时可抢占标志premptcount须为0） 。
4.当内核代码再一次具有可抢占性的时候，如解锁及使能软中断等。
禁止内核抢占只是关闭“可抢占标志”，而不是禁止进程切换。显式使用schedule或进程阻塞（此也会导致调用schedule）时，还是会发生进程调度的。
二、死锁
最低0.47元/天 解锁文章
扫一扫
324
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
