来自程序集(x86)和进程切换的 C 回调函数

Question

此代码适用于我的本科操作系统类(class)。我试图在 new_sp 的同一个堆栈上调用一个函数，然后返回到 new_sp 正在做的任何事情。它不起作用，我什至不确定如何调试它。建议或解决方案会很棒。我试图通过，如果我遗漏了什么，请告诉我。

注意:它是我们用于该类的特殊操作系统 (xinu) 的一部分。
该函数是从 c 代码中调用的。
我使用的引用文献:http://www.unixwiz.net/techtips/win32-callconv-asm.html

这部分代码用于在进程被切换之前将进程保存到堆栈中。 new_sp 指向的堆栈也以这种方式保存。

    .text
    .globl  callsw

    /*---------------------------------------------------------------------
    * callsw -  call is callsw(&old_sp, &new_sp, &call_back)
    *---------------------------------------------------------------------*/
callsw:
    /*keep all of the old contex switch instructions so it will work with
      with cxtsw*/
    pushl   %ebp          /* push ebp onto stack          */
    movl    %esp,%ebp       /* record current SP in ebp     */
    pushfl                  /* record flags                 */
    pushal                  /* save general regs on stack   */

    /* save old segment registers here, if multiple allowed */

    movl    8(%ebp),%eax    /* Get mem location in which to */
    /*  save the old process's SP   */
    movl    %esp,(%eax)     /* save old process's SP        */
    movl    12(%ebp),%eax   /* Get location from which to   */

下面开始切换到回调函数的代码。我希望回调函数运行，然后返回执行与 new_sp 堆栈相关的代码。

    /* Switch to a new stach instead */

    movl    (%eax),%esp     /* pick up new process's SP     */

    /* restore new seg. registers here, if multiple allowed */

    popal                   /* restore general registers    */
    movl    (%ebp),%eax     /*keep old ebp for acess to arg 3*/
    movl    4(%esp),%ebp    /* pick up ebp before restoring */
    /*   interrupts                 */
    popfl                   /* restore interrupt mask       */
    add     $4,%esp         /* skip saved value of ebp      */
/* Switch to a new call back instead */

    movl    (%eax),%esp     /* pick up new process's SP     */

    /* restore new seg. registers here, if multiple allowed */

    popal                   /* restore general registers    */
    movl    (%ebp),%eax     /*keep old ebp for acess to arg 3*/
    movl    4(%esp),%ebp    /* pick up ebp before restoring */
    /*   interrupts                 */
    popfl                   /* restore interrupt mask       */
    add     $4,%esp         /* skip saved value of ebp      */

这是我尝试设置堆栈并跳转到新进程的地方。我正在调用的函数是一个没有参数和返回值的 c 函数。

    pop     %ebx /* save the ra*/

    movl    %esp,%ebp /* move the base pointer to the bottom of the stack */
    add     -18,%ebp /* move stack down*/
    /*set up stack and jump */
    movl    %ebp,%esp /* nothing on stack they are = */
    movl    %ebx, 0(%ebp) /* save ebp to stack */
    movl    %ebx, 4(%ebp) /* save ra */
    movl    16(%eax),%ecx
    JMP (%ecx)     /* jump to call_back        */

Answer 1

我认为你的问题在这里:

popal                   /* restore general registers    */
movl    (%ebp),%eax     /*keep old ebp for acess to arg 3*/

popal从保存在您要切换到的堆栈上的寄存器中恢复所有寄存器(包括 ebp)。所以 movl (%ebp),%eax从新堆栈中加载一个值(实际上是 %ebp 的值，属于 callsw 的调用者。所以当你以后做

movl    (%eax),%esp     /* pick up new process's SP     */

你没有得到新进程的SP——你从堆栈的两级(callsw的调用者的调用者)得到了帧指针。