好文转载：Linux内核中的中断栈与内核栈的补充说明

amio555

在学习Linux内核中断栈的时候发现的资料，备份转载如下：
Dolphin 发表于 2012-2-13 19:52:39
static inline int
execute_on_irq_stack(int overflow, struct irq_desc *desc, int irq)
{
        union irq_ctx *curctx, *irqctx;
        u32 *isp, arg1, arg2;

        curctx = (union irq_ctx *) current_thread_info();
        irqctx = __this_cpu_read(hardirq_ctx);

        /*
         * this is where we switch to the IRQ stack. However, if we are
         * already using the IRQ stack (because we interrupted a hardirq
         * handler) we can't do that and just have to keep using the
         * current stack (which is the irq stack already after all)
         */
        if (unlikely(curctx == irqctx))
                return 0;

        /* build the stack frame on the IRQ stack */
        isp = (u32 *) ((char *)irqctx + sizeof(*irqctx));
        irqctx->tinfo.task = curctx->tinfo.task;
        irqctx->tinfo.previous_esp = current_stack_pointer;

        /*
         * Copy the softirq bits in preempt_count so that the
         * softirq checks work in the hardirq context.
         */
        irqctx->tinfo.preempt_count =
                (irqctx->tinfo.preempt_count & ~SOFTIRQ_MASK) |
                (curctx->tinfo.preempt_count & SOFTIRQ_MASK);

        if (unlikely(overflow))
                call_on_stack(print_stack_overflow, isp);

        asm volatile("xchgl        %%ebx,%%esp        \n"
                     "call        *%%edi                \n"
                     "movl        %%ebx,%%esp        \n"
                     : "=a" (arg1), "=d" (arg2), "=b" (isp)
                     :  "0" (irq),   "1" (desc),  "2" (isp),
                        "D" (desc->handle_irq)
                     : "memory", "cc", "ecx");
        return 1;
}

关于在中断处理函数中涉及到的阻塞问题，我个人的观点是：现实中绝对不要这么干，其中的原因就不多说了。从内核理论实现的角度，调度其他进程是可行的。