一、自旋锁的实现
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)时,还是会发生进程调度的。
二、死锁
1、第一种死锁情况
死锁发生在多核的情况,下面来分析一下:
首先,对于多核抢占与多核非抢占的情况,在使用自旋锁时,其情况基本是一致的。因为在多核抢占的情况下,使用自旋锁会禁止内核抢占,这样多核抢占就相当于多核非抢占的情况。

本文详细探讨了Linux系统中自旋锁在不同环境下的实现,包括单核不可抢占、单核可抢占和多核可抢占内核。在抢占式内核中,自旋锁主要起到禁止内核抢占的作用。文章通过分析死锁场景,解释了自旋锁的重要性,强调了自旋锁保护的临界区代码不能进入休眠、不能被中断和不能被抢占的特性。最后指出,自旋锁在单核非抢占式CPU上是无效的,并提出了自旋锁防止死锁的策略。
最低0.47元/天 解锁文章
437

被折叠的 条评论
为什么被折叠?



