最近本人在实现TILE CPU架构上的中断子系统,抽出一点时间来仔细研究了下Linux上的中断设计。对内核有所了解的人都知道,在Linux中断ISR中不能睡眠,但是为什么不能睡眠呢?
其中一个比较流行的答案就是:中断没有进程上下文,如果睡眠之后,进程调度子系统没法来唤醒它。仔细想想,这个答案其实不然。在X86的实现上,中断发生时会借用当前被中断进程的Kernel stack,所以实际上中断是借宿在这个进程上,这个时候中断睡眠是完全可以(当然不合理)的。中断上下文会保存在这个进程的stack上,等到这个进程被唤醒时,会从中断ISR中继续执行。所以,这不是此问题的根本原因。
这么看来,中断睡眠是可以的,不是被禁止的。但是,我们为什么不提倡在中断中睡眠呢?有两个方面的原因:
第一,如果中断睡眠,对中断嵌套不利。我们知道,Linux上不同的中断是可以相互打断,相互嵌套的。如果中断A执行时,中断B发生了,系统会执行中断B的ISR,这时如果中断B去睡眠等待某个资源,那中断A就不知道何时才能继续执行了,因为中断B的睡眠等待时间不可预知。这样设计系统不符合中断的初衷。再进一步试想,如果中断A正好是时钟中断呢。
第二,如果中断睡眠,对被中断的进程不公。发生中断时,中断借用当前被中断的进程的Stack,但是此中断和此线程是毫无关系的。如果此时中断去睡眠,那么此被中断的进程不得不等待中断被继续调度执行。这样,此进程需要等待与他毫无关系的资源不确定的时间,这样设计系统不合理。
再者,如果中断睡眠等待一段不确定时间之后,调度继续执行,这时候再去与硬件设备打交道,恐怕硬件状态早已改变。