switch_to宏为什么要三个参数
2012-11-19 23:05
796 查看
原文链接: http://blog.csdn.net/ruixj/article/details/4950211
先看看switch_to的代码,它是一个宏
#define switch_to(prev,next,last) do { \
unsigned long esi,edi; \
asm volatile("pushfl\n\t" \
"pushl %%ebp\n\t" \
"movl %%esp,%0\n\t" /* save ESP */ \
"movl %5,%%esp\n\t" /* restore ESP */ \
"movl $1f,%1\n\t" /* save EIP */ \
"pushl %6\n\t" /* restore EIP */ \
"jmp __switch_to\n" \
"1:\t" \
"popl %%ebp\n\t" \
"popfl" \
:"=m" (prev->thread.esp),"=m" (prev->thread.eip), \
"=a" (last),"=S" (esi),"=D" (edi) \
:"m" (next->thread.esp),"m" (next->thread.eip), \
"2" (prev), "d" (next)); \
} while (0)
现 在假设只有两个参数, 考虑有三个进程ABC,如果只有两个参数的话,从进程A->进程B, 后来要从另一个进程通常不会是B,现假定为C再切回到A,在A获得处理器开始运行,
这时候它的prev指向A, next指向B,这样我们失去了进程C的信息了,而实际上在schedule函数调用了switch_to后面还调用_schedul_tail来收尾, 这时需要用到切换回A之前进程C的信息,可惜已经丢掉了, 进程A的prev是指向它自己
那我们再来分析为什么用三个参数就没丢进程C的信息呢.这里的关键点在于通过ebx寄存器保存了进程C的task_struct的地址.
首 先看这个宏的输入部,"b"(prev)这会在进程c切换到进程A之前prev的值(指向c的task_struct的指针)送到ebx寄存器,在 movl "%3, %%esp"后就恢复了进程a的堆栈,但这时的ebp还没变,所以这时候的prev仍然是进程c中的变量,得等到popl $$ebp之后prev才成为进程A中的变量
好了,我们再看输出部 ="b"(last)是把ebx寄存器的值赋值给last变量
而现在的last变量是进程A中的了,因为调用的时候是switch(prev,next,prev)所以它就是prev。这样通过ebx寄存器来保存进程C task_struct的信息从而传给进程A中的prev变量,整个过程就圆满了
先看看switch_to的代码,它是一个宏
#define switch_to(prev,next,last) do { \
unsigned long esi,edi; \
asm volatile("pushfl\n\t" \
"pushl %%ebp\n\t" \
"movl %%esp,%0\n\t" /* save ESP */ \
"movl %5,%%esp\n\t" /* restore ESP */ \
"movl $1f,%1\n\t" /* save EIP */ \
"pushl %6\n\t" /* restore EIP */ \
"jmp __switch_to\n" \
"1:\t" \
"popl %%ebp\n\t" \
"popfl" \
:"=m" (prev->thread.esp),"=m" (prev->thread.eip), \
"=a" (last),"=S" (esi),"=D" (edi) \
:"m" (next->thread.esp),"m" (next->thread.eip), \
"2" (prev), "d" (next)); \
} while (0)
现 在假设只有两个参数, 考虑有三个进程ABC,如果只有两个参数的话,从进程A->进程B, 后来要从另一个进程通常不会是B,现假定为C再切回到A,在A获得处理器开始运行,
这时候它的prev指向A, next指向B,这样我们失去了进程C的信息了,而实际上在schedule函数调用了switch_to后面还调用_schedul_tail来收尾, 这时需要用到切换回A之前进程C的信息,可惜已经丢掉了, 进程A的prev是指向它自己
那我们再来分析为什么用三个参数就没丢进程C的信息呢.这里的关键点在于通过ebx寄存器保存了进程C的task_struct的地址.
首 先看这个宏的输入部,"b"(prev)这会在进程c切换到进程A之前prev的值(指向c的task_struct的指针)送到ebx寄存器,在 movl "%3, %%esp"后就恢复了进程a的堆栈,但这时的ebp还没变,所以这时候的prev仍然是进程c中的变量,得等到popl $$ebp之后prev才成为进程A中的变量
好了,我们再看输出部 ="b"(last)是把ebx寄存器的值赋值给last变量
而现在的last变量是进程A中的了,因为调用的时候是switch(prev,next,prev)所以它就是prev。这样通过ebx寄存器来保存进程C task_struct的信息从而传给进程A中的prev变量,整个过程就圆满了
相关文章推荐
- switch_to宏为什么要三个参数
- switch_to宏第3个参数分析
- 进程切换switch_to宏第三个参数分析
- 三个例子,搞懂java中的main参数String[] args
- Android解惑 - 为什么要用Fragment.setArguments(Bundle bundle)来传递参数
- 为什么匿名内部类参数必须为final类型
- 拷贝构造函数的参数(本类类型的参数)为什么只能是引用类型
- 29-java中Switch参数可以是什么?
- 关于LayoutInflater类inflate(intresource, ViewGroup root, boolean attachToRoot)方法三个参数的含义
- Python - 在定义函数时,为什么默认参数不能放在必选参数前面?
- C语言中的可变参数函数 三个点“…”
- 关于802.11帧格式中为什么会有三个(或四个)地址?
- 为什么前端URL传参数给Action得不到值为null
- C语言可变参数及stdarg.h中的三个宏定义
- java函数参数后面加三个点——可变长度参数列表
- hadoop三个配置文件的参数含义说明(转)
- 练习 3-6 修改itoa函数,使得该函数可以接收三个参数。其中,第三个参数为最小字段宽度。为了保证转换后所得的结果至少具有第三个参数指定的最小宽度,在必要时应在所得结果的左边填充一定的空格。
- java参数后面 跟 三个点 含义 详解
- public View getView(int position, View convertView, final ViewGroup parent)三个参数的意思
- 为什么select使用时第一个参数要加1