A framework for constructing javascript virtual machines with customized datatype representations

Kataoka, Takafumi; Ugawa, Tomoharu; Iwasaki, Hideya

doi:10.1145/3167132.3167266

Cited by 7 publications

(10 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is challenging, sometimes impossible, to convince compilers for high-level languages to emit perfect interpreter code. A number of interpreter generation frameworks have been proposed, including Tiger [24], VMGen [33], and a JavaScript VM generator [40], that automate much of the tedious bookkeeping and broadly apply best practices. 5.0.7 Interplay with JITs and debugging.…”

Section: Optimizing Fixed Format Interpretersmentioning

confidence: 99%

A fast in-place interpreter for WebAssembly

Titzer¹

2022

Preprint

View full text Add to dashboard Cite

WebAssembly (Wasm) is a compact, well-specified bytecode format that offers a portable compilation target with near-native execution speed. The bytecode format was specifically designed to be fast to parse, validate, and compile, positioning itself as a portable alternative to native code. It was pointedly not designed to be interpreted directly. Instead, design considerations at the time focused on competing with native code, utilizing optimizing compilers as the primary execution tier. Yet, in JIT scenarios, compilation time and memory consumption critically impact application startup, leading many Wasm engines to later deploy baseline (single-pass) compilers. Though faster, baseline compilers still take time and waste code space for infrequently executed code. A typical interpreter being infeasible, some engines resort to compiling Wasm not to machine code, but to a more compact, but easy to interpret format. This still takes time and wastes memory. Instead, we introduce in this article a fast in-place interpreter for WebAssembly, where no rewrite and no separate format is necessary. Our evaluation shows that in-place interpretation of Wasm code is space-efficient and fast, achieving performance on-par with interpreting a custom-designed internal format. This fills a hole in the execution tier space for Wasm, allowing for even faster startup and lower memory footprint than previous engine configurations.CCS Concepts: • Software and its engineering → Interpreters.

show abstract

Section: Optimizing Fixed Format Interpretersmentioning

confidence: 99%

A fast in-place interpreter for WebAssembly

Titzer¹

2022

Preprint

View full text Add to dashboard Cite

show abstract

“…eJS [1], [2] is a JavaScript system that has a mechanism to reduce the VM footprint by generating specialized VMs for individual applications. In particular, the VM generator of eJS, eJSTK, specializes VM instructions to their operand datatypes.…”

Section: Overviewmentioning

confidence: 99%

“…A variety of devices with poor processors and small memories for their sensor and communication facilities have come to be available for the Internet of Things (IoT). To support software development for these devices, some JavaScript VMs for embedded systems, such as eJS [1], [2], JerryScript * 1 , and mJS * 2 , have been developed.…”

Section: Introductionmentioning

confidence: 99%

“…It generates a customized VM for each application that VM only has functionalities that the application actually uses. We introduce a new customization method to eJS, in which eJS generates VMs with superinstructions that are combinations of frequently exe- 1 Kochi University of Technology, Kami, Kochi 782-0003, Japan †1 Presently with COLOPL, Inc., LTD., Shibuya, Tokyo 150-6011, Japan a) nonaka@pl.info.kochi-tech.ac.jp b) ugawa.tomoharu@kochi-tech.ac.jp cuted VM instructions. In particular, we focus on combinations of constant loading instructions and arithmetic, logical, and relational operation instructions (ALR instructions).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK

Nonaka

Ugawa

2019

Journal of Information Processing

Self Cite

View full text Add to dashboard Cite

Embedded systems generally have a small amount of memory and slow CPUs. Therefore it is desirable to increase the speed of JavaScript virtual machines (VMs) without increasing memory footprint. In this research, we introduce superinstructions, combinations of constant load instructions and arithmetic, logical, and relational (ALR) instructions to increase execution speed. Introducing superinstructions increases the size of a VM. Thus, we designed superinstructions so that they would share their implementation code with the ALR instructions, from which they are made. Furthermore, we simplified their type-based dispatching code through specialization to the datatypes of their constant operands. We developed a VM generator that creates VMs that have superinstructions in accordance with this approach and a compiler that compiles JavaScript programs using them.

show abstract

“…We are currently developing eJSVM [1], [2], a JavaScript VM for embedded systems. Although mark-sweep GC, which does not move objects, is used in the current version of eJSVM, we plan to implement a moving GC in a future version.…”

Section: Introductionmentioning

confidence: 99%

Finding Errors in Registrations of Local Variables Using Coccinelle for Accurate Garbage Collection

Ugawa

Fujimoto

2020

Journal of Information Processing

Self Cite

View full text Add to dashboard Cite

For accurate garbage collection (GC), all pointers belonging to the root set must be found. In a virtual machine (VM) implemented in C language, local variables of C language may contain pointers. Thus, some VMs add the values or addresses of local variables to a table that is visible to GC. However, this approach is error-prone because it requires adding local variables and removing them correctly though the entire source code of the VM. In this research, we checked if local variables are added and removed correctly by pattern matching against control flow graphs of the source code of the VM. We applied this check to the VM of a subset of JavaScript we are developing and found that it could identify many cases of missed adding and redundant adding.

show abstract

A framework for constructing javascript virtual machines with customized datatype representations

Cited by 7 publications

References 16 publications

A fast in-place interpreter for WebAssembly

A fast in-place interpreter for WebAssembly

Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK

Finding Errors in Registrations of Local Variables Using Coccinelle for Accurate Garbage Collection

Contact Info

Product

Resources

About