mirror of
https://github.com/denoland/deno.git
synced 2025-12-23 08:48:24 +00:00
About 2% improvement on WS/HTTP benchmarks, possibly unlocking more optimizations in the future. --------- Co-authored-by: Matt Mastracci <matthew@mastracci.com> |
||
|---|---|---|
| .. | ||
| optimizer_tests | ||
| tests/compile_fail | ||
| attrs.rs | ||
| Cargo.toml | ||
| deno.rs | ||
| fast_call.rs | ||
| lib.rs | ||
| optimizer.rs | ||
| README.md | ||
deno_ops
proc_macro for generating highly optimized V8 functions from Deno ops.
// Declare an op.
#[op(fast)]
pub fn op_add(_: &mut OpState, a: i32, b: i32) -> i32 {
a + b
}
// Register with an extension.
Extension::builder()
.ops(vec![op_add::decl()])
.build();
Performance
The macro can optimize away code, short circuit fast paths and generate a Fast API impl.
Cases where code is optimized away:
-> ()skips serde_v8 andrv.setcalls.-> Result<(), E>skips serde_v8 andrv.setcalls forOk()branch.-> ResourceIdor-> [int]types will use specialized method likev8::ReturnValue::set_uint32. A fast path for SMI.-> Result<ResourceId, E>or-> Result<[int], E>types will be optimized like above for theOk()branch.
Fast calls
The macro will infer and try to auto generate V8 fast API call trait impl for
sync ops with:
- arguments: integers, bool,
&mut OpState,&[u8],&mut [u8],&[u32],&mut [u32] - return_type: integers, bool
The #[op(fast)] attribute should be used to enforce fast call generation at
compile time.
Trait gen for async ops & a ZeroCopyBuf equivalent type is planned and will be
added soon.
Wasm calls
The #[op(wasm)] attribute should be used for calls expected to be called from
Wasm. This enables the fast call generation and allows seamless WasmMemory
integration for generic and fast calls.
#[op(wasm)]
pub fn op_args_get(
offset: i32,
buffer_offset: i32,
memory: Option<&[u8]>, // Must be last parameter. Some(..) when entered from Wasm.
) {
// ...
}