WebAssembly JavaScript Builtins sind die Wasm-Ãquivalente von JavaScript-Operationen und bieten eine Möglichkeit, JavaScript-Funktionen innerhalb von Wasm-Modulen zu verwenden, ohne JavaScript-Zwischencode zu importieren, um eine Brücke zwischen JavaScript- und WebAssembly-Werten und Rufkonventionen bereitzustellen.
Dieser Artikel erklärt, wie Builtins funktionieren und welche verfügbar sind, und bietet dann ein Anwendungsbeispiel.
Probleme beim Importieren von JavaScript-FunktionenFür viele JavaScript-Funktionen funktionieren reguläre Importe gut. Das Importieren von Zwischencode für Primitive wie String
, ArrayBuffer
und Map
bringt jedoch erhebliche LeistungseinbuÃen mit sich. In solchen Fällen erwarten WebAssembly und die meisten darauf zielenden Sprachen eine enge Abfolge von Inline-Operationen anstelle eines indirekten Funktionsaufrufs, wie es bei regulären importierten Funktionen der Fall ist.
Insbesondere das Importieren von Funktionen aus JavaScript in WebAssembly-Module erzeugt Leistungsprobleme aus folgenden Gründen:
this
-Wert zu bewältigen, den WebAssembly-Funktionsimport
-Aufrufe als undefined
belassen.===
und <
, die nicht importiert werden können.Angesichts dieser Probleme ist es einfacher und besser für die Leistung, eingebaute Definitionen zu erstellen, die bestehende JavaScript-Funktionalitäten wie String
-Primitive an WebAssembly anpassen, anstatt sie zu importieren und sich auf indirekte Funktionsaufrufe zu verlassen.
Die folgenden Abschnitte beschreiben die verfügbaren Builtins. Andere Builtins werden voraussichtlich in Zukunft unterstützt.
String-OperationenDie verfügbaren String
Builtins sind:
"wasm:js-string" "cast"
Wirft einen Fehler, wenn der bereitgestellte Wert kein String ist. Grob äquivalent zu:
if (typeof obj !== "string") throw new WebAssembly.RuntimeError();
"wasm:js-string" "compare"
Vergleicht zwei String-Werte und bestimmt ihre Reihenfolge. Gibt -1
zurück, wenn der erste String kleiner als der zweite ist, 1
, wenn der erste String gröÃer als der zweite ist, und 0
, wenn die Strings streng gleich sind.
"wasm:js-string" "concat"
Entspricht String.prototype.concat()
.
"wasm:js-string" "charCodeAt"
Entspricht String.prototype.charCodeAt()
.
"wasm:js-string" "codePointAt"
Entspricht String.prototype.codePointAt()
.
"wasm:js-string" "equals"
Vergleicht zwei String-Werte auf strikte Gleichheit, gibt 1
zurück, wenn sie gleich sind, und 0
, wenn nicht.
Hinweis: Die "equals"
-Funktion ist das einzige String-Builtin, das bei null
-Eingaben keinen Fehler auslöst, sodass Wasm-Module nicht auf null
-Werte prüfen müssen, bevor sie es aufrufen. Alle anderen Funktionen haben keine sinnvolle Möglichkeit, null
-Eingaben zu verarbeiten und werfen daher bei ihnen einen Fehler.
"wasm:js-string" "fromCharCode"
Entspricht String.fromCharCode()
.
"wasm:js-string" "fromCharCodeArray"
Erzeugt einen String aus einem Wasm-Array von i16
-Werten.
"wasm:js-string" "fromCodePoint"
Entspricht String.fromCodePoint()
.
"wasm:js-string" "intoCharCodeArray"
Schreibt die Zeichen-Codes eines Strings in ein Wasm-Array von i16
-Werten.
"wasm:js-string" "length"
Entspricht String.prototype.length
.
"wasm:js-string" "substring"
Entspricht String.prototype.substring()
.
"wasm:js-string" "test"
Gibt 0
zurück, wenn der bereitgestellte Wert kein String ist, oder 1
, wenn er ein String ist. Grob äquivalent zu:
Builtins funktionieren ähnlich wie aus JavaScript importierte Funktionen, auÃer dass Sie Standard-Wasm-Funktionsäquivalente verwenden, um JavaScript-Operationen auszuführen, die in einem reservierten Namensraum (wasm:
) definiert sind. Da dies der Fall ist, können Browser optimalen Code für sie vorhersagen und generieren. In diesem Abschnitt wird zusammengefasst, wie man sie verwendet.
Builtins werden zur Kompilierzeit aktiviert, indem die Eigenschaft compileOptions.builtins
als Argument angegeben wird, wenn Methoden zum Kompilieren und/oder Instanziieren eines Moduls aufgerufen werden. Ihr Wert ist ein Array von Strings, das die Sets von Builtins identifiziert, die Sie aktivieren möchten:
WebAssembly.compile(bytes, { builtins: ["js-string"] });
Das compileOptions
-Objekt steht den folgenden Funktionen zur Verfügung:
WebAssembly.compile()
WebAssembly.compileStreaming()
WebAssembly.instantiate()
WebAssembly.instantiateStreaming()
WebAssembly.validate()
WebAssembly.Module()
-KonstruktorIn Ihrem WebAssembly-Modul können Sie jetzt Builtins wie im compileOptions
-Objekt aus dem wasm:
-Namensraum spezifiziert importieren (in diesem Fall die concat()
-Funktion; siehe auch die äquivalente eingebaute Definition):
(func $concat (import "wasm:js-string" "concat")
(param externref externref) (result (ref extern)))
Featureerkennung von Builtins
Beim Verwenden von Builtins sind Typüberprüfungen strenger als ohne â bestimmte Regeln werden für die Builtin-Importe auferlegt.
Daher können Sie zur Featureerkennung von Builtins ein Modul definieren, das ungültig mit vorhandenem Feature und gültig ohne es ist. Sie geben dann true
zurück, wenn die Validierung fehlschlägt, um die Unterstützung anzuzeigen. Ein einfaches Modul, das dies erreicht, sieht wie folgt aus:
(module
(function (import "wasm:js-string" "cast")))
Ohne Builtins ist das Modul gültig, da Sie jede Funktion mit beliebiger Signatur importieren können (in diesem Fall: keine Parameter und keine Rückgabewerte). Mit Builtins ist das Modul ungültig, da die jetzt speziell behandelte "wasm:js-string" "cast"
-Funktion eine bestimmte Signatur haben muss (ein externref
-Parameter und ein nicht-nullbarer (ref extern)
-Rückgabewert).
Sie können dann versuchen, dieses Modul mit der validate()
-Methode zu validieren, beachten Sie jedoch, wie das Ergebnis mit dem !
-Operator negiert wird â denken Sie daran, dass Builtins unterstützt werden, wenn das Modul ungültig ist:
const compileOptions = {
builtins: ["js-string"],
};
fetch("module.wasm")
.then((response) => response.arrayBuffer())
.then((bytes) => WebAssembly.validate(bytes, compileOptions))
.then((result) => console.log(`Builtins available: ${!result}`));
Der obige Modulcode ist so kurz, dass Sie einfach die Literalbytes validieren können, anstatt das Modul herunterzuladen. Eine Featureerkennungsfunktion könnte folgendermaÃen aussehen:
function JsStringBuiltinsSupported() {
let bytes = new Uint8Array([
0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 2, 23, 1, 14, 119, 97, 115,
109, 58, 106, 115, 45, 115, 116, 114, 105, 110, 103, 4, 99, 97, 115, 116, 0,
0,
]);
return !WebAssembly.validate(bytes, { builtins: ["js-string"] });
}
Hinweis: In vielen Fällen gibt es Alternativen zur Featureerkennung von Builtins. Eine andere Option könnte sein, reguläre Importe neben den Builtins bereitzustellen, und unterstützende Browser ignorieren einfach die Rückfallebenen.
Builtins-BeispielGehen wir ein einfaches, aber vollständiges Beispiel durch, um zu zeigen, wie Builtins verwendet werden. Dieses Beispiel definiert eine Funktion in einem Wasm-Modul, die zwei Strings zusammenfügt und das Ergebnis in der Konsole ausgibt, dann exportiert. Wir werden dann die exportierte Funktion aus JavaScript aufrufen.
Das Beispiel, auf das wir uns beziehen, verwendet die Funktion WebAssembly.instantiate()
auf der Webseite, um die Kompilierung und Instanziierung zu handhaben; Sie finden dieses und andere Beispiele in unserem webassembly-examples
-Repo â siehe js-builtin-examples
.
Sie können das Beispiel aufbauen, indem Sie die folgenden Schritte befolgen. Zusätzlich können Sie es live laufen sehen â öffnen Sie die JavaScript-Konsole Ihres Browsers, um die Beispielausgabe zu sehen.
JavaScriptDas JavaScript für das Beispiel ist unten gezeigt. Um dies lokal zu testen, fügen Sie es in eine HTML-Seite mit einer Methode Ihrer Wahl ein (zum Beispiel innerhalb von <script>
-Tags oder in einer externen .js
-Datei, die über <script src="">
referenziert wird).
const importObject = {
// Regular import
m: {
log: console.log,
},
};
const compileOptions = {
builtins: ["js-string"], // Enable JavaScript string builtins
importedStringConstants: "string_constants", // Enable imported global string constants
};
fetch("log-concat.wasm")
.then((response) => response.arrayBuffer())
.then((bytes) => WebAssembly.instantiate(bytes, importObject, compileOptions))
.then((result) => result.instance.exports.main());
Das JavaScript:
importObject
, das eine Funktion "log"
in einem Namespace "m"
spezifiziert, die während der Instanziierung in das Wasm-Modul importiert wird. Es ist die console.log()
Funktion.compileOptions
-Objekt, das Folgendes umfasst:
builtins
-Eigenschaft, um string-Builtins zu aktivieren.importedStringConstants
-Eigenschaft, um importierte globale String-Konstanten zu aktivieren.fetch()
, um das Wasm-Modul (log-concat.wasm
) abzurufen, konvertiert die Antwort zu einem ArrayBuffer
mit Response.arrayBuffer
, und kompiliert und instanziiert dann das Wasm-Modul mit WebAssembly.instantiate()
.main()
-Funktion auf, die aus dem Wasm-Modul exportiert wird.Die Textdarstellung unseres WebAssembly-Modulcodes sieht so aus:
(module
(global $h (import "string_constants" "hello ") externref)
(global $w (import "string_constants" "world!") externref)
(func $concat (import "wasm:js-string" "concat")
(param externref externref) (result (ref extern)))
(func $log (import "m" "log") (param externref))
(func (export "main")
(call $log (call $concat (global.get $h) (global.get $w))))
)
Dieser Code:
"hello "
und "world!"
, mit dem Namensraum "string_constants"
wie im JavaScript angegeben. Sie erhalten die Namen $h
und $w
.concat
Builtin aus dem wasm:
Namensraum, gibt ihm den Namen $concat
und legt fest, dass es zwei Parameter und einen Rückgabewert hat."log"
Funktion aus dem "m"
Namensraum, wie im JavaScript importObject
Objekt angegeben, gibt ihr den Namen $log
und legt fest, dass sie ein Parameter hat. Wir entschieden uns, ein reguläres Import sowie ein Builtin im Beispiel einzuschlieÃen, um Ihnen zu zeigen, wie die beiden Ansätze sich vergleichen."main"
exportiert wird. Diese Funktion ruft $log
auf, wobei sie einen $concat
-Aufruf als Parameter übergibt. Der $concat
-Aufruf wird mit den $h
und $w
globalen Zeichenfolgenkonstanten als Parameter übergeben.Um Ihr lokales Beispiel zum Laufen zu bringen:
Speichern Sie den oben gezeigten WebAssembly-Modulcode in einer Textdatei mit dem Namen log-concat.wat
im selben Verzeichnis wie Ihr HTML/JavaScript.
Kompilieren Sie ihn in ein WebAssembly-Modul (log-concat.wasm
) mit dem wasm-as
-Werkzeug, das Teil der Binaryen-Bibliothek ist (siehe die Bauanleitungen). Sie müssen wasm-as
mit aktivierten Referenztypen und Speicherbereinigung (GC) ausführen, damit diese Beispiele erfolgreich kompiliert werden:
wasm-as --enable-reference-types -âenable-gc log-concat.wat
Oder Sie können das -all
-Flag anstelle von --enable-reference-types -âenable-gc
verwenden:
wasm-as -all log-concat.wat
Laden Sie Ihre Beispiel-HTML-Seite in einem unterstützenden Browser mit einem lokalen HTTP-Server.
Das Ergebnis sollte eine leere Webseite sein, mit "hello world!"
, das in der JavaScript-Konsole ausgegeben wird, generiert durch eine exportierte Wasm-Funktion. Das Protokollieren wurde mit einer aus JavaScript importierten Funktion durchgeführt, während das Zusammenfügen der zwei ursprünglichen Strings durch ein Builtin erfolgte.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4