mirror of
https://github.com/denoland/deno.git
synced 2024-12-23 07:44:48 -05:00
b50691efed
This PR makes json_op_sync/async generic to all Deserialize/Serialize types instead of the loosely-typed serde_json::Value. Since serde_json::Value implements Deserialize/Serialize, very little existing code needs to be updated, however as json_op_sync/async are now generic, type inference is broken in some cases (see cli/build.rs:146). I've found this reduces a good bit of boilerplate, as seen in the updated deno_core examples. This change may also reduce serialization and deserialization overhead as serde has a better idea of what types it is working with. I am currently working on benchmarks to confirm this and I will update this PR with my findings.
279 lines
7.2 KiB
JavaScript
279 lines
7.2 KiB
JavaScript
// Copyright 2018-2021 the Deno authors. All rights reserved. MIT license.
|
|
/*
|
|
SharedQueue Binary Layout
|
|
+-------------------------------+-------------------------------+
|
|
| NUM_RECORDS (32) |
|
|
+---------------------------------------------------------------+
|
|
| NUM_SHIFTED_OFF (32) |
|
|
+---------------------------------------------------------------+
|
|
| HEAD (32) |
|
|
+---------------------------------------------------------------+
|
|
| OFFSETS (32) |
|
|
+---------------------------------------------------------------+
|
|
| RECORD_ENDS (*MAX_RECORDS) ...
|
|
+---------------------------------------------------------------+
|
|
| RECORDS (*MAX_RECORDS) ...
|
|
+---------------------------------------------------------------+
|
|
*/
|
|
"use strict";
|
|
|
|
((window) => {
|
|
const MAX_RECORDS = 100;
|
|
const INDEX_NUM_RECORDS = 0;
|
|
const INDEX_NUM_SHIFTED_OFF = 1;
|
|
const INDEX_HEAD = 2;
|
|
const INDEX_OFFSETS = 3;
|
|
const INDEX_RECORDS = INDEX_OFFSETS + 2 * MAX_RECORDS;
|
|
const HEAD_INIT = 4 * INDEX_RECORDS;
|
|
|
|
// Available on start due to bindings.
|
|
const core = window.Deno.core;
|
|
const { recv, send } = core;
|
|
|
|
let sharedBytes;
|
|
let shared32;
|
|
|
|
let asyncHandlers;
|
|
|
|
let opsCache = {};
|
|
const errorMap = {};
|
|
|
|
function init() {
|
|
const shared = core.shared;
|
|
assert(shared.byteLength > 0);
|
|
assert(sharedBytes == null);
|
|
assert(shared32 == null);
|
|
sharedBytes = new Uint8Array(shared);
|
|
shared32 = new Int32Array(shared);
|
|
asyncHandlers = [];
|
|
// Callers should not call core.recv, use setAsyncHandler.
|
|
recv(handleAsyncMsgFromRust);
|
|
}
|
|
|
|
function ops() {
|
|
// op id 0 is a special value to retrieve the map of registered ops.
|
|
const opsMapBytes = send(0);
|
|
const opsMapJson = String.fromCharCode.apply(null, opsMapBytes);
|
|
opsCache = JSON.parse(opsMapJson);
|
|
return { ...opsCache };
|
|
}
|
|
|
|
function assert(cond) {
|
|
if (!cond) {
|
|
throw Error("assert");
|
|
}
|
|
}
|
|
|
|
function reset() {
|
|
shared32[INDEX_NUM_RECORDS] = 0;
|
|
shared32[INDEX_NUM_SHIFTED_OFF] = 0;
|
|
shared32[INDEX_HEAD] = HEAD_INIT;
|
|
}
|
|
|
|
function head() {
|
|
return shared32[INDEX_HEAD];
|
|
}
|
|
|
|
function numRecords() {
|
|
return shared32[INDEX_NUM_RECORDS];
|
|
}
|
|
|
|
function size() {
|
|
return shared32[INDEX_NUM_RECORDS] - shared32[INDEX_NUM_SHIFTED_OFF];
|
|
}
|
|
|
|
function setMeta(index, end, opId) {
|
|
shared32[INDEX_OFFSETS + 2 * index] = end;
|
|
shared32[INDEX_OFFSETS + 2 * index + 1] = opId;
|
|
}
|
|
|
|
function getMeta(index) {
|
|
if (index >= numRecords()) {
|
|
return null;
|
|
}
|
|
const buf = shared32[INDEX_OFFSETS + 2 * index];
|
|
const opId = shared32[INDEX_OFFSETS + 2 * index + 1];
|
|
return [opId, buf];
|
|
}
|
|
|
|
function getOffset(index) {
|
|
if (index >= numRecords()) {
|
|
return null;
|
|
}
|
|
if (index == 0) {
|
|
return HEAD_INIT;
|
|
}
|
|
const prevEnd = shared32[INDEX_OFFSETS + 2 * (index - 1)];
|
|
return (prevEnd + 3) & ~3;
|
|
}
|
|
|
|
function push(opId, buf) {
|
|
const off = head();
|
|
const end = off + buf.byteLength;
|
|
const alignedEnd = (end + 3) & ~3;
|
|
const index = numRecords();
|
|
const shouldNotPush = alignedEnd > shared32.byteLength ||
|
|
index >= MAX_RECORDS;
|
|
if (shouldNotPush) {
|
|
// console.log("shared_queue.js push fail");
|
|
return false;
|
|
}
|
|
setMeta(index, end, opId);
|
|
assert(alignedEnd % 4 === 0);
|
|
assert(end - off == buf.byteLength);
|
|
sharedBytes.set(buf, off);
|
|
shared32[INDEX_NUM_RECORDS] += 1;
|
|
shared32[INDEX_HEAD] = alignedEnd;
|
|
return true;
|
|
}
|
|
|
|
/// Returns null if empty.
|
|
function shift() {
|
|
const i = shared32[INDEX_NUM_SHIFTED_OFF];
|
|
if (size() == 0) {
|
|
assert(i == 0);
|
|
return null;
|
|
}
|
|
|
|
const off = getOffset(i);
|
|
const [opId, end] = getMeta(i);
|
|
|
|
if (size() > 1) {
|
|
shared32[INDEX_NUM_SHIFTED_OFF] += 1;
|
|
} else {
|
|
reset();
|
|
}
|
|
|
|
assert(off != null);
|
|
assert(end != null);
|
|
const buf = sharedBytes.subarray(off, end);
|
|
return [opId, buf];
|
|
}
|
|
|
|
function setAsyncHandler(opId, cb) {
|
|
assert(opId != null);
|
|
asyncHandlers[opId] = cb;
|
|
}
|
|
|
|
function handleAsyncMsgFromRust(opId, buf) {
|
|
if (buf) {
|
|
// This is the overflow_response case of deno::JsRuntime::poll().
|
|
asyncHandlers[opId](buf);
|
|
return;
|
|
}
|
|
while (true) {
|
|
const opIdBuf = shift();
|
|
if (opIdBuf == null) {
|
|
break;
|
|
}
|
|
assert(asyncHandlers[opIdBuf[0]] != null);
|
|
asyncHandlers[opIdBuf[0]](opIdBuf[1]);
|
|
}
|
|
}
|
|
|
|
function dispatch(opName, control, ...zeroCopy) {
|
|
return send(opsCache[opName], control, ...zeroCopy);
|
|
}
|
|
|
|
function registerErrorClass(errorName, className) {
|
|
if (typeof errorMap[errorName] !== "undefined") {
|
|
throw new TypeError(`Error class for "${errorName}" already registered`);
|
|
}
|
|
errorMap[errorName] = className;
|
|
}
|
|
|
|
function getErrorClass(errorName) {
|
|
return errorMap[errorName];
|
|
}
|
|
|
|
// Returns Uint8Array
|
|
function encodeJson(args) {
|
|
const s = JSON.stringify(args);
|
|
return core.encode(s);
|
|
}
|
|
|
|
function decodeJson(ui8) {
|
|
const s = core.decode(ui8);
|
|
return JSON.parse(s);
|
|
}
|
|
|
|
let nextPromiseId = 1;
|
|
const promiseTable = {};
|
|
|
|
function processResponse(res) {
|
|
if ("ok" in res) {
|
|
return res.ok;
|
|
}
|
|
const ErrorClass = getErrorClass(res.err.className);
|
|
if (!ErrorClass) {
|
|
throw new Error(
|
|
`Unregistered error class: "${res.err.className}"\n ${res.err.message}\n Classes of errors returned from ops should be registered via Deno.core.registerErrorClass().`,
|
|
);
|
|
}
|
|
throw new ErrorClass(res.err.message);
|
|
}
|
|
|
|
async function jsonOpAsync(opName, args = null, ...zeroCopy) {
|
|
setAsyncHandler(opsCache[opName], jsonOpAsyncHandler);
|
|
|
|
const promiseId = nextPromiseId++;
|
|
const reqBuf = core.encode("\0".repeat(8) + JSON.stringify(args));
|
|
new DataView(reqBuf.buffer).setBigUint64(0, BigInt(promiseId));
|
|
dispatch(opName, reqBuf, ...zeroCopy);
|
|
let resolve, reject;
|
|
const promise = new Promise((resolve_, reject_) => {
|
|
resolve = resolve_;
|
|
reject = reject_;
|
|
});
|
|
promise.resolve = resolve;
|
|
promise.reject = reject;
|
|
promiseTable[promiseId] = promise;
|
|
return processResponse(await promise);
|
|
}
|
|
|
|
function jsonOpSync(opName, args = null, ...zeroCopy) {
|
|
const argsBuf = encodeJson(args);
|
|
const res = dispatch(opName, argsBuf, ...zeroCopy);
|
|
return processResponse(decodeJson(res));
|
|
}
|
|
|
|
function jsonOpAsyncHandler(buf) {
|
|
// Json Op.
|
|
const res = decodeJson(buf);
|
|
const promise = promiseTable[res.promiseId];
|
|
delete promiseTable[res.promiseId];
|
|
promise.resolve(res);
|
|
}
|
|
|
|
function resources() {
|
|
return jsonOpSync("op_resources");
|
|
}
|
|
|
|
function close(rid) {
|
|
jsonOpSync("op_close", { rid });
|
|
}
|
|
|
|
Object.assign(window.Deno.core, {
|
|
jsonOpAsync,
|
|
jsonOpSync,
|
|
setAsyncHandler,
|
|
dispatch: send,
|
|
dispatchByName: dispatch,
|
|
ops,
|
|
close,
|
|
resources,
|
|
registerErrorClass,
|
|
getErrorClass,
|
|
sharedQueueInit: init,
|
|
// sharedQueue is private but exposed for testing.
|
|
sharedQueue: {
|
|
MAX_RECORDS,
|
|
head,
|
|
numRecords,
|
|
size,
|
|
push,
|
|
reset,
|
|
shift,
|
|
},
|
|
});
|
|
})(this);
|