如何处理堆栈溢出？

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)，除非我在 C 级错误处理程序中清除一些空间，就在它将 PS 处理程序推送（调度）到 execstack 之前。

...
    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

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