如何处理堆栈溢出？

Question

我正在尝试修复 postscript 解释器中的错误处理，但我很难想出当其中一个堆栈已满时处理程序执行的方法。

我正在使用的 postscript 级处理程序过程是 Frank Merritt Braswell 中描述的“标准”过程，Inside Postscript。

/.error {
    //$error exch /errorname exch put
    //$error exch /command exch put
    //$error /newerror true put
    //$error /errorname get /VMerror ne {
        //$error /ostackarray get null eq {
            //$error /estackarray 250 array put
            //$error /ostackarray 6000 array put
            //$error /dstackarray 30 array put
        } if
        count
        //$error /ostackarray get exch 0 exch getinterval astore
        //$error exch /ostack exch put
        //$error /dstack //$error /dstackarray get dictstack put
        //$error /estack //$error /estackarray get execstack
        dup length 2 sub 0 exch getinterval put
        //$error /ostack get aload pop
    } if
    //$error /initializing get {
        handleerror
    } if
    interrupt
} def

因此它需要操作数堆栈上的空间（用于 $error 字典和名称等内容） ）和执行堆栈（对于过程体，如果执行的话）。那么如果任一堆栈溢出，这个空间应该来自哪里？

我尝试首先解决 execstackoverflow，因为使用 execstack 的运算符少于使用操作数堆栈的运算符。我定义了一个“缓冲区”大小

#define ERRDEPTH 5 /*space reserved on execstack for error handling*/

，所有“exec”运算符函数都将其添加到空间检查中。例如。这是exec 运算符。

void Aexec(state *st, object x) { (void)st;
    if ((tes-es)+1+ERRDEPTH >= ESSIZE) error(st,execstackoverflow);
    pushe(x);
}

然后解释器循环检查更小的大小（因此在尝试运行处理程序时不会触发更多错误）。

bool eval (state *st) {
    ...
    /* room to work? */
    if ((tes-es) + 2 /*+ ERRDEPTH*/ > ESSIZE) error(st,execstackoverflow);
    ...

但它不起作用（SEGFAULT），除非我在将 PS 处理程序推送（计划）到 execstack 之前清除 C 级错误处理程序中的一些空间。

...
    if (e == execstackoverflow) { /* make some room! */
        (void)pope(); (void)pope(); (void)pope(); (void)pope(); (void)pope();
        (void)pope(); (void)pope(); (void)pope(); (void)pope(); (void)pope();
    }
...

但现在我已经把孩子和洗澡水一起倒掉了！堆栈顶部的那些条目可能只是修复错误的关键信息，而我刚刚将它们扔进了深渊。

谁能建议一个更好的方法来解决这个问题？

Answer 1

如果不太了解您的代码，我想创建一个可以自行扩展的错误堆栈将是解决方案。