关于switch_to()这个函数的疑惑

embeddedlwp

回复 9# asuka2001


    您帖的是汇编版的,

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

复制代码

请教从这个嵌入式汇编中哪里看出的

1. movl prev, %eax                // prev保存在eax,即(%eax)代表prev->
   
2. movl next, %edx                // next保存在edx,即(%edx)代表next->

复制代码

请指点！

asuka2001

回复 11# embeddedlwp
这是ULK3的读书笔记，你可以查看ULK3 的P112，毕竟其实我对汇编不太熟悉，ULK3当中有对switch_to的分析！我只是在它的分析基础上加了我自己的思考结果！

asuka2001

回复 10# ruslin

非常感谢分享，谢谢！

embeddedlwp

回复 12# asuka2001


    呵呵，确实是ULK3上这么写，所以大家都这么说，不过之前看论坛了别人也问过。大家谁会的说一下，这两句是怎么看出来的！

embeddedlwp

回复 10# ruslin


    但是还是那个问题阿，比如:
    M——>A
    A——>B  此时A堆栈上%eax为A,%edx为B
    .......
    C——>A  当切换回来的时候，从1:开始执行，此时用的是A的内核堆栈，%eax还是A，那么怎么保存切换前那个C呢？

asuka2001

假设现在是从A跳转到C，在jmp _ _switch_to之前，CPU运行的应该算是A，之后就是代表C恢复运行。

在最后条指令 movl %eax,last中，这里的last就已经是C的局部变量last_C了，而非A的局部变量last。

而eax中保存的是A的局部变量prev，所以就把A的prev保存到了C的局部变量last中！

embeddedlwp

回复 16# asuka2001


    请教 %eax是共用的吗，还是存在%eax_A，%eax_C

asuka2001

回复 17# embeddedlwp

你先考虑清楚，栈和进程有关么，CPU的寄存器和进程有关么？

embeddedlwp

回复 18# asuka2001


    每个进程不是都有属于自己的8KB内核栈吗？

asuka2001

回复 19# embeddedlwp

栈是和进程有关的，但是CPU的寄存器和进程无关!!!