retf,call 指令运行的详细情况
retf,call 指令运行的详细情况
call指令的运行情况:(代码段只能从低到高如:ring3到ring0(这时特权级转换了,在不同级之间跳转,这是一致代码段情况)) //call也可以实现同级跳转,这是非一致代码段情况。
1、根据目标代码段的DPL,从Tss中选择应该切换至哪个ss和esp //上例中目标代码段为ring0级的LABEL_SEG_CODE_DEST:
2、从Tss中读取新的ss和esp,在这过程中如果发现ss,esp或者Tss界限错误都会导致Tss异常(#TS)
3、对ss描述符进行校验,如果发生错误,同样产生#TS异常
4、暂时性地保存当前ss和esp的值 //系统自动完成把ring3级得ss和esp暂时保存起来
5、加载新的ss和esp //加载Tss中ring0级ss和esp 到ss,esp寄存器。其实现在已经切换到ring0级得堆栈了。ring3级堆栈已经废弃了。
6、将刚刚保存起来的ss和esp的值压入新栈 //把保存起来的ring3级得ss和esp压入到ring0级的堆栈中。
7、将调用者堆栈中的参数复制到被调用者堆栈(新堆栈)中,复制参数的数目有调用门中的ParamCount一项来决定。如ParamCount为0,将不会复制参数。
8、将当前的cs和eip压栈 //把ring3级得cs和eip压到ring0级的堆栈中。
9、加载调用门中指定的新的cs和eip,开始执行被调用者过程。 //把调用门中的新的cs和eip加载到cs和eip寄存器。
ref指令运行情况:(retf 所在代码段是被调用者,上例中ring0所在的代码段是被调用者)
1、检查保存的cs中的RPL 以判断返回时是否要变换特权级 //检查刚刚压到ring0堆栈中保存的cs选择子的RPL,以判断返回时是否要变换特权级。这个选择子是 SelectorCodeRing3
2、加载被调用者堆栈上的cs和eip(此时会进行代码段描述符和选择子类型和特权级检查)//加载刚刚压到ring0堆栈中的cs和eip,加载时进行各种检查,加载后cs和eip已经指向ring3程序段
3、如果ret指令含有参数,则增加esp的值以跳过参数,然后esp将指向被保存过的调用者的ss和esp,注意,ret参数必须对用调用门中的Param Count的值
4、加载ss和esp,切换到调用者堆栈,被调用者的ss和esp被丢弃。 //此时,ss和esp已经指向ring3级的SelectorStack3这个堆栈。
5、如果ret指令含有参数,增加esp的值以跳过参数(此时已经在调用者堆栈中,也就是在ring3堆栈中了)
6、检查ds、es、fs、gs的值,如果其中哪一个寄存器指向的段的DPL小于CPL(上例cpl已经为ring3),那么一个空描述符被加载到该寄存器。(此规则不适用于一致代码段(特权级转换))
posted on 2011-04-24 13:05 wanghj_dz 阅读(1895) 评论(0) 编辑 收藏 举报