switch_to源码疑问

blake326

看来只有呼叫塑料袋dn了。

wangdawei_80

pushfl                                 将eflags保存在待换出进程的内核栈上
pushl %%ebp                      将ebp寄存器的值保存在待换出进程的内核栈上
movl %%esp,%[prev_sp]      将当前堆栈指针值保存在current->thread.esp中
movl %[next_sp],%%esp      将待换入进程的thread.esp值加载到当前esp寄存器中完成内核栈的切换）
movl $1f,%[prev_ip]             将1标号的地址保存到current->thread.eip中，下次切换回来的时候从这里开始执行
pushl %[next_ip]                  将待换入进程的thread.eip值压入换入进程的内核栈中
jmp __switch_to                   调用__switch_to实现剩余的进程切换工作
从上条指令返回后从内核栈上弹出待换入进程的thread.eip值给eip寄存器。此时开始执行换入进程。
                  

1:                                      换出进程再次换入执行时的执行指令位置
popl %%ebp                     从进程栈中弹出ebp值
popfl                                从进程栈中弹出eflags

notyet

我的理解：巧妙利用编译器特性实现按需保存。
在编译时，如果在分析switch_to前面的代码时，gcc已经将%ebx、%ecx、%edx、%esi、%edi这几个寄存器分配给其他的变量，由于此处要向寄存器写入值（变量ebx、ecx、edx、esi、edi的值写入对应寄存器），故gcc将被迫在asm块前部产生push、后部产生pop操作。又由于变量ebx、ecx、edx、esi、edi本身的值是不确定的，故相应的mov操作也被优化掉了。
这样的结果是，只有必要保存的寄存器值被保存，不相关的寄存器（没有被分配给变量的）值没有被保存。
也就是说，switch_to放在不同的上下文中会产生不同的代码，当然也可能恰好所有的寄存器都不需要保存，即不产生保存操作。

blake326

回复 13# notyet


   好像有点道理啊。

pdlenovo

notyet 发表于 2012-08-24 14:27
我的理解：巧妙利用编译器特性实现按需保存。
在编译时，如果在分析switch_to前面的代码时，gcc已经将%ebx ...

你说的完全正确