关于函数execute_on_irq_stack的一段汇编代码

yang511yang

在Linux-2.6.31的函数execute_on_irq_stack中有下面的汇编代码：
        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");

我们知道，寄存器%eax、%edx、%ecx由调用者负责保存，其中在Clobber/Modify域中的"ecx"将
寄存器ecx保护起来了，那么我想前面代码中的
"=a" (arg1), "=d" (arg2)
就是想让GCC将%eax、%edx保护起来吧，如果是这样，为什么可以做到呢？如果不是这样，%eax、%edx不需要保护起来吗？
另外问一下，"=a" (arg1),是表示将arg1写往eax还是将eax写往arg1

真诚的期望大侠的指点，不胜感激！

humjb_1983

个人理解："=a" (arg1), "=d" (arg2)
作为输出参数，意思只是arg1使用eax寄存器、arg2使用edx，并作为输出，通常eax中会存放返回值，所以，arg1中最终可能会保存返回值~
不知道你说的“保护”具体是啥意思？

yang511yang

我所说的保护就是这段内联汇编代码的执行不会影响到调用该段汇编代码之前的寄存器取值。

这段汇编如果写成下面会有什么不同？
        asm volatile("xchgl        %%ebx,%%esp        \n"
                     "call        *%%edi                \n"
                     "movl        %%ebx,%%esp        \n"
                     :
                     :  "a" (irq),   "d" (desc),  "b" (isp),
                        "D" (desc->handle_irq)
                     : "memory", "cc", "ecx");


好像类似的技巧在宏switch_to也有使用：
#define switch_to(prev, next, last)                                        \
do {                                                                        \
        /*                                                                \
         * Context-switching clobbers all registers, so we clobber        \
         * them explicitly, via unused output variables.                \
         * (EAX and EBP is not listed because EBP is saved/restored        \
         * explicitly for wchan access and EAX is the return value of        \
         * __switch_to())                                                \
         */                                                                \
        unsigned long ebx, ecx, edx, esi, edi;                                \
                                                                        \
        asm volatile("pushfl\n\t"                /* save    flags */        \
                     "pushl %%ebp\n\t"                /* save    EBP   */        \
                     "movl %%esp,%[prev_sp]\n\t"        /* save    ESP   */ \
                     "movl %[next_sp],%%esp\n\t"        /* restore ESP   */ \
                     "movl $1f,%[prev_ip]\n\t"        /* save    EIP   */        \
                     "pushl %[next_ip]\n\t"        /* restore EIP   */        \
                     __switch_canary                                        \
                     "jmp __switch_to\n"        /* regparm call  */        \
                     "1:\t"                                                \
                     "popl %%ebp\n\t"                /* restore EBP   */        \
                     "popfl\n"                        /* restore flags */        \
                                                                        \
                     /* output parameters */                                \
                     : [prev_sp] "=m" (prev->thread.sp),                \
                       [prev_ip] "=m" (prev->thread.ip),                \
                       "=a" (last),                                        \
                                                                        \
                       /* clobbered output registers: */                \
                       "=b" (ebx), "=c" (ecx), "=d" (edx),                \
                       "=S" (esi), "=D" (edi)                                \
                                                                               \
                       __switch_canary_oparam                                \
                                                                        \
                       /* input parameters: */                                \
                     : [next_sp]  "m" (next->thread.sp),                \
                       [next_ip]  "m" (next->thread.ip),                \
                                                                               \
                       /* regparm parameters for __switch_to(): */        \
                       [prev]     "a" (prev),                                \
                       [next]     "d" (next)                                \
                                                                        \
                       __switch_canary_iparam                                \
                                                                        \
                     : /* reloaded segment registers */                        \
                        "memory");                                        \
} while (0)


请问这种保护作用是如何起到的？或者说这种技巧的原理？

humjb_1983

从字面意思看，这里应该是想将这些寄存器的值保存到局部变量中，应该有“保护”的意思~~