Skip to content

Commit

Permalink
Add QuickJS is a Javascript engine option
Browse files Browse the repository at this point in the history
https://bellard.org/quickjs
https://fuchsia.googlesource.com/third_party/quickjs/

Some benefits over SM:

 * Small. We're using 6 or so C files vs 700+ SM91 C++ files.

 * Built with Apache CouchDB as opposed having to maintain a separate SM
   package, like for RHEL9, for instance, where they dropped support for SM
   already. (see apache#4154).

 * Embedding friendly. Designed from ground-up for embedding. SM has been
   updating the C++ API such that we have to keep copy-pasting new versions of
   our C++ code every year or so. (see
   apache#4305).

 * Easy to modify to accept Spidermonkey 1.8.5 top level functions for
   map/reduce code so we don't have have to parse the JS, AST trasform it, and
   then re-compile it.

 * Configurable runtime feature set - can disable workers, promises and other
   API and features which may not work well in a backend JS environment. Some
   users may want more, some may want to disable even Date(time) features to
   hedge again Spectre-style attacks (spectreattack.com).

 * Allow granular time (reduction) trackign if we wanted to provide a runtime
   allowance for each function.

 * Better sandboxing. Creating a whole JSRuntime takes only 300 microsecond, so
   we can afford to do that on reset. JSRuntimes cannot share JS data or object
   between them.

 * Seems to be faster in preliminary benchmarking with small
   concurrent VDU and view builds:
     https://gist.github.com/nickva/ed239651114794ebb138b1f16c5f6758
   Results seem promising:
     - 3x faster than SM 1.8.5
     - 4x faster than SM 91
     - 6x reduced memory usage per couchjs process (5MB vs 30MB)

For now to make it easy to experiment added it in as a JS "version" enabled at
compile time.

```
./configure --dev --spidermonkey-version quickjs && make
```

Only tested on MacOS and Linux. All `make check` tests pass there.

QuickJS Patches:
 * Disable workers. (Brings in pthread, etc)
 * Enable spidermonkey 1.8.5 function expression mode
  • Loading branch information
nickva committed Mar 20, 2023
1 parent b976247 commit cf88b1f
Show file tree
Hide file tree
Showing 77 changed files with 98,663 additions and 24 deletions.
24 changes: 24 additions & 0 deletions LICENSE
Original file line number Diff line number Diff line change
Expand Up @@ -2267,3 +2267,27 @@ ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

For the QuickJS component couch_js/quickjs/quickjs:

QuickJS Javascript Engine

Copyright (c) 2017-2021 Fabrice Bellard
Copyright (c) 2017-2021 Charlie Gordon

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
1 change: 1 addition & 0 deletions configure
Original file line number Diff line number Diff line change
Expand Up @@ -246,6 +246,7 @@ if [ "${ERLANG_OS}" = "unix" ]; then
# This list is taken from src/couch/rebar.config.script, please keep them in sync.
if [ ! -d "/usr/include/${SM_HEADERS}" ] && \
[ ! -d "/usr/local/include/${SM_HEADERS}" ] && \
[ ! -d "src/couch/priv/couch_js/quickjs/quickjs" ] && \
[ ! -d "/opt/homebrew/include/${SM_HEADERS}" ]; then
echo "ERROR: SpiderMonkey ${SM_VSN} is not found. Please specify with --spidermonkey-version."
exit 1
Expand Down
176 changes: 176 additions & 0 deletions share/server/dispatch-quickjs.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,176 @@
// Licensed under the Apache License, Version 2.0 (the "License"); you may not
// use this file except in compliance with the License. You may obtain a copy of
// the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
// WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
// License for the specific language governing permissions and limitations under
// the License.

function create_sandbox() {
var sandbox = {};
sandbox.emit = Views.emit;
sandbox.sum = Views.sum;
sandbox.log = log;
sandbox.toJSON = JSON.stringify;
sandbox.JSON = JSON;
sandbox.provides = Mime.provides;
sandbox.registerType = Mime.registerType;
sandbox.start = Render.start;
sandbox.send = Render.send;
sandbox.getRow = Render.getRow;
sandbox.isArray = isArray;
sandbox.index = Dreyfus.index;
return sandbox;
};

function create_filter_sandbox() {
var sandbox = create_sandbox();
sandbox.emit = Filter.emit;
return sandbox;
};

function seal(obj, flag) {
Object.freeze(obj);
};

var DDoc = (function() {
var ddoc_dispatch = {
"lists" : Render.list,
"shows" : Render.show,
"filters" : Filter.filter,
"views" : Filter.filter_view,
"updates" : Render.update,
"validate_doc_update" : Validate.validate,
"rewrites" : Render.rewrite
};
var ddocs = {};
return {
ddoc : function() {
var args = [];
for (var i=0; i < arguments.length; i++) {
args.push(arguments[i]);
};
var ddocId = args.shift();
if (ddocId == "new") {
// get the real ddocId.
ddocId = args.shift();
// store the ddoc, functions are lazily compiled.
ddocs[ddocId] = args.shift();
print("true");
} else {
// Couch makes sure we know this ddoc already.
var ddoc = ddocs[ddocId];
if (!ddoc) throw(["fatal", "query_protocol_error", "uncached design doc: "+ddocId]);
var funPath = args.shift();
var cmd = funPath[0];
// the first member of the fun path determines the type of operation
var funArgs = args.shift();
if (ddoc_dispatch[cmd]) {
// get the function, call the command with it
var point = ddoc;
for (var i=0; i < funPath.length; i++) {
if (i+1 == funPath.length) {
var fun = point[funPath[i]];
if (!fun) {
throw(["error","not_found",
"missing " + funPath[0] + " function " + funPath[i] +
" on design doc " + ddocId]);
}
if (typeof fun != "function") {
// For filter_view we want the emit() function
// to be overridden and just toggle a flag instead of
// accumulating rows
var sandbox = (cmd === "views") ? create_filter_sandbox() : create_sandbox();
fun = Couch.compileFunction(fun, ddoc, funPath.join('.'), sandbox);
// cache the compiled fun on the ddoc
point[funPath[i]] = fun;
};
} else {
point = point[funPath[i]];
}
};

// run the correct responder with the cmd body
ddoc_dispatch[cmd].apply(null, [fun, ddoc, funArgs]);
} else {
// unknown command, quit and hope the restarted version is better
throw(["fatal", "unknown_command", "unknown ddoc command '" + cmd + "'"]);
}
}
}
};
})();

function handleError(e) {
if (e === null) {
// internal error, another possibility when out of memory
// nothing to do except rethrow and let main.c catch it and exit(1)
throw(null);
}
const type = e[0];
if (type == "fatal") {
e[0] = "error"; // we tell the client it was a fatal error by dying
respond(e);
return false;
} else if (type == "error") {
respond(e);
return true;
} else if (e.error && e.reason) {
// compatibility with old error format
respond(["error", e.error, e.reason]);
return true;
} else if (e.name == "InternalError" && e.message == "out of memory") {
// hard crash when out of memory
respond(["error", e.name, e.message]);
return false;
} else if (e.name) {
respond(["error", e.name, e]);
return true;
} else {
respond(["error","unnamed_error", e.stack]);
return true;
}
};

globalThis.dispatch = function(line) {
const cmd = JSON.parse(line);
State.line_length = line.length;
try {
switch (cmd.shift()) {
case "ddoc":
DDoc.ddoc.apply(null, cmd);
break;
case "reset":
State.reset.apply(null, cmd);
break;
case "add_fun":
State.addFun.apply(null, cmd);
break;
case "add_lib":
State.addLib.apply(null, cmd);
break;
case "map_doc":
Views.mapDoc.apply(null, cmd);
break;
case "index_doc":
Dreyfus.indexDoc.apply(null, cmd);
break;
case "reduce":
Views.reduce.apply(null, cmd);
break;
case "rereduce":
Views.rereduce.apply(null, cmd);
break;
default:
// unknown command, quit and hope the restarted version is better
throw(["fatal", "unknown_command", "unknown command '" + cmdkey + "'"]);
}
} catch(e) {
return handleError(e);
};
return true;
};
2 changes: 1 addition & 1 deletion share/server/dreyfus.js
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ var Dreyfus = (function() {
} else if (err[0] == "fatal") {
throw(err);
}
var message = "function raised exception " + err.toSource();
var message = "function raised exception " + errstr(err);
if (doc) message += " with doc._id " + doc._id;
log(message);
};
Expand Down
2 changes: 1 addition & 1 deletion share/server/render.js
Original file line number Diff line number Diff line change
Expand Up @@ -347,7 +347,7 @@ var Render = (function() {
throw(e);
} else {
var logMessage = "function raised error: " +
e.toSource() + " \n" +
errstr(e) + " \n" +
"stacktrace: " + e.stack;
log(logMessage);
throw(["error", errType || "render_error", logMessage]);
Expand Down
11 changes: 8 additions & 3 deletions share/server/util.js
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,7 @@ var Couch = {
throw [
"error",
"compilation_error",
"Module require('" +name+ "') raised error " + e.toSource()
"Module require('" +name+ "') raised error " + errstr(e)
];
}
ddoc._module_cache[newModule.id] = newModule.exports;
Expand All @@ -106,7 +106,7 @@ var Couch = {
throw([
"error",
"compilation_error",
err.toSource() + " (" + source + ")"
errstr(err) + " (" + source + ")"
]);
};
if (typeof(functionObject) == "function") {
Expand All @@ -126,13 +126,18 @@ var Couch = {
}
};

function errstr(e) {
// toSource() is a Spidermonkey "special"
return (e.toSource ? e.toSource() : e.toString());
};

// prints the object as JSON, and rescues and logs any JSON.stringify() related errors
function respond(obj) {
try {
print(JSON.stringify(obj));
} catch(e) {
log("Error converting object to JSON: " + e.toString());
log("error on obj: "+ obj.toSource());
log("error on obj: "+ obj.toString());
}
};

Expand Down
7 changes: 6 additions & 1 deletion share/server/views.js
Original file line number Diff line number Diff line change
Expand Up @@ -73,8 +73,13 @@ var Views = (function() {
// Throwing errors of the form ["fatal","error_key","reason"]
// will kill the OS process. This is not normally what you want.
throw(err);
} else if (err.name == "InternalError" && err.message == "out of memory") {
// Some engines like QuickJS throw an internal error when hitting a memory
// limit. For compatibiliy choose to mimic Sidermonkey behavior and hard
// crash.
throw(["fatal", err.name, err.message]);
}
var message = "function raised exception " + err.toSource();
var message = "function raised exception " + errstr(err);
if (doc) message += " with doc._id " + doc._id;
log(message);
};
Expand Down
15 changes: 15 additions & 0 deletions src/couch/priv/couch_js/quickjs/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
/quickjs/examples/hello
/quickjs/examples/hello_module
/quickjs/examples/test_fib
/quickjs/hello.c
/quickjs/libquickjs.a
/quickjs/libquickjs.lto.a
/quickjs/qjs
/quickjs/qjsc
/quickjs/qjscalc
/quickjs/qjscalc.c
/quickjs/repl.c
/quickjs/run-test262
/quickjs/test_fib.c
*.dSYM/
main
Loading

0 comments on commit cf88b1f

Please sign in to comment.