关于非本地跳转

csapp p_795

如下所述的问题经过讨论并未被解决……

以下示例中未以ARM为例，因为我查到的ARM的ABI规范中，寄存器均由callee保存，或者callee与caller均不保存,因此很容易可以解决下列问题。以下以i386为例.


关于非本地跳转存在的疑问（以setjmp、longjmp为例）
函数调用之间需遵循ABI规范
    有些寄存器是由caller保存（以备被callee使用而修改原来的值),当从callee返回后恢复这些寄存器;
    有些寄存器是由callee保存（以备被callee使用而修改原来的值),当即将从callee返回时恢复这些寄存器;
    某些寄存器可以随便使用，即不需要caller保存恢复，也不需要callee保存恢复。

问题：
    A函数调用setjmp函数而后返回到A函数继续执行，由于一些临时变量的存在因此A函数的栈空间中会继续填入新值，而后A函数调用了B函数，B函数调用了longjmp函数，此时会恢复在调用setjmp时保存的context，再次从setjmp返回，继而在A函数中继续执行。
    A函数在调用setjmp是会将caller save registers保存在自己的栈空间，而后传入实参到栈上（以x86为例，ARM通过寄存器传递），当从setjmp函数返回后A函数将从栈上恢复caller save registers，继续执行；无论是第一次从setjmp返回，还是由于在B函数调用了longjmp函数进而从setjmp返回，A函数都应从栈上恢复caller save registers.
    图示如下：
    A函数调用setjmp之前的栈：
    |-------------|
    |   %ecx    |
    |-------------|
    |   %edx    |
    |-------------|

    A函数传实参（由于是数组，演变成指针）
    |-------------|
    |   %ecx     |
    |-------------|
    |   %edx    |
    |-------------|
    | jmp_buf地址 |
    |-------------|
    | 下条指令地址| --------->弹出caller save registers
    |-------------|

    首次从setjmp返回后，A函数继续运行相应的指令，恢复caller save registers；
    由于已经恢复caller save registers已经恢复，因此原保存%ecx、%edx的栈空间可以被其它临时量继续占用，因此该部分栈空间内容已经不再是%ecx、%edx;
    第二次从setjmp返回后，A函数仍然会运行同样的指令，恢复所谓的"caller save registers"，但是此时恢复出的值显然是不对的。

    这个问题讨论有些久了，可是没有得到很好的解答，对于mips而言应该也会遇到的同样的问题，ABI规范上已经说明有些寄存器须由caller保存与恢复。
    写了几个程序（x86与mips)均未出现图示中的类似情形，是不是自己哪里理解错了？！！