Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2012.158 ◽

2012 ◽

Cited By ~ 4

Author(s):

Vinicius H.S. Durelli ◽

Jeff Offutt ◽

Marcio E. Delamaro

Keyword(s):

Virtual Machines ◽

Mutation Testing ◽

High Level Language ◽

High Level

Download Full-text

Systematic mapping study on high-level language virtual machines

Virtual Machines and Intermediate Languages on - VMIL '10 ◽

10.1145/1941054.1941058 ◽

2010 ◽

Cited By ~ 2

Author(s):

Vinicius H. S. Durelli ◽

Katia R. Felizardo ◽

Marcio E. Delamaro

Keyword(s):

Virtual Machines ◽

Systematic Mapping Study ◽

High Level Language ◽

Mapping Study ◽

Systematic Mapping ◽

High Level

Download Full-text

Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode

Proceedings of the ACM on Programming Languages ◽

10.1145/3485513 ◽

2021 ◽

Vol 5 (OOPSLA) ◽

pp. 1-30

Author(s):

Haoran Xu ◽

Fredrik Kjolstad

Keyword(s):

Code Generation ◽

Missing Values ◽

Virtual Machines ◽

Binary Code ◽

Database Systems ◽

High Level Language ◽

Database Query ◽

Sql Database ◽

Order Of Magnitude ◽

High Level

Fast compilation is important when compilation occurs at runtime, such as query compilers in modern database systems and WebAssembly virtual machines in modern browsers. We present copy-and-patch, an extremely fast compilation technique that also produces good quality code. It is capable of lowering both high-level languages and low-level bytecode programs to binary code, by stitching together code from a large library of binary implementation variants. We call these binary implementations stencils because they have holes where missing values must be inserted during code generation. We show how to construct a stencil library and describe the copy-and-patch algorithm that generates optimized binary code. We demonstrate two use cases of copy-and-patch: a compiler for a high-level C-like language intended for metaprogramming and a compiler for WebAssembly. Our high-level language compiler has negligible compilation cost: it produces code from an AST in less time than it takes to construct the AST. We have implemented an SQL database query compiler on top of this metaprogramming system and show that on TPC-H database benchmarks, copy-and-patch generates code two orders of magnitude faster than LLVM -O0 and three orders of magnitude faster than higher optimization levels. The generated code runs an order of magnitude faster than interpretation and 14% faster than LLVM -O0. Our WebAssembly compiler generates code 4.9X-6.5X faster than Liftoff, the WebAssembly baseline compiler in Google Chrome. The generated code also outperforms Liftoff's by 39%-63% on the Coremark and PolyBenchC WebAssembly benchmarks.

Download Full-text