schedule()为何最终都能回到所切换进程的执行流？

nwcfafniw

RT。。比如从A切换到B，为什么schedule()最终都能回到进程B的执行流。
让我奇怪的是，整个schedule函数都没看到保存上一个进程的EIP的操作。
恳请各位回答！

folklore

没看代码，但
JMP TSS会保存现在程序的所有寄存器到TSS段，包括EIP，

smalloc

各自arch里面不同的switch_to函数实现。

smalloc

EIP似乎不需要管，每个进程做切换必然是在此进程的内核态调用同一调度函数，即运行相同的程序段，那么这个进程被“切换”出去的指令瞬间，和切换回来的指令瞬间必然是相接的，事实上也不存在强制的分界，而可以把调度函数相同代码的任意位置做为分界。
你所问的EIP保存实际隐含在调用调度函数的环境建立前完成，比如用户空间调用调度函数或被定时器抢占进入内核态调用调度函数，都已经完成了自身任务的EIP保存。而在内核太被强占调度也一样。内核态自调用调度函数则无须保存，因为切换回来时，代码是平滑的从调度函数退出回到内核路径执行。
遇见请指正。

nwcfafniw

smalloc 发表于 2013-12-09 00:37
EIP似乎不需要管，每个进程做切换必然是在此进程的内核态调用同一调度函数，即运行相同的程序段，那么这个进 ...

我懂了，谢谢你！因为内核栈中保存了返回信息，因此从schedule()返回后总是能回到新切换进来的进程调用schedule()时的位置，最后再从内核态回到用户态。

smalloc

有一纰漏。
如果一定要有个进程与进程的分界线，那么stack的切换是就是进程切换的标志。
__switch_to中换了esp,那么这个指令前后的指令访问的是2个不同的stack，而schedule()函数换栈前后在后面的指令不应该依赖前面的栈空间（因为调度前后2代码的执行路径不同），但可改写。
i386中栈切换包含2个寄存器，esp和ebp, ebp的切换主要是保证schedule()返回后按新进程的schedule()入口返回。这里对EIP的操作似乎不产生影响

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

复制代码

nwcfafniw

smalloc 发表于 2013-12-09 14:27
有一纰漏。
如果一定要有个进程与进程的分界线，那么stack的切换是就是进程切换的标志。
__switch_to中换 ...

恩好的，受教了！