在语言解释器中防止StackOverflow

我不熟悉F#,但我确实在C#中编写了一个ECMAScript-262 v.5解释器,所以我可以解决你的一些问题.如您所知,自v2.0起,无法在.NET应用程序中捕获StackOverFlowException.虽然有一个相当可靠的解决方法,但速度很快.

如果在堆栈上声明变量,例如int,则该变量的地址代表堆栈的顶部,并让您知道剩余多少空间.因此,如果在堆栈基本为空时在启动时记录该变量,则每次输入新的执行上下文时都可以引用该变量.

以下是我的口译员解决此问题的一些例外情况.

C#:

这些是在主Interpreter类中声明的静态变量.

private static int TopOfStack;
private const int STACK_SIZE = 1000000;

这是主Interpreter类的静态构造函数.

static Interpreter() {
    InitializeGlobalEnvironment();

    //---------------------------------------------------
    // Get the address of a new variable allocated on the stack 
    // to represent the amount of memory available. Record 
    // the address.
    //---------------------------------------------------
    int stackVariable;
    TopOfStack = (int)&stackVariable;
}

在解释ECMAScript函数之前调用此代码.如果新堆栈分配变量的地址小于short.Max,则抛出可捕获的异常.您需要为调用堆栈留出一些空间来放松.

internal static ExecutionContext EnterFunctionContext(IValue thisArg, LIST args, FUNCTION function) {
...
    LexicalEnvironment localEnv = ECMA.NewDeclarativeEnvironment(function.Scope);

    ExecutionContext context = new ExecutionContext() {
        Strict = function.IsStrict,
        VariableEnvironment = localEnv,
        LexicalEnvironment = localEnv
    };

    int remainingStackSpace;

    if (STACK_SIZE - (TopOfStack - (int)&remainingStackSpace) < short.MaxValue) 
            throw new ECMARuntimeException("stack overflow", RuntimeErrorType.RangeError);


    CallStack.Push(context);
    LexicalEnvironment env = CurrentContext.VariableEnvironment;
...
}

解释以下代码时,将在迭代1200周围抛出异常.

更新:在发布版本中,它大约是4100次迭代.

ECMAScript中:

RecursiveCall(0);

function RecursiveCall(counter){
    return RecursiveCall(++counter);
}

输出: RangeError: stack overflow

您可以使用Thread(ParameterizedThreadStart, Int32)构造函数增加Thread中的堆栈大小.我只是觉得不需要.

祝你的项目好运.我希望这有帮助.