欢迎进入Linux社区论坛，与200万技术人员互动交流 >>进入
上面代码没看懂?木有关系，看下面的具体分析，你就会豁然开朗了O(∩_∩)O~
switch_to从A进程切换到B进程的步骤：
step1：复制两个变量到寄存器：
[prev] “a” (prev)[next] “d” (next)即：
eax <== prev_A 或 eax <==%p(%ebp_A)
edx <== next_A 或 edx <==%n(%ebp_A)
这里prev和next都是A进程的局部变量。
step2：保存进程A的ebp和eflags
pushflpushl %ebp注意，因为现在esp还在A的堆栈中，所以这两个东西被保存到A进程的内核堆栈中。
step3：保存当前esp到A进程内核描述符中：
“movl %%esp，%[prev_sp]\n\t” /* save ESP */它可以表示成： prev_A->thread.sp <== esp_A
在调用switch_to时，prev是指向A进程自己的进程描述符的。
step4：从next(进程B)的描述符中取出之前从B切换出去时保存的esp_B。
“movl %[next_sp]，%%esp\n\t” /* restore ESP */它可以表示成：esp_B <== next_A->thread.sp
注意，在A进程中的next是指向B的进程描述符的。
从这个时候开始，CPU当前执行的进程已经是B进程了，因为esp已经指向B的内核堆栈。但是，现在的ebp仍然指向A进程的内核堆栈，所以所有局部变量仍然是A中的局部变量，比如next实质上是%n(%ebp_A)，也就是next_A，即指向B的进程描述符。
step5：把标号为1的指令地址保存到A进程描述符的ip域：
“movl $1f，%[prev_ip]\n\t” /* save EIP */
它可以表示成：prev_A->thread.ip <== %1f，当A进程下次被switch_to回来时，会从这条指令开始执行。具体方法看后面被切换回来的B的下一条指令。
step6：将返回地址保存到堆栈，然后调用__switch_to()函数，__switch_to()函数完成硬件上下文切换。
“pushl %[next_ip]\n\t” /* restore EIP */”jmp __switch_to\n” /* regparm call */这里，如果之前B也被switch_to出去过，那么[next_ip]里存的就是下面这个1f的标号，但如果进程B刚刚被创建，之前没有被switch_to出去过，那么[next_ip]里存的将是ret_ftom_fork(参看copy_thread()函数)。这就是这里为什么不用call __switch_to而用jmp，因为call会导致自动把下面这句话的地址(也就是1：)压栈，然后__switch_to()就必然只能ret到这里，而无法根据需要ret到ret_from_fork。
另外请注意，这里__switch_to()返回时，将返回值prev_A又写入了%eax，这就使得在switch_to宏里面eax寄存器始终保存的是prev_A的内容，或者，更准确的说，是指向A进程描述符的“指针”。这是有用的，下面step8中将会看到。
step7：从__switch_to()返回后继续从1：标号后面开始执行，修改ebp到B的内核堆栈，恢复B的eflags：
“popl %%ebp\n\t” /* restore EBP */”popfl\n” /* restore flags */如果从__switch_to()返回后从这里继续运行，那么说明在此之前B肯定被switch_to调出过，因此此前肯定备份了ebp_B和flags_B，这里执行恢复操作。
注意，这时候ebp已经指向了B的内核堆栈，所以上面的prev，next等局部变量已经不是A进程堆栈中的了，而是B进程堆栈中的(B上次被切换出去之前也有这两个变量，所以代表着B堆栈中prev、next的值了)，因为prev == %p(%ebp_B)，而在B上次被切换出去之前，该位置保存的是B进程的描述符地址。如果这个时候就结束switch_to的话，在后面的代码中(即 context_switch()函数中switch_to之后的代码)的prev变量是指向B进程的，因此，进程B就不知道是从哪个进程切换回来。而从context_switch()中switch_to之后的代码中，我们看到finish_task_switch(this_rq()， prev)中需要知道之前是从哪个进程切换过来的，因此，我们必须想办法保存A进程的描述符到B的堆栈中，这就是last的作用。
step8：将eax写入last，以在B的堆栈中保存正确的prev信息。
“=a” (last) 即 last_B <== %eax而从context_switch()中看到的调用switch_to的方法是：
switch_to(prev， next， prev);
所以，这里面的last实质上就是prev，因此在switch_to宏执行完之后，prev_B就是正确的A的进程描述符了。
这里，last的作用相当于把进程A堆栈中的A进程描述符地址复制到了进程B的堆栈中。
至此，switch_to已经执行完成，A停止运行，而开始了B。在以后，可能在某一次调度中，进程A得到调度，就会出现switch_to(C， A)这样的调用，这时，A再次得到调度，得到调度后，A进程从context_switch()中switch_to后面的代码开始执行，这时候，它看到的prev_A将指向C的进程描述符。
[1][2]
我诚恳地希望能够获得你的原谅。只是你懂得的，对于有一些委屈，
