swtich_to宏分析 ------ 内联汇编翻译成标准汇编

内敛汇编版本的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   */ /
       "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),  /
       /*m表示把变量放入内存，即把[prev_sp]存储的变量放入内存，最后再写入prev->thread.sp*//
         [prev_ip] "=m" (prev->thread.ip),  /
         "=a" (last),                                           /
         /*=表示输出,a表示把变量last放入ax,eax = last*/         /
         /
         /* clobbered output registers: */  /
         "=b" (ebx), "=c" (ecx), "=d" (edx),  /
         /*b 变量放入ebx,c表示放入ecx，d放入edx,S放入si,D放入edi*//
         "=S" (esi), "=D" (edi)    /
                /
         /* input parameters: */    /
       : [next_sp]  "m" (next->thread.sp),  /
       /*next->thread.sp 放入内存中的[next_sp]*//
         [next_ip]  "m" (next->thread.ip),  /
                /
         /* regparm parameters for __switch_to(): */ /
         [prev]     "a" (prev),    /
         /*eax = prev  edx = next*//
         [next]     "d" (next)    /
         /
       : /* reloaded segment registers */   /
   "memory");     /
} while (0)

 

 

标准汇编版本的switch_to:

1 把prev和next分别保存在寄存器中，即寄存器传参

movl prev,%eax

movl next,%edx

 

2 把eflags和ebp保存在当前的堆栈中

pushfl

pushl %ebp

 

3 把esp的内容保存到prev->thread.esp中，以使该字段指向prev内核栈的栈顶

movl %esp,484(%eax)

注：484(%eax) ，表示内存但愿的地址=(%eax) + 484

 

4 把next->thread.sp装入esp,内核开始在next的指令空间中操作，这条指令完成了进程之间的切换。

可以会想thread_info数据结构，内核栈和进程描述符组成的8K的数据结构

movl 484(%edx),%esp

 

5 把标记为1f的地址存入prev->thread.eip,即被替换出的进程在下次被schedule()选择执行时，从这条指令开始执行

movl $1f,480(%eax)

 

6 把next->thread.eip(绝大多数情况是一个被标记为1的地址)的值压入next的内核栈

pushl 480(%edx)

 

7 跳到__swtich_to() c语言函数开始执行

jmp __swtich_to

 

8 这里被进程next替换的进程prev再次获得CPU：它执行一些保存eflags和ebp的寄存器内容指令，这两条指令的第一条指令被标记为1(这是《深入理解unix》书上说的)。感觉从__swtich_to返回时ip已经指向了next的第一条指令，因为在执行ret指令的时候，把sp处保存的next->ip弹出赋给了next的eip,所以书上说prev再次获得cpu应该是不对的。

1：

    pop %ebp

    popfl

 

从标号1:开始已经进入了next的指令空间，可以这么理解1:就是next进程的第一条指令，执行

 

 

    pop %ebp

    popfl

后完成了最后的切换，即栈和状态字的恢复，恢复成next的堆栈基址和状态字。

 

个人理解：linux里面的每个进程(新创建的进程除外)的第一条指令应该都是

1：

    pop %ebp

    popfl

每个进程一开始全是执行这两条指令，之后才各自干自己的事去。