在Spidermonkey JS引擎中异步调用回调函数

Question

使用Spidermonkey v27:

什么是"保留"然后从C++异步调用临时JS函数的正确方法？

JS代码:

myFunction(function(){
    console.log("The function works");
});

C++代码:

bool js_myFunction(JSContext* cx, uint32_t argc, jsval* vp)
{
    if (argc == 1)
    {
        implement_async_function(cx, vp);
        JS_SET_RVAL(cx, vp, JSVAL_NULL);
        return true;
    }
    return false;
}

static JSContext* savedContext;
static jsval* savedVal;
void implement_async_function(JSContext* cx, jsval* vp)
{
    // if the function is called immediately, everything is okay!
    jsval retVal;
    JS_CallFunctionValue(cx, nullptr, *vp, 0, nullptr, &retVal);
    // "The function works"

    // if some work has to be done before calling the callback...
    savedContext = cx;
    savedVal = vp;
    start_async_process();
}

void async_process_complete()
{
    jsval retVal;
    JS_CallFunctionValue(savedContext, nullptr, *savedVal, 0, nullptr, &retVal);
    // "<no filename="filename">:0:true is not a function"
    // or else it crashes...
}

void alternate_implement_async_function(JSContext* cx, jsval* vp)
{
    // also tried this:
    savedContext = cx;
    savedVal = vp;
    JS_AddValueRoot(savedContext, savedVal);
    start_async_process();

    // and this:
    savedContext = cx;
    savedVal = new jsval(*vp);
    JS_AddValueRoot(savedContext, savedVal);
    start_async_process();

    // and using JS::RootedValue

    // and using JS::Heap<JS::Value>

    // and using the global context instead of the saved context
}

我已经阅读了SpiderMonkey的文档:

https://developer.mozilla.org/en-US/docs/Mozilla/Projects/SpiderMonkey/JSAPI_Reference/JS::Value

https://developer.mozilla.org/en-US/docs/SpiderMonkey/GC_Rooting_Guide

https://developer.mozilla.org/en-US/docs/Mozilla/Projects/SpiderMonkey/JSAPI_reference/JS_AddRoot

https://developer.mozilla.org/en-US/docs/SpiderMonkey/JSAPI_Reference/JS_CallFunctionValue

并检查了这个StackOverflow后Spidermonkey和垃圾收集

并尝试甚至使JS回调函数成为一个永远不会被垃圾收集的全局函数.(这不是我想要的.)

Answer 1

您没有提到尝试异步调用该函数时程序的行为，但我认为尝试调用该函数时会出现段错误，因为 GC 可能已移动它。您需要一种存储函数对象的方法（它不是代码中的值）。JS::Rooted在这种情况下是不可接受的，因为堆栈生根期望 gc 事物以 LIFO 顺序扎根。因此，您需要将其存储在JS::Heap<JSObject*>句柄中。句柄JS::Heap期望存在于堆上而不是堆栈上（可能在列表或树结构中）。关于句柄的警告JS::Heap是它们需要由 GC 跟踪，以便可以重新定位底层对象并更新句柄。这个问题讨论了追踪。

假设您的对象现在已正确存储并被跟踪，您应该能够随时调用它而不会出现任何问题。