mirror of
https://github.com/nodejs/node.git
synced 2025-04-29 14:25:18 +00:00

When creating an fast api the callback might use the receiver. In that case if the internal binding is destructured the method won't have access to the reciver and it will throw. Passing the receiver as second argument ensures the receiver is available. PR-URL: https://github.com/nodejs/node/pull/54408 Reviewed-By: Stephen Belanger <admin@stephenbelanger.com> Reviewed-By: Joyee Cheung <joyeec9h3@gmail.com> Reviewed-By: Yagiz Nizipli <yagiz@nizipli.com> Reviewed-By: Santiago Gimeno <santiago.gimeno@gmail.com>
215 lines
7.7 KiB
Markdown
215 lines
7.7 KiB
Markdown
# Adding V8 Fast API
|
|
|
|
Node.js uses [V8](https://v8.dev/) as its JavaScript engine.
|
|
Embedding functions implemented in C++ incur a high overhead, so V8
|
|
provides an API to implement native functions which may be invoked directly
|
|
from JIT-ed code. These functions also come with additional constraints,
|
|
for example, they may not trigger garbage collection.
|
|
|
|
## Limitations
|
|
|
|
* Fast API functions may not trigger garbage collection. This means by proxy
|
|
that JavaScript execution and heap allocation are also forbidden, including
|
|
`v8::Array::Get()` or `v8::Number::New()`.
|
|
* Throwing errors is not available from within a fast API call, but can be done
|
|
through the fallback to the slow API.
|
|
* Not all parameter and return types are supported in fast API calls.
|
|
For a full list, please look into
|
|
[`v8-fast-api-calls.h`](../../deps/v8/include/v8-fast-api-calls.h).
|
|
|
|
## Requirements
|
|
|
|
* Any function passed to `CFunction::Make`, including fast API function
|
|
declarations, should have their signature registered in
|
|
[`node_external_reference.h`](../../src/node_external_reference.h) file.
|
|
Although, it would not start failing or crashing until the function ends up
|
|
in a snapshot (either the built-in or a user-land one). Please refer to the
|
|
[binding functions documentation](../../src/README.md#binding-functions) for more
|
|
information.
|
|
* To test fast APIs, make sure to run the tests in a loop with a decent
|
|
iterations count to trigger relevant optimizations that prefer the fast API
|
|
over the slow one.
|
|
* In debug mode (`--debug` or `--debug-node` flags), the fast API calls can be
|
|
tracked using the `TRACK_V8_FAST_API_CALL("key")` macro. This can be used to
|
|
count how many times fast paths are taken during tests. The key is a global
|
|
identifier and should be unique across the codebase.
|
|
Use `"binding_name.function_name"` or `"binding_name.function_name.suffix"` to
|
|
ensure uniqueness.
|
|
* The fast callback must be idempotent up to the point where error and fallback
|
|
conditions are checked, because otherwise executing the slow callback might
|
|
produce visible side effects twice.
|
|
* If the receiver is used in the callback, it must be passed as a second argument,
|
|
leaving the first one unused, to prevent the JS land from accidentally omitting the receiver when
|
|
invoking the fast API method.
|
|
|
|
```cpp
|
|
// Instead of invoking the method as `receiver.internalModuleStat(input)`, the JS land should
|
|
// invoke it as `internalModuleStat(binding, input)` to make sure the binding is available to
|
|
// the native land.
|
|
static int32_t FastInternalModuleStat(
|
|
Local<Object> unused,
|
|
Local<Object> recv,
|
|
const FastOneByteString& input,
|
|
FastApiCallbackOptions& options) {
|
|
Environment* env = Environment::GetCurrent(recv->GetCreationContextChecked());
|
|
// More code
|
|
}
|
|
```
|
|
|
|
## Fallback to slow path
|
|
|
|
Fast API supports fallback to slow path for when it is desirable to do so,
|
|
for example, when throwing a custom error or executing JavaScript code is
|
|
needed. The fallback mechanism can be enabled and changed from the C++
|
|
implementation of the fast API function declaration.
|
|
|
|
Passing `true` to the `fallback` option will force V8 to run the slow path
|
|
with the same arguments.
|
|
|
|
In V8, the options fallback is defined as `FastApiCallbackOptions` inside
|
|
[`v8-fast-api-calls.h`](../../deps/v8/include/v8-fast-api-calls.h).
|
|
|
|
* C++ land
|
|
|
|
Example of a conditional fast path on C++
|
|
|
|
```cpp
|
|
// Anywhere in the execution flow, you can set fallback and stop the execution.
|
|
static double divide(const int32_t a,
|
|
const int32_t b,
|
|
v8::FastApiCallbackOptions& options) {
|
|
if (b == 0) {
|
|
options.fallback = true;
|
|
return 0;
|
|
} else {
|
|
return a / b;
|
|
}
|
|
}
|
|
```
|
|
|
|
## Example
|
|
|
|
A typical function that communicates between JavaScript and C++ is as follows.
|
|
|
|
* On the JavaScript side:
|
|
|
|
```js
|
|
const { divide } = internalBinding('custom_namespace');
|
|
```
|
|
|
|
* On the C++ side:
|
|
|
|
```cpp
|
|
#include "node_debug.h"
|
|
#include "v8-fast-api-calls.h"
|
|
|
|
namespace node {
|
|
namespace custom_namespace {
|
|
|
|
static void SlowDivide(const FunctionCallbackInfo<Value>& args) {
|
|
Environment* env = Environment::GetCurrent(args);
|
|
CHECK_GE(args.Length(), 2);
|
|
CHECK(args[0]->IsInt32());
|
|
CHECK(args[1]->IsInt32());
|
|
auto a = args[0].As<v8::Int32>();
|
|
auto b = args[1].As<v8::Int32>();
|
|
|
|
if (b->Value() == 0) {
|
|
return node::THROW_ERR_INVALID_STATE(env, "Error");
|
|
}
|
|
|
|
double result = a->Value() / b->Value();
|
|
args.GetReturnValue().Set(v8::Number::New(env->isolate(), result));
|
|
}
|
|
|
|
static double FastDivide(const int32_t a,
|
|
const int32_t b,
|
|
v8::FastApiCallbackOptions& options) {
|
|
if (b == 0) {
|
|
TRACK_V8_FAST_API_CALL("custom_namespace.divide.error");
|
|
options.fallback = true;
|
|
return 0;
|
|
} else {
|
|
TRACK_V8_FAST_API_CALL("custom_namespace.divide.ok");
|
|
return a / b;
|
|
}
|
|
}
|
|
|
|
CFunction fast_divide_(CFunction::Make(FastDivide));
|
|
|
|
static void Initialize(Local<Object> target,
|
|
Local<Value> unused,
|
|
Local<Context> context,
|
|
void* priv) {
|
|
SetFastMethod(context, target, "divide", SlowDivide, &fast_divide_);
|
|
}
|
|
|
|
void RegisterExternalReferences(ExternalReferenceRegistry* registry) {
|
|
registry->Register(SlowDivide);
|
|
registry->Register(FastDivide);
|
|
registry->Register(fast_divide_.GetTypeInfo());
|
|
}
|
|
|
|
} // namespace custom_namespace
|
|
} // namespace node
|
|
|
|
NODE_BINDING_CONTEXT_AWARE_INTERNAL(custom_namespace,
|
|
node::custom_namespace::Initialize);
|
|
NODE_BINDING_EXTERNAL_REFERENCE(
|
|
custom_namespace,
|
|
node::custom_namespace::RegisterExternalReferences);
|
|
```
|
|
|
|
* Update external references ([`node_external_reference.h`](../../src/node_external_reference.h))
|
|
|
|
Since our implementation used
|
|
`double(const int32_t a, const int32_t b, v8::FastApiCallbackOptions& options)`
|
|
signature, we need to add it to external references and in
|
|
`ALLOWED_EXTERNAL_REFERENCE_TYPES`.
|
|
|
|
Example declaration:
|
|
|
|
```cpp
|
|
using CFunctionCallbackReturningDouble = double (*)(const int32_t a,
|
|
const int32_t b,
|
|
v8::FastApiCallbackOptions& options);
|
|
```
|
|
|
|
* In the unit tests:
|
|
|
|
Since the fast API function uses `TRACK_V8_FAST_API_CALL`, we can ensure that
|
|
the fast paths are taken and test them by writing tests that force
|
|
V8 optimizations and check the counters.
|
|
|
|
```js
|
|
// Flags: --expose-internals --no-warnings --allow-natives-syntax
|
|
'use strict';
|
|
const common = require('../common');
|
|
|
|
const { internalBinding } = require('internal/test/binding');
|
|
// We could also require a function that uses the internal binding internally.
|
|
const { divide } = internalBinding('custom_namespace');
|
|
|
|
// The function that will be optimized. It has to be a function written in
|
|
// JavaScript. Since `divide` comes from the C++ side, we need to wrap it.
|
|
function testFastPath(a, b) {
|
|
return divide(a, b);
|
|
}
|
|
|
|
eval('%PrepareFunctionForOptimization(testFastPath)');
|
|
// This call will let V8 know about the argument types that the function expects.
|
|
assert.strictEqual(testFastPath(6, 3), 2);
|
|
|
|
eval('%OptimizeFunctionOnNextCall(testFastPath)');
|
|
assert.strictEqual(testFastPath(8, 2), 4);
|
|
assert.throws(() => testFastPath(1, 0), {
|
|
code: 'ERR_INVALID_STATE',
|
|
});
|
|
|
|
if (common.isDebug) {
|
|
const { getV8FastApiCallCount } = internalBinding('debug');
|
|
assert.strictEqual(getV8FastApiCallCount('custom_namespace.divide.ok'), 1);
|
|
assert.strictEqual(getV8FastApiCallCount('custom_namespace.divide.error'), 1);
|
|
}
|
|
```
|