linux进程切换过程堆栈的变化.ppt

* step1:复制两个变量到寄存器： [prev] a (prev) [next] d (next) 即: eax == prev_A 或 eax ==%p(%ebp_A) edx == next_A 或 edx ==%n(%ebp_A) 0 4 8 12 -4 Address 0x124 0x120 0x11c 0x118 0x114 0x110 0x10c 0x108 0x104 0x100 %eax %edx %ecx %ebx %esi %edi %esp %ebp 进程A的内核栈空间 prev_A 内存空间 寄存器组 next_ip %ebp %esp %ebp A_ebp next_A prev_A next_A next_A prev_A %flags A_flag step2:保存进程A的ebp和eflags pushfl pushl %ebp %ebp 0 4 8 12 -4 进程A的内核栈空间 0x124 0x120 0x11c 0x118 0x114 0x110 0x10c 0x108 0x104 0x100 %eax %edx %ecx %ebx %esi %edi %esp %ebp prev_A next_A A_ebp %esp 内存空间 寄存器组 next_ip %ebp A_ebp A_flag A_ebp %flags A_flag %flags A_flag A_flag step3:保存当前esp到A进程内核描述符中： movl %%esp,%[prev_sp]\n\t /* save ESP */ 它可以表示成： prev_A-thread.sp == esp_A 在调用switch_to时，prev是指向A进程自己的进程描述符的。 ebp %ebp 0 4 8 12 eflags -4 进程A的内核栈空间 0x124 0x120 0x11c 0x118 0x114 0x110 0x10c 0x108 0x104 0x100 %eax %edx %ecx %ebx %esi %edi %esp %ebp prev_A next_A A_ebp %esp Esp_A 内存空间 寄存器组 next_ip %flags A_flag %eax %edx %ecx %ebx %esi %edi %esp %ebp prev_A next_A A_ebp Esp_A 内存空间 寄存器组 next_ip ebp %ebp 0 4 8 12 eflags -4 …… 进程A的内核栈空间 0x208 0x204 0x200 0x114 0x110 0x10c 0x108 0x104 0x100 %esp 0x20c 进程B的内核栈空间 step4:从next（进程B）的描述符中取出之前从B切换出去时保存的esp_B。 movl %[next_sp],%%esp\n\t /* restore ESP */ 它可以表示成：esp_B == next_A-thread.sp %flags A_flag step5:把标号为1的指令地址保存到A进程描述符的ip域： movl $1f,%[prev_ip]\n\t /* save EIP */ 它可以表示成：prev_A-thread.ip == %1f ebp %ebp 0 4 8 12 eflags -4 …… 进程A的内核栈空间 0x208 0x204 0x200 0x114 0x110 0x10c 0x108 0x104 0x100 %esp 0x20c 进程B的内核栈空间 %eax %edx %ecx %ebx %esi %edi %esp %ebp prev_A next_A A_ebp Esp_A 内存空间 寄存器组 Prev_A_ip next_ip $1f %flags A_flag step6:将返回地址保存到堆栈，然后调用__switch_to()函数，__switch_to()函数完成硬件上下文切换。 pushl %[next_ip]\n\t /* restore EIP */ 根据esp的位置，压到了B的堆栈里面 jmp __switch_to\n /* regparm call */ ebp %ebp 0 4 8 12 eflags -4 …… 进程A的内核栈空间 0