高级OS(十五) - 中断机制以及中断上下部运行和内核代码分析
一.题目
根据书上的例子,以及视频55和5.6,编写带有中断上下部的中断模块。
针对中断的引入,响应,处理机制,模型,中断的上下部分,以及时钟中断,提出至少6个问题,把本章内容穿起来,并用相关代码的分析来佐证(也就是对这些问题的回答不落于概念),让你对中断有鲜活的认识,并能应用起来。
二.解答
1.浅析linux中断top/bottom
MCU里中断服务程序的设计最好是快速完成任务并退出,因为此刻系统处于被中断中。但是在 ISR 中又有一些必须完成的事情,比如:清中断标志,读/写数据,寄存器操作等。在 Linux 中,同样也是这个要求,希望尽快的完成 ISR。但事与愿违,有些 ISR 中任务繁重,会消耗很多时间,导致响应速度变差。Linux 中针对这种情况,将中断分为了两部分:
- 上半部(top half):收到一个中断,立即执行,有严格的时间限制,只做一些必要的工作,比如:应答,复位等。这些工作都是在所有中断被禁止的情况下完成的。
- 底半部(bottom half):能够被推迟到后面完成的任务会在底半部进行。在适合的时机,下半部会被开中断执行。
2.中断处理程序
//驱动程序可以使用接口:
request_irq(unsigned int irq, irq_handler_t handler, unsigned long flags,
const char *name, void *dev)
像系统申请注册一个中断处理程序。
其中的参数:
参数 | 含义 |
---|---|
irq | 表示该中断的中断号,一般 CPU 的中断号都会事先定义好。 |
handler | 中断发生后的ISR |
flags | 中断标志(IRQF_DISABLED / IRQFSAMPLE_RANDOM / IRQF_TIMER / IRQF_SHARED) |
name | 中断相关的设备 ASCII 文本,例如 “keyboard”,这些名字会在 /proc/irq 和 /proc/interrupts 文件使用 |
dev | 中断相关的设备 ASCII 文本,例如 “keyboard”,这些名字会在 /proc/irq 和 /proc/interrupts 文件使用 |
中断标志flag含义:
参数 | 含义 |
---|---|
IRQF_DISABLED | 设置这个标志的话,意味着内核在处理这个 ISR 期间,要禁止其他中断(多数情况不使用这个) |
IRQFSAMPLE_RANDOM | 表明这个设备产生的中断对内核熵池有贡献 |
IRQF_TIMER | 为系统定时器准备的标志 |
IRQF_SHARED | 表明多个中断处理程序之间共享中断线。同一个给定的线上注册每个处理程序,必须设置这个 |
调用 request _irq 成功执行返回 0。常见错误是 -EBUSY,表示给定的中断线已经在使用(或者没有指定 IRQF_SHARED)
注意:request_irq 函数可能引起睡眠,所以不允许在中断上下文或者不允许睡眠的代码中调用。
//释放中断:
const void *free_irq(unsigned int irq, void *dev_id)
用于释放中断处理函数
3.为什么中断上下文不能睡眠?
1、 中断处理的时候,不应该发生进程切换,因为在中断context中,唯一能打断当前中断handler的只有更高优先级的中断,它不会被进程打断,如果在 中断context中休眠,则没有办法唤醒它,因为所有的wake_up_xxx都是针对某个进程而言的,而在中断context中,没有进程的概念,没 有一个task_struct(这点对于softirq和tasklet一样),因此真的休眠了,比如调用了会导致block的例程,内核几乎肯定会死。
2、schedule()在切换进程时,保存当前的进程上下文(CPU寄存器的值、进程的状态以及堆栈中的内容),以便以后恢复此进程运行。中断发生后,内核会先保存当前被中断的进程上下文(在调用中断处理程序后恢复);
但在中断处理程序里,CPU寄存器的值肯定已经变化了吧(最重要的程序计数器PC、堆栈SP等),如果此时因为睡眠或阻塞操作调用了schedule(),则保存的进程上下文就不是当前的进程context了.所以不可以在中断处理程序中调用schedule()。
3、内核中schedule()函数本身在进来的时候判断是否处于中断上下文:
if(unlikely(in_interrupt()))
BUG();
因此,强行调用schedule()的结果就是内核BUG。
4、中断handler会使用被中断的进程内核堆栈,但不会对它有任何影响,因为handler使用完后会完全清除它使用的那部分堆栈,恢复被中断前的原貌。
5、处于中断context时候,内核是不可抢占的。因此,如果休眠,则内核一定挂起。