自旋锁引发的疑问

madope

书上讲自旋锁保护的临界区不能包含可能引起阻塞的代码，是因为阻塞会引起进程切换，切换出去后，另外进程企图获取自旋锁时，就会发生阻塞

问题是在执行自旋锁保护的代码时 不是不能发生抢占吗？为什么会发生进程切换呢

osant

阻塞是主动让出
抢占是被动的抢走
不同的情况

zhoulongunix

回复 2# osant


    是的

madope

阻塞是主动让出
抢占是被动的抢走
不同的情况
osant 发表于 2011-10-23 17:10

可是《linux内核设计与实现》提到内核调用schedule()也属于内核抢占呢 应该怎么理解呢

osant

能否提供原文。
schedule（）只是一个切换进程的函数。

251316192

进程上下文自旋锁里不能有阻塞是因为阻塞是用等待队列实现的，挂队列，移出就绪队列，设置进程状态，执行调度函数让出cpu，此时新task，有可能执行同样的锁，就杯具了。
非进程上下文，不能执行睡眠有关的函数，因为不属于任何task。
补充下：
     内核抢占是中断，高优先级抢占。这里和抢占没关系，是自己切出cpu的。和内核抢占机制搭不上。

madope

进程上下文自旋锁里不能有阻塞是因为阻塞是用等待队列实现的，挂队列，移出就绪队列，设置进程状态，执行调度函数让出cpu，此时新task，有可能执行同样的锁，就杯具了。
251316192 发表于 2011-10-30 02:25

新的task，有可能执行同样的锁，就杯具了。这句话怎么理解呢
此时新的task，得不到锁时，大不了就自旋在那里，等待持有锁的进程唤醒后，不就可以结束自旋 得到锁了吗

251316192

持有锁就禁止抢占了，一直在自旋，忙等待，什么都不能做，而锁的释放要原来的进程来释放，但内核抢占禁止，内核就down了。

madope

持有锁就禁止抢占了，一直在自旋，忙等待，什么都不能做，而锁的释放要原来的进程来释放，但内核抢占禁止， ...
251316192 发表于 2011-10-30 15:13

哦！ 也就是说 锁在自旋的时候也是不可抢占的喽？

251316192

回复 9# madope
是这样的，除非你自己放弃，就像你在获得锁的时候调用睡眠函数一样。