switch_to宏为什么要三个参数

原文链接: http://blog.csdn.net/ruixj/article/details/4950211

先看看switch_to的代码，它是一个宏

#define switch_to(prev,next,last) do {                                  \
        unsigned long esi,edi;                                          \
        asm volatile("pushfl\n\t"                                       \
                     "pushl %%ebp\n\t"                                  \
                     "movl %%esp,%0\n\t"        /* save ESP */          \
                     "movl %5,%%esp\n\t"        /* restore ESP */       \
                     "movl $1f,%1\n\t"          /* save EIP */          \
                     "pushl %6\n\t"             /* restore EIP */       \
                     "jmp __switch_to\n"                                \
                     "1:\t"                                             \
                     "popl %%ebp\n\t"                                   \
                     "popfl"                                            \
                     :"=m" (prev->thread.esp),"=m" (prev->thread.eip),  \
                      "=a" (last),"=S" (esi),"=D" (edi)                 \
                     :"m" (next->thread.esp),"m" (next->thread.eip),    \
                      "2" (prev), "d" (next));                          \
} while (0)

现 在假设只有两个参数, 考虑有三个进程ABC，如果只有两个参数的话，从进程A->进程B, 后来要从另一个进程通常不会是B，现假定为C再切回到A，在A获得处理器开始运行, 这时候它的prev指向A, next指向B，这样我们失去了进程C的信息了，而实际上在schedule函数调用了switch_to后面还调用_schedul_tail来收尾， 这时需要用到切换回A之前进程C的信息，可惜已经丢掉了, 进程A的prev是指向它自己

那我们再来分析为什么用三个参数就没丢进程C的信息呢.这里的关键点在于通过ebx寄存器保存了进程C的task_struct的地址.
首 先看这个宏的输入部，"b"(prev)这会在进程c切换到进程A之前prev的值（指向c的task_struct的指针)送到ebx寄存器，在 movl "%3, %%esp"后就恢复了进程a的堆栈，但这时的ebp还没变，所以这时候的prev仍然是进程c中的变量，得等到popl $$ebp之后prev才成为进程A中的变量
好了，我们再看输出部 ="b"(last)是把ebx寄存器的值赋值给last变量
而现在的last变量是进程A中的了，因为调用的时候是switch(prev,next,prev)所以它就是prev。这样通过ebx寄存器来保存进程C task_struct的信息从而传给进程A中的prev变量,整个过程就圆满了