中断处理程序为什么不能阻塞休眠？？？以前真没认真思考过！

kouu

晕倒…… 既然你知道，25楼的结论怎么来的？

你都知道栈有两层，顶上一层是用户态的信息，第二层是内核态被中断时的信息。 难道中断上下文block以后这个信息就变了？

fox144215

我服了你了，考虑这种情况：如果系统调用返回了，中断还在阻塞呢？

kouu

呵呵, 我更服了你了.
中断怎么阻塞? 中断上下文没有task_struct, 不能被调度, 怎么被阻塞?
很显然, 中断上下文的阻塞将导致被中断的current进程被阻塞. 既然, current阻塞了, 又怎么从系统调用中返回?

fox144215

中断上下文没有task_struct，没有内核栈如何保存和恢复现场呢，另外，current不可以被其他模块唤醒？

fox144215

算了，这个话题不讨论了，你认为是就是吧

lucasman

由于异常为同步事件，由当前进程执行所引发，所以可以说，异常处于被打断进程的上下文之中，为当前被打断的进程服务，所以在异常处理过程中，可以调用任何内核态的函数，也可以睡眠。因为睡眠时（应为是）有意义的，同时也是合理的；而中断为异步事件，虽然使用当前被打断进程的内核栈、处于被打断进程的上下文之中，但是和当前被中断进程没有必然的关系，同时中断处理程序和外部的一个具体设备相对应，这就要求中断处理程序能快速的完成，以便能及时地响应设备的下一次中断请求，所以在中断处理过程中是不可以睡眠的，也就是说终端（应为中断）处理程序不能睡眠的根本原因在于中断处理程序必须运行的尽可能的快，以不丢失设备的中断请求。从另外的一个角度进行考虑，假设中断处理程序由于调用了一个可以睡眠的内核态函数，进而睡眠了，那么被该中断处理程序打断的用户进程必定也随之睡眠，当导致睡眠的原因消失后，那么唤醒被中断处理程序所打断的的用户进程即可运行睡眠的中断处理程序。但是有两点需要考虑：1：睡眠过程一定会丢失外设的中断请求。2：此时的中断处理并不是为用户进程服务的，但是会将中断处理程序所使用的系统资源记账到用户进程中去，这是不合理的；对比异常处理过程，因为异常处理是为用户进程服务的，所以将异常处理过程所使用的系统资源记账到用户进程是合理的。

经过上面的分析和讨论，我们可以给出结果：异常处理过程可以睡眠；中断处理过程不可以睡眠。


摘自   http://www.china-pub.com/301691

[ 本帖最后由 lucasman 于 2009-11-26 19:25 编辑 ]

folklore

原帖由 snail_314 于 2009-11-24 22:35 发表
我的想法是，一个进程能失去处理器控制，只有两种情况，一种是“被”剥夺，就是在用户态时，tick到了，按照等时调度策略，这个进程需要让出处理器资源了。第二种就是该进程“主动”让出处理器资源。而假如在中断 ...

中断时Sleep会发生严重的同步问题，想一想：

中断发生--》进入中断--》Sleep--》执行其它程序--》调度回来继续中断处理过程--》结束
                                                              ^
                                                              ｜
                                                              ｜
                                          此下再次发生相同的中断，重复以上过程此中断将会Access相同的内核数据。这可以引起内核Panic

当然，你说的好个也是原因之一，也就是公平问题

Helloyingyun

An irq is not a context but merely a temporary execution to
    be concluded asap.    是机制问题而不是策略问题。

folklore

原帖由 kouu 于 2009-11-25 22:11 发表
呵呵, 我更服了你了.
中断怎么阻塞? 中断上下文没有task_struct, 不能被调度, 怎么被阻塞?
很显然, 中断上下文的阻塞将导致被中断的current进程被阻塞. 既然, current阻塞了, 又怎么从系统调用中返回?

是可以被“Block”的，如果你一定要这样设计的话。中断上下文可以保存在当前进程的TSS中。

不过，此时中断将可能被无限搁置。因为人家可能挂起这个进程，更糟糕的是，有人要强行结束这个进程。
如果中断可以Block，必须要考虑这些问题。不过，X86的机器可以让中断在一个系统上下文中执行（有中断门和中断段Descriptor的支援，当然，出于通用目的，OS设计者很可能不使用这个特性)还有一个问题就是我上贴所说的原因。总之，将中断设计可以被Block（但可以被抢先）会有很多问题。系统会变得很没有效率。
反正在没有更好的系统模型以前。记住Int是不能Block的就行了。